NormalIntersection( N, U )
Let N and U be two subgroups with a common parent group.
NormalIntersection returns the intersection in case U normalizes N.
Depending on the domain this may be faster than the general intersection
algorithm (see Intersection). The default function
GroupOps.NormalIntersection however uses Intersection.
GAP 3.4.4