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: q = 7 FqT.<T> = GF(q)[] N = T^2+1 FqTN = QuotientRing(FqT, N*FqT) S = SL(2, FqTN) S.is_finite()This error arose when I was trying to enumerate subgroups of this special linear group. But the method I found in the Sagemath documentation, conjugacy_classes_subgroups() <https://doc.sagemath.org/html/en/thematic_tutorials/group_theory.html#all-subgroups>, seems to not exist for a special linear group?
-- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-support/ec1f5a5a-d8d3-44f5-8df6-0ced10da90e1n%40googlegroups.com.
