|
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.
+ y : AlgChtrElt -> AlgChtrElt
- y : AlgChtrElt -> AlgChtrElt
x + y : AlgChtrElt, AlgChtrElt -> AlgChtrElt
x - y : AlgChtrElt, AlgChtrElt -> AlgChtrElt
x * y : AlgChtrElt, AlgChtrElt -> AlgChtrElt
a * x : FldCycElt, AlgChtrElt -> AlgChtrElt
x ^ j : AlgChtrElt, RngIntElt -> AlgChtrElt
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.
a in F : FldFunElt, FldFun -> BoolElt
a notin F : FldFunElt, FldFun -> BoolElt
x eq y : AlgChtrElt, AlgChtrElt -> BoolElt
x ne y : AlgChtrElt, AlgChtrElt -> BoolElt
IsOne(x) : AlgChtrElt -> BoolElt
IsMinusOne(x) : AlgChtrElt -> BoolElt
IsZero(x) : AlgChtrElt -> BoolElt
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.)
In a symmetric group S n every character is a virtual permutation character,
but not in the quaternion group Q 8.
> 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.
g @ x : GrpElt, AlgChtrElt -> FldCycElt
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).
Indicator(x) : AlgChtrElt -> FldCycElt
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.
[Next][Prev] [Right] [Left] [Up] [Index] [Root]
|