7.85 RightCoset

U * u
Coset( U, u )
RightCoset( U, u )
Coset( U )
RightCoset( U )

The first three forms return the right coset of the subgroup U with the representative u. u must lie in the parent group of U, otherwise an error is signalled. In the last two forms the right coset of U with the identity element of the parent of U as representative is returned. In each case the right coset is returned as a domain, so all domain functions are applicable to right cosets (see chapter Domains and Set Functions for Right Cosets).

    gap> G := Group( (1,2), (1,2,3,4) );;
    gap> U := Subgroup( G, [ (1,2), (3,4) ] );;
    gap> U * (1,2,3);
    (Subgroup( Group( (1,2), (1,2,3,4) ), [ (1,2), (3,4) ] )*(1,2,3)) 

RightCosets (see RightCosets) computes the set of all right cosets of a subgroup in a group. LeftCoset (see LeftCoset) constructs left cosets.

RightCoset calls U.operations.RightCoset( U, u ) and returns that value.

The default function called this way is GroupOps.RightCoset, which creates a right coset record (see Right Cosets Records) with the Set Functions for Right Cosets). Look up the entries for RightCoset in the index to see for which groups this function is overlaid.

Previous Up Top Next
Index

GAP 3.4.4
April 1997