Hello GAP Forum,
I would like to computing the lists of minimal normal subgroups of a (small)
The purpose is to make a graph of abstract groups with arrow pointing to theirs
There is a function MaximalNormalSubgroups, but no MinimalNormalSubgroups...
If there is no way to do that faster than NormalSubgroups, then I can use
graph processing to find the minimal normal groups among the full list...