The LeftCosets( H, G ) command returns the set of left cosets of the subgroup H of the permutation group G.

The RightCosets( H, G ) command returns the set of right cosets of the subgroup H of the permutation group G.

In each case, the collection of cosets (left or right) is returned as a set.

The group G must be an instance of either a permutation group or a Cayley table group, and H must be a subgroup of G.

$\mathrm{with}\left(\mathrm{GroupTheory}\right)\:$

$G≔\mathrm{Alt}\left(4\right)$

$G≔{\mathbf{A}}_4$

$\mathrm{GroupOrder}\left(G\right)$

$12$

$H≔\mathrm{SylowSubgroup}\left(2\,G\right)$

$H≔⟨\left(1\,2\right)\left(3\,4\right)\,\left(1\,3\right)\left(2\,4\right)⟩$

$\mathrm{GroupOrder}\left(H\right)$

$4$

$\mathrm{lc}≔\mathrm{LeftCosets}\left(H\,G\right)$

$\mathrm{lc}≔\left\{\left(\right)·⟨\left(1\,2\right)\left(3\,4\right)\,\left(1\,3\right)\left(2\,4\right)⟩\,\left(\left(2\,3\,4\right)\right)·⟨\left(1\,2\right)\left(3\,4\right)\,\left(1\,3\right)\left(2\,4\right)⟩\,\left(\left(2\,4\,3\right)\right)·⟨\left(1\,2\right)\left(3\,4\right)\,\left(1\,3\right)\left(2\,4\right)⟩\right\}$

$\mathrm{nops}\left(\mathrm{lc}\right)=\frac{\mathrm{GroupOrder}\left(G\right)}{\mathrm{GroupOrder}\left(H\right)}$

$3=3$

$\mathrm{map}\left(\mathrm{Representative}\,\mathrm{lc}\right)$

$\left\{\left(2\,4\,3\right)\,\left(\right)\,\left(2\,3\,4\right)\right\}$

$\mathrm{map}\left(\mathrm{Representative}\,\mathrm{RightCosets}\left(H\,G\right)\right)$

$\left\{\left(2\,4\,3\right)\,\left(\right)\,\left(2\,3\,4\right)\right\}$

$\mathrm{IsNormal}\left(H\,G\right)$

$\mathrm{true}$

The GroupTheory[LeftCosets] and GroupTheory[RightCosets] commands were introduced in Maple 17.

For more information on Maple 17 changes, see Updates in Maple 17.