7.90 LeftCoset

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
Index