Hello there
I am trying to do some computations with the special linear group of a finite ring (given as the quotient ring of a larger ring), and am running into an issue in which it seems that Sagemath doesn't know that the special linear group of a finite ring is finite? Here is a minimal working example which reproduces the error:
Z6 = QuotientRing(ZZ,6*ZZ)
S = SL(2,Z6)
S.is_finite()
In addition, although this link says that I can find all (conjugacy classes of) subgroups of a group G
using G.conjugacy_classes_subgroups()
, this method does not seem to be implemented for the special linear group above. Why is this so, and which code can I use instead?