IsIrreducibleFiniteNilpotent(G : parameters): GrpMat -> BoolElt, Any
DecideOnly: BoolElt Default: falseVerify: BoolElt Default: falseLet G be a finite nilpotent matrix group over K, where K is a number field or a rational function field over a number field. The function returns true if G is irreducible or false and a proper submodule of GModule(G). The construction of a submodule can be suppressed by setting DecideOnly to true. If Verify is set to true, then the function checks if G is nilpotent and finite. The algorithm used for irreducibility testing is described in [Ros10a].
IsPrimitiveFiniteNilpotent(G : parameters): GrpMat -> BoolElt, Any
DecideOnly: BoolElt Default: falseVerify: BoolElt Default: falseLet G be an irreducible finite nilpotent matrix group over K, where K is a number field or a rational function field over a number field. The function returns true if G is primitive or false and a a system of imprimitivity for G, given as a sequence of subspaces of RSpace(G). The construction of a system of imprimitivity can be suppressed by setting DecideOnly to true. If Verify is set to true, then the function checks if G is nilpotent, finite, and irreducible. The algorithm used for primitivity testing is described in [Ros10b].
[Ros10a] T. Rossmann. Irreducibility testing of finite nilpotent linear groups. J. Algebra 324(5): 1114-1124, 2010.
[Ros10b] T. Rossmann. Primitivity testing of finite nilpotent linear groups. Submitted.