AATA Cosets

Section 6.1 Cosets

Let

G

be a group and

H

a subgroup of

G .

Define a left coset of

H

with representative

g \in G

to be the set

g H = {g h : h \in H} .

🔗

Right cosets can be defined similarly by

H g = {h g : h \in H} .

🔗

If left and right cosets coincide or if it is clear from the context to which type of coset that we are referring, we will use the word coset without specifying left or right.

🔗

Example 6.1.

🔗

Let

H

be the subgroup of

Z_{6}

consisting of the elements

0

and

3 .

The cosets are

\begin{matrix} 0 + H = 3 + H = {0, 3} \\ 1 + H = 4 + H = {1, 4} \\ 2 + H = 5 + H = {2, 5} . \end{matrix}

🔗

We will always write the cosets of subgroups of

Z

and

Z_{n}

with the additive notation we have used for cosets here. In a commutative group, left and right cosets are always identical.

🔗

Example 6.2.

🔗

Let

H

be the subgroup of

S_{3}

defined by the permutations

{(1), (1 2 3), (1 3 2)} .

The left cosets of

H

are

\begin{matrix} (1) H = (1 2 3) H = (1 3 2) H = {(1), (1 2 3), (1 3 2)} \\ (1 2) H = (1 3) H = (2 3) H = {(1 2), (1 3), (2 3)} . \end{matrix}

🔗

The right cosets of

H

are exactly the same as the left cosets:

\begin{matrix} H (1) = H (1 2 3) = H (1 3 2) = {(1), (1 2 3), (1 3 2)} \\ H (1 2) = H (1 3) = H (2 3) = {(1 2), (1 3), (2 3)} . \end{matrix}

🔗

It is not always the case that a left coset is the same as a right coset. Let

K

be the subgroup of

S_{3}

defined by the permutations

{(1), (1 2)} .

Then the left cosets of

K

are

\begin{matrix} (1) K = (1 2) K = {(1), (1 2)} \\ (1 3) K = (1 2 3) K = {(1 3), (1 2 3)} \\ (2 3) K = (1 3 2) K = {(2 3), (1 3 2)}; \end{matrix}

🔗

however, the right cosets of

K

are

\begin{matrix} K (1) = K (1 2) = {(1), (1 2)} \\ K (1 3) = K (1 3 2) = {(1 3), (1 3 2)} \\ K (2 3) = K (1 2 3) = {(2 3), (1 2 3)} . \end{matrix}

🔗

The following lemma is quite useful when dealing with cosets. (We leave its proof as an exercise.)

🔗

Lemma 6.3.

🔗

Let

H

be a subgroup of a group

G

and suppose that

g_{1}, g_{2} \in G .

The following conditions are equivalent.

$g_{1} H = g_{2} H;$
$H g_{1}^{- 1} = H g_{2}^{- 1};$
$g_{1} H \subset g_{2} H;$
$g_{2} \in g_{1} H;$
$g_{1}^{- 1} g_{2} \in H .$

🔗

In all of our examples the cosets of a subgroup

H

partition the larger group

G .

The following theorem proclaims that this will always be the case.

🔗

Theorem 6.4.

🔗

Let

H

be a subgroup of a group

G .

Then the left cosets of

H

G

partition

G .

That is, the group

G

is the disjoint union of the left cosets of

H

G .

Proof.

Let

g_{1} H

and

g_{2} H

be two cosets of

H

G .

We must show that either

g_{1} H \cap g_{2} H = \emptyset

g_{1} H = g_{2} H .

Suppose that

g_{1} H \cap g_{2} H \neq \emptyset

and

a \in g_{1} H \cap g_{2} H .

Then by the definition of a left coset,

a = g_{1} h_{1} = g_{2} h_{2}

for some elements

h_{1}

and

h_{2}

H .

Hence,

g_{1} = g_{2} h_{2} h_{1}^{- 1}

g_{1} \in g_{2} H .

By Lemma 6.3,

g_{1} H = g_{2} H .

🔗

Remark 6.5.

🔗

There is nothing special in this theorem about left cosets. Right cosets also partition

G;

the proof of this fact is exactly the same as the proof for left cosets except that all group multiplications are done on the opposite side of

H .

🔗

Let

G

be a group and

H

be a subgroup of

G .

Define the index of

H

G

to be the number of left cosets of

H

G .

We will denote the index by

[G : H] .

🔗

Example 6.6.

🔗

Let

G = Z_{6}

and

H = {0, 3} .

Then

[G : H] = 3 .

🔗

Example 6.7.

🔗

Suppose that

G = S_{3},

H = {(1), (1 2 3), (1 3 2)},

and

K = {(1), (1 2)} .

Then

[G : H] = 2

and

[G : K] = 3 .

🔗

Theorem 6.8.

🔗

Let

H

be a subgroup of a group

G .

The number of left cosets of

H

G

is the same as the number of right cosets of

H

G .

Proof.

Let

L_{H}

and

R_{H}

denote the set of left and right cosets of

H

G,

respectively. If we can define a bijective map

ϕ : L_{H} \to R_{H},

then the theorem will be proved. If

g H \in L_{H},

let

ϕ (g H) = H g^{- 1} .

By Lemma 6.3, the map

ϕ

is well-defined; that is, if

g_{1} H = g_{2} H,

then

H g_{1}^{- 1} = H g_{2}^{- 1} .

To show that

ϕ

is one-to-one, suppose that

H g_{1}^{- 1} = ϕ (g_{1} H) = ϕ (g_{2} H) = H g_{2}^{- 1} .

Again by Lemma 6.3,

g_{1} H = g_{2} H .

The map

ϕ

is onto since

ϕ (g^{- 1} H) = H g .

Prev Top Next