[GAP Forum] Analogue of IsFFEMatrixGroup for matrix groups over ZmodnZ

[Alexander Hulpke]

Dear Forum,

On Jan 14, 2011, at 1/14/11 7:24, Max Horn wrote:

> is there an analogue for IsFFEMatrixGroup and FieldOfMatrixGroup for groups over ZmodnZ ? Something like IsZmodnZMatrixGroup and RingOfMatrixGroup ? I didn't find anything like that. If it doesn't exist, how would I best go about adding those?

Assuming you want to catch the case for nonprime n, the equivalent for IsFFEMatrixGroup would be
IsZmodnZObjNonprimeCollCollColl and IsMatrixGroup

To get the underlying ring, you could use
DefaultRing(Flat(GeneratorsOfGroup(g)));

Best wishes,

   Alexander Hulpke