Irreducibility testing of finite nilpotent linear groups

We describe an algorithm for irreducibility testing of finite nilpotent linear groups over various fields of characteristic zero, including number fields and rational function fields over number fields. For a reducible group, our algorithm constructs a proper submodule. An implementation in Magma is publicly available.