7.104 WreathProduct for Groups

GroupOps.WreathProduct( G, H, alpha )

Let d be the degree of alpha.range. A group element of the wreath product W is represented as a record containing the following components.

element:

a list of d elements of G followed by an element h of H.

permutation:

the image of h under alpha.

domain:

contains GroupElements.

isGroupElement:

contains true.

isWreathProductElement:

contains true.

operations:

contains the operations record WreathProductElementOps (see Domain).

Previous Up Top Next
Index