The functions described in this section apply only to finite groups for which a base and strong generating set may be constructed.
The (right) coset table for the group G over subgroup H relative to its defining generators.
Given a matrix group G and a subgroup H of G, this function returns[Next][Prev] [Right] [Left] [Up] [Index] [Root]
- (a)
- A set of elements T of G forming a right transversal for G over H; and
- (b)
- The corresponding transversal mapping φ: G -> T. If T = [t1, ..., tr] and g ∈G, φis defined by φ(g) = ti, where g∈H * ti.