Hello GAP Forum,
Bill Allombert asked:
I would like to computing the lists of minimal normal subgroups of a (small)
There is a function MaximalNormalSubgroups, but no MinimalNormalSubgroups...
There is such a function, but in fact the existing code for groups computes
all normal subgroups and filters out the nonmaximal ones.
Since the algorithm to compute normal subgroups works downwards from the
whole group, one could adapt it to get only maximal normal subgroups, but I
don't see a faster way how to have it compute only minimal normal subgroups,
without essentially finding all normal subgroups.
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...
Since the calculation of all normal subgroups usually is reasonably fast
(unless the total number of normal subgroups is ridiculously large) this
approach should still work.
Another option for improvement would be to consider the groups in descending
order -- if G is isomorphic to a factor group of H, and you computed all
normal subgroups of H, also the normal subgroiups of $G$ are known and do
not need to be computed anew.
-- Colorado State University, Department of Mathematics,
Weber Building, Fort Collins, CO 80523, USA
email: firstname.lastname@example.org, Phone: ++1-970-4914288