7.72 Conjugacy Class Records

A conjugacy class C of an element g in a group G is represented by a record with the following components.

isDomain:

always true.

isConjugacyClass:

always true.

group:

holds the group G.

representative:

holds the representative g.

The following component is optional. It is computed and assigned when the size of a conjugacy class is computed.

centralizer:

holds the centralizer of g in G.

Previous Up Top Next
Index