Finding Subgroups

[Douglas Gray]

Hey, Everybody.

Let me say, first, that I am a mathematician, not a comp-sci person. I am using sympy.combinatorics.named_groups to import different groups. Has anyone out there written a code to identify all subgroups of a given group?

[Douglas Gray]

I probably should have mentioned that I have written a script for this that identifies inverses and then checks subsets using the one-step subgroup test.

[Sangyub Lee]

Unfortunately, I don't think that there is any capability like AllSubgroups in GAP in SymPy

GAP (ref) - Chapter 39: Groups (gap-system.org)

I also tried to find solutions, but it is not very trivial at least because naive solution by definition (just to test all subsets of groups) isn't feasibily fast enough even for small textbook problems.
So we need to implement some real algorithm for this

[Douglas Gray]

I have an algorithm that runs quickly for groups of order 18 or less.