This is documentation for Mathematica 8, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.2)

RightCosetRepresentative

RightCosetRepresentative
returns the smallest element in the right coset of products of the elements of group by g.
  • The representative is chosen as the smallest element in the coset, as determined by the ordering given by Less.
Representative of a coset:
For an element in the group, the representative is the identity:
Representative of a coset:
In[1]:=
Click for copyable input
Out[1]=
 
For an element in the group, the representative is the identity:
In[1]:=
Click for copyable input
Out[1]=
Compute the canonical representative of a right coset:
List all elements of the corresponding right coset:
The smallest element is the canonical representative:
The inverse of the canonical representative of a right coset belongs to the left coset but is not canonical in general. Take a permutation and a group:
This is the left coset of the inverse of that element:
The inverse of the canonical right coset representative belongs to the coset but is not the canonical representative:
New in 8