Construction of an SLP-Group and its Elements

Structure Constructors

Magma's black-box groups are built on Magma's other group types. The basic constructor takes a group and returns a corresponding black-box group. The element set of the black-box group is essentially the same as the element set of the original group, and the group operations are inherited from the original group.

NaturalBlackBoxGroup(H) : Grp -> GrpBB

Construct the natural black-box group from the concrete group H.

Construction of an Element

Identity(G) : GrpBB -> GrpBBElt

Id(G) : GrpBB -> GrpBBElt

G ! 1 : GrpBB, RngIntElt -> GrpBBElt

Construct the identity element for the BB-group G.