Hello All,

I am conducting research into a certain problem in Group Theory, and part of
my research is based on computer calculations using GAP. It turns out that
one of the more time-exhaustive parts of my
programs is the need to find the set of all self-normalized subgroups of a
group G (A subgroup H of G is self-normalized if N_G(H) = H).

More specifically, I would like to be able to calculate the self-normalized
subgroups of (G x H) and (G wr S_k), if I already know the set of
self-normalized subgroups of G and H. Does anyone have an idea of something
I could use to get a better algorithm than just brute force over the
subgroups?

Thanks in advance,
Avital.