combinat
character
compute character table for a symmetric group
Chi
compute Chi function for partitions of symmetric group
Calling Sequence
Parameters
Description
Examples
character(n)
Chi(lambda, rho)
n
-
non-negative integer
lambda
partition of n; non-decreasing list of positive integers
rho
Given a group (G,*), a group of matrices (H,&*) homomorphic to G is termed a representation of G. A representation is said to be reducible if there exists a similarity transformation
S:H→X⁢H⁢X-1
that maps all elements of H to the same non-trivial block diagonal structure. If a representation is not reducible, it is termed an irreducible representation.
Given two elements of the same conjugacy class in G, the traces of their corresponding matrices in any representation are equal. The character function Chi is defined such that Chi of a conjugacy class of an irreducible representation of a group is the trace of any matrix corresponding to a member of that conjugacy class.
Taking G to be the symmetric group on n elements, Sn, there is a one-to-one correspondence between the partitions of n and the non-equivalent irreducible representations of G. There is also a one-to-one correspondence between the partitions of n and the conjugacy classes of G.
The Maple function Chi works on symmetric groups. Chi(lambda, rho) will compute and return the trace of the matrices in the conjugacy class corresponding to the partition rho in the irreducible representation corresponding to the partition lambda, where lambda and rho are of type partition. Clearly, both rho and lambda must be partitions of the same number.
The function character(n) computes Chi(lambda, rho) for all partitions lambda and rho of n. Thus, it computes the character of all conjugacy classes for all irreducible representations of the symmetric group on n elements.
For partitions pi of n, in ascending lexicographical ordering, for example 1,1,...,1,...,n, the i,jth entry of the character table for Sn is given by
Chi⁡pm−i+1,pj
thus the row ordering is reversed. This is the standard layout as given in the book The Theory of Group Characters by D. E. Littlewood.
with⁡combinat:
Chi⁡1,2,1,1,1
2
See Also
combinat[partition]
GroupTheory[CharacterTable]
type/partition
Download Help Document