[GAP Forum] Create an abstract group from scratch symbolically without using the permutation as the underlying elements.

[Hongyi Zhao]

Hi GAP team,

I want to know how to create an abstract group from scratch
symbolically without using the permutation as the underlying elements.
For example, the abstract group in the attachment, which is
corresponding to the SmallGroup(8,1), has listed defining relations or
generating relations for the elements. I want to create the group in
GAP based on these relations without using the permutation as the
underlying elements.

Is this possible?

Regards,
HZ
-- 
Assoc. Prof. Hongsheng Zhao <hongyi.zhao at gmail.com>
Theory and Simulation of Materials
Hebei Vocational University of Technology and Engineering
No. 473, Quannan West Street, Xindu District, Xingtai, Hebei province