The table of irreducible characters for the group G.

The G-module for the action of G on the vector space defined by the matrix ring M.

GModule(G, A) : GrpPC, GrpPC -> ModAlg, Map

A KG-module corresponding to the action of the group G on the elementary abelian subgroup A of G. The map from A to the KG-module's underlying vector space is returned as well.

GModule(G, A, B) : GrpPC, GrpPC, GrpPC -> ModAlg, Map

A KG-module corresponding to the action of the group G on the elementary abelian section A/B of G. The map from A to the KG-module's underlying vector space is returned as well.