48.9 Operators for Character Tables

The following operators are defined for character tables.

tbl1 * tbl2:

direct product of two character tables (see CharTableDirectProduct),

tbl / list:

table of the factor group modulo the classes in the list list (see CharTableFactorGroup),

tbl mod p:

p--modular table corresponding to tbl (see CharTable).

Previous Up Top Next
Index