Each conjugacy class of subgroups C is represented as a record with at least the following components.
true, because conjugacy classes of subgroups are domains.
The following components are optional and may be bound by some functions which compute or make use of their value.
ConjugacyClassesSubgroups. It determines the normalizer of the subgroup
C.representative. It is a list of length 2. The first element is another conjugacy class D (in the same group), the second is an element g in
C.group. The normalizer of
D.representative ^ g.
C.group. Thus the elements of the class C can be computed by conjugating
C.representativewith those elements.
Previous Up Top Next