u * U
LeftCoset( U, u )
LeftCoset( U )
LeftCoset is exactly like
RightCoset, except that it constructs left
cosets instead of right cosets. So everything that applies to
RightCoset applies also to
LeftCoset, with right replaced by left
Right Cosets Records).
gap> G := Group( (1,2), (1,2,3,4) );; gap> U := Subgroup( G, [ (1,2), (3,4) ] );; gap> (1,2,3) * U; ((1,2,3)*Subgroup( Group( (1,2), (1,2,3,4) ), [ (1,2), (3,4) ] ))
LeftCosets (see LeftCosets) computes the set of all left cosets of a
subgroup in a group.
Previous Up Top Next