In the list of arithmetic operations below x and y denote class functions in the same ring, and a denotes a scalar, which is any element coercible into a cyclotomic field. Also, j denotes an integer.
The following Boolean-valued functions are available. Note that with the exception of in, notin, IsReal and IsFaithful, these functions use the table of irreducible characters, which will be created if it is not yet available.
Returns true if the inner product of class functions x and y is non-zero, otherwise false. If x is irreducible and y is a character, this tests whether or not x is a constituent of y.
Returns true if the inner product of class functions x and y is zero, otherwise false. If x is irreducible and y is a character, this tests whether or not x is not a constituent of y. Returns true if the character x is not a constituent of the character y, otherwise false.
Returns true if the class function x is a character, otherwise false. A class function is a character if and only if all inner products with the irreducible characters are non-negative integers.
Returns true if the class function x is a generalized character, otherwise false. A class function is a generalized character if and only if all inner products with the irreducible characters are integers.
Returns true if the character x is an irreducible character, otherwise false.
Returns true if the character x is a linear character, otherwise false.
Returns true if the character x is faithful, i.e. has trivial kernel, otherwise false.
Returns true if the character x is a real character, i.e. takes real values on all of the classes of G, otherwise false.
Test if a character c of G is a virtual permutation character, that is C[X] - C[Y] for some G-sets X and Y. (The implementation relies on BurnsideCokernel, and does not compute the subgroup lattice.)
> C:=CharacterTable(Group("S5"));
> [IsPermutationCharacter(c): c in C];
[ true, true, true, true, true, true, true ]
> C:=CharacterTable(Group("Q8"));
> [IsPermutationCharacter(c): c in C];
[ true, true, true, true, false ]
In this subsection T is a character table, and x is any class function. A character table is an enumerated sequence of characters that has a special print function attached. In particular, its entries can be accessed with the ordinary sequence indexing operations.
Given the table T of ordinary characters of G, return the i-th character of G, where i is an integer in the range [1...k].
The value of the i-th irreducible character (from the character table T) on the j-th conjugacy class of G.
Given a character table T (or any sequence of characters), return the number of entries.
The value of the class function x on the element g of G.
The value of the class function x on the i-th conjugacy class of G.
Given a class function x on G return its length (which equals the number of conjugacy classes of the group G).
Given a class function x on a normal subgroup N of the group G, and an element g of G, construct the conjugate class function xg of x which is defined as follows: xg(n) = x( g - 1ng), for all n in N.
Given a class function x on a normal subgroup N of the group G, and a subgroup H of G, construct the sequence of conjugates of x under the action of the subgroup H. The action of an element of H on x is that defined for xg.
Let Q(x) be the subfield of Qm generated by Q and the values of the G-character x. This function returns the Galois conjugate xj of x under the action of the element of the Galois group Gal(Q(x)/Q) determined by the integer j. The integer j must be coprime to m.
Let Q(x) be the subfield of Qm generated by Q and the values of the G-character x. This function returns the sequence of Galois conjugates of x under the action of the Galois group Gal(Q(x)/Q).
Determine if x and y are galois conjugate characters. Return false if not. If so, return true, and j such that texttt{GaloisConjugate(x, j)} is y.
Given a class function x on the group G and a positive integer j, construct the class function xj which is defined as follows: xj(g) = x(gj).
The degree of the class function x, i.e. the value of x on the identity element of G.
The inner product of the class functions x and y, where x and y are class functions belonging to the same character ring.
Given a linear character of the group G, determine the order of x as an element of the group of linear characters of G.
Norm of the class function x (which is the inner product with itself).
Given class function x and a positive integer k, return the generalised Frobenius--Schur indicator which is defined as follows: Suppose g is some element of G, and set Tk(g) = |{ h∈G | hk = g}|. The value of Schur(x, k) is the coefficient ax in the expression Tk = ∑ x∈Irr(G) ax x.The call Indicator(x) is equivalent to Schur(x,2).
The structure constant ai, j, k for the centre of the group algebra of the group G. If Ki is the formal sum of the elements of the i-th conjugacy class, ai, j, k is defined by the equation Ki * Kj = ∑k ai, j, k * Kk.