Computer-assisted methods in Sigma-theory

Elisa Hartmann

We develop an algorithm for recognizing whether a character belongs to ${\Sigma }^m$. In order to apply it we just need to know that the ambient group is of type ${\mathrm{FP}}_m$ or of type…