7.115 Intersection for Groups

GroupOps.Intersection( G, H )

GroupOps.Intersection returns the intersection of G and H either as set of elements or as a group record (see Intersection).

If one argument, say G, is a set and the other a group, say H, then GroupOps.Intersection returns the subset of elements of G which lie in H.

If G and H have different parent groups then GroupOps.Intersection uses the function DomainOps.Intersection in order to compute the intersection.

Otherwise GroupOps.Intersection computes the stabilizer of the trivial coset of the bigger group in the smaller group using Stabilizer and Coset.

Previous Up Top Next
Index