25.15 IsNormal for Ag Groups

AgGroupOps.IsNormal( G, U )

Let G be a parent group. Then AgGroupOps.IsNormal checks if the conjugate of each generator of U under each induced generator of G which has a depth not contained in U is an element of U. Otherwise AgGroupOps.IsNormal checks if the conjugate of each generator of U under each generator of G is an element of U.

Previous Up Top Next
Index