construct the character table of a finite group
CharacterTable( G )
The CharacterTable( G ) command computes the (ordinary) character table of the finite group G, which must be either a permutation group or a Cayley table group.
The CharacterTable command uses an implementation of the Burnside-Dixon-Schneider algorithm to compute the character table.
Character tables are printed using a Matrix so their display is sensitive to the value of the rtablesize interface option. (See the Examples section.)
Character tables support the following methods, in which ct denotes a character table returned by the CharacterTable command.
ClassNumber( ct )
returns the class number of the group for which this is a character table
ConjugateRank( ct )
returns the conjugate rank of the group for which this is a character table
ClassNames( ct )
returns the (ordered) list of conjugacy class names
ClassRepresentatives( ct )
returns the (ordered) list of conjugacy class representatives
CharacterDegrees( ct )
returns a sorted list of pairs [d,m] of the degrees d of the irreducible characters and their respective multiplicities m
Exponent( ct )
returns the exponent of the group
GetMatrix( ct )
returns the matrix of character values
PowerMap( ct, p )
returns the pth power map
Display( ct, opts )
prints the character table in a more readable format
The ClassNumber( ct ) command returns the class number of the underlying group of the character table ct, which is the number of conjugacy classes of the group. In the case when the group is Abelian, this is simply the order of the group but, for non-Abelian groups, the number of conjugacy classes is less than the order of the group.
The ConjugateRank( ct ) command returns the conjugate rank of the underlying group of the character table ct. This is the number of distinct non-trivial class lengths (those other than 1).
The ClassNames( ct ) command returns an ordered list of the names given to the conjugacy classes. These have the form of an integer, indicating the order of the class representative (and hence, of all of its members) followed by one or more letters used to distinguish classes whose elements have the same order. For example, the class names "4a" and "4b" distinguish two distinct conjugacy classes of elements of order 4.
The ClassRepresentatives( ct ) command returns an Array containing the (ordered) class representatives for the conjugacy classes of the underlying group of the character table ct.
The CharacterDegrees( ct ) command returns a sorted list of pairs [d, m] of the degrees d of the irreducible characters and their respective multiplicities m.
The Exponent( ct ) command returns the exponent of the underlying group, using data stored in the character table.
The GetMatrix( ct ) command returns the character values of the character table ct in a Matrix.
For a prime number p, the PowerMap( ct, p ) command returns the pth power map of the character table ct. This is an Array a with k elements, where k is the class number of the underlying group of ct, such that the class of the pth power of an element of the ith class is in the class a[ i ], for i = 1 .. k.
The Display( ct, opts ) command prints the character table in a nicer format, and optionally allows you to include additional information, such as the Frobenius-Schur indicator values of the characters (using the showindicator option) and power maps (using the showpowermaps option) for the prime divisors of the group order.
G ≔ Symm⁡3
ct ≔ CharacterTable⁡G
ct ≔ CharacterTable⁡CyclicGroup⁡4
ct ≔ CharacterTable⁡DihedralGroup⁡12:
The following command indicates that the dihedral group of degree 12 has four linear characters (of degree 1) and 5 irreducible characters of degree 2.
pmap ≔ PowerMap⁡ct,2
cc ≔ ConjugacyClasses⁡ct:
g ≔ Representative⁡cc7
It may be necessary to set the value of the rtablesize interface variable to see the character values for larger character tables.
ct ≔ CharacterTable⁡ElementaryGroup⁡2,5
The GroupTheory[CharacterTable] command was introduced in Maple 2017.
For more information on Maple 2017 changes, see Updates in Maple 2017.
Download Help Document