Assume that G is a finite group of exponent m with k conjugacy classes of elements. The operators discussed here are concerned with the ring of class functions on G, defined to be the ring of complex-valued functions on G that are constant on conjugacy classes. This ring is made into a C-algebra by identifying c in C with the constant function that is c everywhere. In fact we will restrict ourselves to functions with values that are elements of cyclotomic fields.
Elements of the ring are represented by the k values (elements of
some cyclotomic field Q(zeta_n)) on the classes.
Creation Functions
Structure Creation
Element Creation
The Table of Irreducible Characters
Structure Operations
Related Structures
Numerical Invariants
Ring Predicates and Booleans
Element Operations
Arithmetic
Predicates and Booleans
Accessing Class Functions
Conjugation of Class Functions
Functions Returning a Scalar
Attribute
Induction, Restriction, Extension
Symmetrization
Permutation Character
Composition and Decomposition
Finding Irreducibles
Bibliography
Structure Creation
ClassFunctionSpace(G) : Grp -> AlgChtr
Element Creation
elt< R | a_1, ..., a_k :parameters> : AlgChtr, FldCycElt, ..., FldCycElt -> AlgChtrElt
R ! a : AlgChtr, RngIntElt -> AlgChtrElt
Id(R) : AlgChtr -> AlgChtrElt
Zero(R) : AlgChtr -> AlgChtrElt
The Table of Irreducible Characters
KnownIrreducibles(R) : AlgChtr -> SeqEnum
CharacterTable(G) : Grp -> SeqEnum
LinearCharacters(G): Grp -> SeqEnum
Related Structures
Group(R) : AlgChtr -> Grp
Centre(x) : AlgChtrElt -> Grp
CoefficientField(x) : AlgChtrElt -> Rng
Kernel(x) : AlgChtrElt -> Grp
Predicates and Booleans
x in y : AlgChtrElt, AlgChtrElt -> BoolElt
x notin y : AlgChtrElt, AlgChtrElt -> BoolElt
IsCharacter(x) : AlgChtrElt -> BoolElt
IsGeneralizedCharacter(x) : AlgChtrElt -> BoolElt
IsIrreducible(x) : AlgChtrElt -> BoolElt
IsLinear(x) : AlgChtrElt -> BoolElt
IsFaithful(x) : AlgChtrElt -> BoolElt
IsReal(x) : AlgChtrElt -> BoolElt
Accessing Class Functions
T[i] : TabChtr, RngIntElt -> AlgChtrElt
T[i][j] : TabChtr, RngIntElt, RngIntElt -> FldCycElt
# T : SeqEnum -> RngIntElt
x(g) : AlgChtrElt, GrpElt -> FldCycElt
x[i] : AlgChtrElt, RngIntElt -> FldCycElt
# x : AlgChtrElt -> RngIntElt
Conjugation of Class Functions
x ^ g : AlgChtrElt, GrpElt -> AlgChtrElt
x ^ H : AlgChtrElt, Grp -> { AlgChtrElt }
GaloisConjugate(x, j) : AlgChtrElt, RngIntElt -> AlgChtrElt
GaloisOrbit(x) : AlgChtrElt -> { AlgChtrElt }
ClassPowerCharacter(x, j) : AlgChtrElt, RngIntElt -> AlgChtrElt
Functions Returning a Scalar
Degree(x) : AlgChtrElt -> RngIntElt
InnerProduct(x, y) : AlgChtrElt, AlgChtrElt -> FldCycElt
Order(x) : AlgChtrElt -> RngIntElt
Norm(x) : AlgChtrElt -> FldCycElt
Schur(x, k) : AlgChtrElt, RngIntElt -> FldCycElt
StructureConstant(G, i, j, k) : Grp, RngIntElt, RngIntElt, RngIntElt -> RngIntElt
Attribute
AssertAttribute(x, "IsCharacter", b) : AlgChtrElt, MonStgElt, BoolElt ->
Induction, Restriction, Extension
Induction(x, G) : AlgChtrElt, Grp -> AlgChtrElt
LiftCharacter(x, f, G) : AlgChtrElt, MapHom, Grp -> AlgChtrElt
LiftCharacters(T, f, G) : AlgChtrElt, MapHom, Grp -> AlgChtrElt
Restriction(x, H) : AlgChtrElt, Grp -> AlgChtrElt
Symmetrization
Symmetrization(x, p) : AlgChtrElt, [ RngIntElt ] -> AlgChtrElt
OrthogonalComponent(x, p) : AlgChtrElt, [ RngIntElt ] -> AlgChtrElt
SymplecticComponent(x, p) : AlgChtrElt, [ RngIntElt ] -> AlgChtrElt
SymmetricComponents(x, n) : AlgChtrElt, RngIntElt -> SetEnum
OrthogonalComponents(x, n) : AlgChtrElt, RngIntElt -> SetEnum
SymplecticComponents(x, n) : AlgChtrElt, RngIntElt -> SetEnum
Permutation Character
PermutationCharacter(G) : GrpPerm -> AlgChtrElt
PermutationCharacter(G, H) : Grp, Grp -> AlgChtrElt
Composition and Decomposition
Composition(T, q) : [ FldCycElt ], TabChtr -> AlgChtrElt
Decomposition(T, y) : TabChtr, AlgChtrElt -> [ FldCycElt ]
Finding Irreducibles
RemoveIrreducibles(I, C) : [ AlgChtrElt ], [ AlgChtrElt ] -> [ AlgChtrElt ], [ AlgChtrElt ]
ReduceCharacters(I, C) : [ AlgChtrElt ], [ AlgChtrElt ] -> [ AlgChtrElt ], [ AlgChtrElt ]