67.8 IsIrreducible for GModules

IsIrreducible( module )

module is a G-module. IsIrreducible tests module for irreducibility, and returns true or false. If module is reducible, a sub- and quotient-module can be constructed using InducedAction (see InducedAction).

The algorithm is described in [5].

Previous Up Top Next
Index