MTHSC 412 Section 4.4 -- Cosets of a subgroup · Lemma Suppose that H G. The distinct left cosets...
Transcript of MTHSC 412 Section 4.4 -- Cosets of a subgroup · Lemma Suppose that H G. The distinct left cosets...
![Page 1: MTHSC 412 Section 4.4 -- Cosets of a subgroup · Lemma Suppose that H G. The distinct left cosets of H form a partition of G. Proof. Since e 2H, a 2aH for all a 2G. So, the left cosets](https://reader033.fdocuments.us/reader033/viewer/2022042218/5ec3fc96d874dc08717ac265/html5/thumbnails/1.jpg)
MTHSC 412 Section 4.4 – Cosets of asubgroup
Kevin James
Kevin James MTHSC 412 Section 4.4 – Cosets of a subgroup
![Page 2: MTHSC 412 Section 4.4 -- Cosets of a subgroup · Lemma Suppose that H G. The distinct left cosets of H form a partition of G. Proof. Since e 2H, a 2aH for all a 2G. So, the left cosets](https://reader033.fdocuments.us/reader033/viewer/2022042218/5ec3fc96d874dc08717ac265/html5/thumbnails/2.jpg)
Definition
Suppose that (G , ∗) is a group and A, B ⊆ G . Then we defineA ∗ B (or simply AB) by
AB = {x ∈ G | x = ab for some a ∈ A and b ∈ B}
Example
Consider G = S4, A = {e, (1, 2, 3), (1, 3, 2)} andB = {(1, 2), (2, 3, 4)} Then,
AB = {(1, 2), (1, 3), (2, 3), (2, 3, 4), (1, 2)(3, 4), (1, 3, 4)},
and
BA = {(1, 2), (2, 3), (1, 3), (2, 3, 4), (1, 3)(2, 4), (1, 4, 2)}.
Kevin James MTHSC 412 Section 4.4 – Cosets of a subgroup
![Page 3: MTHSC 412 Section 4.4 -- Cosets of a subgroup · Lemma Suppose that H G. The distinct left cosets of H form a partition of G. Proof. Since e 2H, a 2aH for all a 2G. So, the left cosets](https://reader033.fdocuments.us/reader033/viewer/2022042218/5ec3fc96d874dc08717ac265/html5/thumbnails/3.jpg)
Definition
Suppose that (G , ∗) is a group and A, B ⊆ G . Then we defineA ∗ B (or simply AB) by
AB = {x ∈ G | x = ab for some a ∈ A and b ∈ B}
Example
Consider G = S4, A = {e, (1, 2, 3), (1, 3, 2)} andB = {(1, 2), (2, 3, 4)} Then,
AB = {(1, 2), (1, 3), (2, 3), (2, 3, 4), (1, 2)(3, 4), (1, 3, 4)},
and
BA = {(1, 2), (2, 3), (1, 3), (2, 3, 4), (1, 3)(2, 4), (1, 4, 2)}.
Kevin James MTHSC 412 Section 4.4 – Cosets of a subgroup
![Page 4: MTHSC 412 Section 4.4 -- Cosets of a subgroup · Lemma Suppose that H G. The distinct left cosets of H form a partition of G. Proof. Since e 2H, a 2aH for all a 2G. So, the left cosets](https://reader033.fdocuments.us/reader033/viewer/2022042218/5ec3fc96d874dc08717ac265/html5/thumbnails/4.jpg)
Notation
Suppose that G is a group and g ∈ G and A ⊆ G . Then wedenote by gA and Ag the products {g}A and A{g}.
Theorem (Properties of products of subsets)
1 A(BC ) = (AB)C .
2 B = C ⇒ AB = AC and BA = CA
3 In general AB and BA may be different.
4 AB = AC 6⇒ B = C
5 gA = gB ⇒ A = B.
Kevin James MTHSC 412 Section 4.4 – Cosets of a subgroup
![Page 5: MTHSC 412 Section 4.4 -- Cosets of a subgroup · Lemma Suppose that H G. The distinct left cosets of H form a partition of G. Proof. Since e 2H, a 2aH for all a 2G. So, the left cosets](https://reader033.fdocuments.us/reader033/viewer/2022042218/5ec3fc96d874dc08717ac265/html5/thumbnails/5.jpg)
Notation
Suppose that G is a group and g ∈ G and A ⊆ G . Then wedenote by gA and Ag the products {g}A and A{g}.
Theorem (Properties of products of subsets)
1 A(BC ) = (AB)C .
2 B = C ⇒ AB = AC and BA = CA
3 In general AB and BA may be different.
4 AB = AC 6⇒ B = C
5 gA = gB ⇒ A = B.
Kevin James MTHSC 412 Section 4.4 – Cosets of a subgroup
![Page 6: MTHSC 412 Section 4.4 -- Cosets of a subgroup · Lemma Suppose that H G. The distinct left cosets of H form a partition of G. Proof. Since e 2H, a 2aH for all a 2G. So, the left cosets](https://reader033.fdocuments.us/reader033/viewer/2022042218/5ec3fc96d874dc08717ac265/html5/thumbnails/6.jpg)
Definition
Suppose that G is a group and that H ≤ G . For a ∈ G the set aHis a left coset of H. Similarly, the set Ha is called a right coset ofH.
Example
Consider G = S3 and H = {e, (1, 2, 3), (1, 3, 2)}. Then(1, 2)H = {(1, 2), (2, 3), (1, 3)}(1, 2, 3)H = H.In fact, these are the only left cosets of H.
Kevin James MTHSC 412 Section 4.4 – Cosets of a subgroup
![Page 7: MTHSC 412 Section 4.4 -- Cosets of a subgroup · Lemma Suppose that H G. The distinct left cosets of H form a partition of G. Proof. Since e 2H, a 2aH for all a 2G. So, the left cosets](https://reader033.fdocuments.us/reader033/viewer/2022042218/5ec3fc96d874dc08717ac265/html5/thumbnails/7.jpg)
Definition
Suppose that G is a group and that H ≤ G . For a ∈ G the set aHis a left coset of H. Similarly, the set Ha is called a right coset ofH.
Example
Consider G = S3 and H = {e, (1, 2, 3), (1, 3, 2)}. Then
(1, 2)H = {(1, 2), (2, 3), (1, 3)}(1, 2, 3)H = H.In fact, these are the only left cosets of H.
Kevin James MTHSC 412 Section 4.4 – Cosets of a subgroup
![Page 8: MTHSC 412 Section 4.4 -- Cosets of a subgroup · Lemma Suppose that H G. The distinct left cosets of H form a partition of G. Proof. Since e 2H, a 2aH for all a 2G. So, the left cosets](https://reader033.fdocuments.us/reader033/viewer/2022042218/5ec3fc96d874dc08717ac265/html5/thumbnails/8.jpg)
Definition
Suppose that G is a group and that H ≤ G . For a ∈ G the set aHis a left coset of H. Similarly, the set Ha is called a right coset ofH.
Example
Consider G = S3 and H = {e, (1, 2, 3), (1, 3, 2)}. Then(1, 2)H = {(1, 2), (2, 3), (1, 3)}
(1, 2, 3)H = H.In fact, these are the only left cosets of H.
Kevin James MTHSC 412 Section 4.4 – Cosets of a subgroup
![Page 9: MTHSC 412 Section 4.4 -- Cosets of a subgroup · Lemma Suppose that H G. The distinct left cosets of H form a partition of G. Proof. Since e 2H, a 2aH for all a 2G. So, the left cosets](https://reader033.fdocuments.us/reader033/viewer/2022042218/5ec3fc96d874dc08717ac265/html5/thumbnails/9.jpg)
Definition
Suppose that G is a group and that H ≤ G . For a ∈ G the set aHis a left coset of H. Similarly, the set Ha is called a right coset ofH.
Example
Consider G = S3 and H = {e, (1, 2, 3), (1, 3, 2)}. Then(1, 2)H = {(1, 2), (2, 3), (1, 3)}(1, 2, 3)H = H.
In fact, these are the only left cosets of H.
Kevin James MTHSC 412 Section 4.4 – Cosets of a subgroup
![Page 10: MTHSC 412 Section 4.4 -- Cosets of a subgroup · Lemma Suppose that H G. The distinct left cosets of H form a partition of G. Proof. Since e 2H, a 2aH for all a 2G. So, the left cosets](https://reader033.fdocuments.us/reader033/viewer/2022042218/5ec3fc96d874dc08717ac265/html5/thumbnails/10.jpg)
Definition
Suppose that G is a group and that H ≤ G . For a ∈ G the set aHis a left coset of H. Similarly, the set Ha is called a right coset ofH.
Example
Consider G = S3 and H = {e, (1, 2, 3), (1, 3, 2)}. Then(1, 2)H = {(1, 2), (2, 3), (1, 3)}(1, 2, 3)H = H.In fact, these are the only left cosets of H.
Kevin James MTHSC 412 Section 4.4 – Cosets of a subgroup
![Page 11: MTHSC 412 Section 4.4 -- Cosets of a subgroup · Lemma Suppose that H G. The distinct left cosets of H form a partition of G. Proof. Since e 2H, a 2aH for all a 2G. So, the left cosets](https://reader033.fdocuments.us/reader033/viewer/2022042218/5ec3fc96d874dc08717ac265/html5/thumbnails/11.jpg)
Lemma
Suppose that H ≤ G . The distinct left cosets of H form a partitionof G .
Proof.
Since e ∈ H, a ∈ aH for all a ∈ G .So, the left cosets of H are nonempty and their union is G .Now suppose that aH ∩ bH 6= ∅.Let c ∈ aH ∩ bH.Then there is h, k ∈ H such that ah = c = bkThus a = bkh−1 ∈ bH and b = ahk−1 ∈ aH.If ah′ ∈ aH then ah′ = bkh−1h′ ∈ bH.Thus aH ⊆ bH.Similarly, bH ⊆ aH. Thus aH = bH.Thus we have shown that aH ∩ bH 6= ∅ ⇒ aH = bH and thus thedistinct left cosets are pairwise disjoint.
Kevin James MTHSC 412 Section 4.4 – Cosets of a subgroup
![Page 12: MTHSC 412 Section 4.4 -- Cosets of a subgroup · Lemma Suppose that H G. The distinct left cosets of H form a partition of G. Proof. Since e 2H, a 2aH for all a 2G. So, the left cosets](https://reader033.fdocuments.us/reader033/viewer/2022042218/5ec3fc96d874dc08717ac265/html5/thumbnails/12.jpg)
Lemma
Suppose that H ≤ G . The distinct left cosets of H form a partitionof G .
Proof.
Since e ∈ H, a ∈ aH for all a ∈ G .
So, the left cosets of H are nonempty and their union is G .Now suppose that aH ∩ bH 6= ∅.Let c ∈ aH ∩ bH.Then there is h, k ∈ H such that ah = c = bkThus a = bkh−1 ∈ bH and b = ahk−1 ∈ aH.If ah′ ∈ aH then ah′ = bkh−1h′ ∈ bH.Thus aH ⊆ bH.Similarly, bH ⊆ aH. Thus aH = bH.Thus we have shown that aH ∩ bH 6= ∅ ⇒ aH = bH and thus thedistinct left cosets are pairwise disjoint.
Kevin James MTHSC 412 Section 4.4 – Cosets of a subgroup
![Page 13: MTHSC 412 Section 4.4 -- Cosets of a subgroup · Lemma Suppose that H G. The distinct left cosets of H form a partition of G. Proof. Since e 2H, a 2aH for all a 2G. So, the left cosets](https://reader033.fdocuments.us/reader033/viewer/2022042218/5ec3fc96d874dc08717ac265/html5/thumbnails/13.jpg)
Lemma
Suppose that H ≤ G . The distinct left cosets of H form a partitionof G .
Proof.
Since e ∈ H, a ∈ aH for all a ∈ G .So, the left cosets of H are nonempty and their union is G .
Now suppose that aH ∩ bH 6= ∅.Let c ∈ aH ∩ bH.Then there is h, k ∈ H such that ah = c = bkThus a = bkh−1 ∈ bH and b = ahk−1 ∈ aH.If ah′ ∈ aH then ah′ = bkh−1h′ ∈ bH.Thus aH ⊆ bH.Similarly, bH ⊆ aH. Thus aH = bH.Thus we have shown that aH ∩ bH 6= ∅ ⇒ aH = bH and thus thedistinct left cosets are pairwise disjoint.
Kevin James MTHSC 412 Section 4.4 – Cosets of a subgroup
![Page 14: MTHSC 412 Section 4.4 -- Cosets of a subgroup · Lemma Suppose that H G. The distinct left cosets of H form a partition of G. Proof. Since e 2H, a 2aH for all a 2G. So, the left cosets](https://reader033.fdocuments.us/reader033/viewer/2022042218/5ec3fc96d874dc08717ac265/html5/thumbnails/14.jpg)
Lemma
Suppose that H ≤ G . The distinct left cosets of H form a partitionof G .
Proof.
Since e ∈ H, a ∈ aH for all a ∈ G .So, the left cosets of H are nonempty and their union is G .Now suppose that aH ∩ bH 6= ∅.
Let c ∈ aH ∩ bH.Then there is h, k ∈ H such that ah = c = bkThus a = bkh−1 ∈ bH and b = ahk−1 ∈ aH.If ah′ ∈ aH then ah′ = bkh−1h′ ∈ bH.Thus aH ⊆ bH.Similarly, bH ⊆ aH. Thus aH = bH.Thus we have shown that aH ∩ bH 6= ∅ ⇒ aH = bH and thus thedistinct left cosets are pairwise disjoint.
Kevin James MTHSC 412 Section 4.4 – Cosets of a subgroup
![Page 15: MTHSC 412 Section 4.4 -- Cosets of a subgroup · Lemma Suppose that H G. The distinct left cosets of H form a partition of G. Proof. Since e 2H, a 2aH for all a 2G. So, the left cosets](https://reader033.fdocuments.us/reader033/viewer/2022042218/5ec3fc96d874dc08717ac265/html5/thumbnails/15.jpg)
Lemma
Suppose that H ≤ G . The distinct left cosets of H form a partitionof G .
Proof.
Since e ∈ H, a ∈ aH for all a ∈ G .So, the left cosets of H are nonempty and their union is G .Now suppose that aH ∩ bH 6= ∅.Let c ∈ aH ∩ bH.
Then there is h, k ∈ H such that ah = c = bkThus a = bkh−1 ∈ bH and b = ahk−1 ∈ aH.If ah′ ∈ aH then ah′ = bkh−1h′ ∈ bH.Thus aH ⊆ bH.Similarly, bH ⊆ aH. Thus aH = bH.Thus we have shown that aH ∩ bH 6= ∅ ⇒ aH = bH and thus thedistinct left cosets are pairwise disjoint.
Kevin James MTHSC 412 Section 4.4 – Cosets of a subgroup
![Page 16: MTHSC 412 Section 4.4 -- Cosets of a subgroup · Lemma Suppose that H G. The distinct left cosets of H form a partition of G. Proof. Since e 2H, a 2aH for all a 2G. So, the left cosets](https://reader033.fdocuments.us/reader033/viewer/2022042218/5ec3fc96d874dc08717ac265/html5/thumbnails/16.jpg)
Lemma
Suppose that H ≤ G . The distinct left cosets of H form a partitionof G .
Proof.
Since e ∈ H, a ∈ aH for all a ∈ G .So, the left cosets of H are nonempty and their union is G .Now suppose that aH ∩ bH 6= ∅.Let c ∈ aH ∩ bH.Then there is h, k ∈ H such that ah = c = bk
Thus a = bkh−1 ∈ bH and b = ahk−1 ∈ aH.If ah′ ∈ aH then ah′ = bkh−1h′ ∈ bH.Thus aH ⊆ bH.Similarly, bH ⊆ aH. Thus aH = bH.Thus we have shown that aH ∩ bH 6= ∅ ⇒ aH = bH and thus thedistinct left cosets are pairwise disjoint.
Kevin James MTHSC 412 Section 4.4 – Cosets of a subgroup
![Page 17: MTHSC 412 Section 4.4 -- Cosets of a subgroup · Lemma Suppose that H G. The distinct left cosets of H form a partition of G. Proof. Since e 2H, a 2aH for all a 2G. So, the left cosets](https://reader033.fdocuments.us/reader033/viewer/2022042218/5ec3fc96d874dc08717ac265/html5/thumbnails/17.jpg)
Lemma
Suppose that H ≤ G . The distinct left cosets of H form a partitionof G .
Proof.
Since e ∈ H, a ∈ aH for all a ∈ G .So, the left cosets of H are nonempty and their union is G .Now suppose that aH ∩ bH 6= ∅.Let c ∈ aH ∩ bH.Then there is h, k ∈ H such that ah = c = bkThus a = bkh−1 ∈ bH and b = ahk−1 ∈ aH.
If ah′ ∈ aH then ah′ = bkh−1h′ ∈ bH.Thus aH ⊆ bH.Similarly, bH ⊆ aH. Thus aH = bH.Thus we have shown that aH ∩ bH 6= ∅ ⇒ aH = bH and thus thedistinct left cosets are pairwise disjoint.
Kevin James MTHSC 412 Section 4.4 – Cosets of a subgroup
![Page 18: MTHSC 412 Section 4.4 -- Cosets of a subgroup · Lemma Suppose that H G. The distinct left cosets of H form a partition of G. Proof. Since e 2H, a 2aH for all a 2G. So, the left cosets](https://reader033.fdocuments.us/reader033/viewer/2022042218/5ec3fc96d874dc08717ac265/html5/thumbnails/18.jpg)
Lemma
Suppose that H ≤ G . The distinct left cosets of H form a partitionof G .
Proof.
Since e ∈ H, a ∈ aH for all a ∈ G .So, the left cosets of H are nonempty and their union is G .Now suppose that aH ∩ bH 6= ∅.Let c ∈ aH ∩ bH.Then there is h, k ∈ H such that ah = c = bkThus a = bkh−1 ∈ bH and b = ahk−1 ∈ aH.If ah′ ∈ aH then ah′ = bkh−1h′ ∈ bH.
Thus aH ⊆ bH.Similarly, bH ⊆ aH. Thus aH = bH.Thus we have shown that aH ∩ bH 6= ∅ ⇒ aH = bH and thus thedistinct left cosets are pairwise disjoint.
Kevin James MTHSC 412 Section 4.4 – Cosets of a subgroup
![Page 19: MTHSC 412 Section 4.4 -- Cosets of a subgroup · Lemma Suppose that H G. The distinct left cosets of H form a partition of G. Proof. Since e 2H, a 2aH for all a 2G. So, the left cosets](https://reader033.fdocuments.us/reader033/viewer/2022042218/5ec3fc96d874dc08717ac265/html5/thumbnails/19.jpg)
Lemma
Suppose that H ≤ G . The distinct left cosets of H form a partitionof G .
Proof.
Since e ∈ H, a ∈ aH for all a ∈ G .So, the left cosets of H are nonempty and their union is G .Now suppose that aH ∩ bH 6= ∅.Let c ∈ aH ∩ bH.Then there is h, k ∈ H such that ah = c = bkThus a = bkh−1 ∈ bH and b = ahk−1 ∈ aH.If ah′ ∈ aH then ah′ = bkh−1h′ ∈ bH.Thus aH ⊆ bH.
Similarly, bH ⊆ aH. Thus aH = bH.Thus we have shown that aH ∩ bH 6= ∅ ⇒ aH = bH and thus thedistinct left cosets are pairwise disjoint.
Kevin James MTHSC 412 Section 4.4 – Cosets of a subgroup
![Page 20: MTHSC 412 Section 4.4 -- Cosets of a subgroup · Lemma Suppose that H G. The distinct left cosets of H form a partition of G. Proof. Since e 2H, a 2aH for all a 2G. So, the left cosets](https://reader033.fdocuments.us/reader033/viewer/2022042218/5ec3fc96d874dc08717ac265/html5/thumbnails/20.jpg)
Lemma
Suppose that H ≤ G . The distinct left cosets of H form a partitionof G .
Proof.
Since e ∈ H, a ∈ aH for all a ∈ G .So, the left cosets of H are nonempty and their union is G .Now suppose that aH ∩ bH 6= ∅.Let c ∈ aH ∩ bH.Then there is h, k ∈ H such that ah = c = bkThus a = bkh−1 ∈ bH and b = ahk−1 ∈ aH.If ah′ ∈ aH then ah′ = bkh−1h′ ∈ bH.Thus aH ⊆ bH.Similarly, bH ⊆ aH. Thus aH = bH.
Thus we have shown that aH ∩ bH 6= ∅ ⇒ aH = bH and thus thedistinct left cosets are pairwise disjoint.
Kevin James MTHSC 412 Section 4.4 – Cosets of a subgroup
![Page 21: MTHSC 412 Section 4.4 -- Cosets of a subgroup · Lemma Suppose that H G. The distinct left cosets of H form a partition of G. Proof. Since e 2H, a 2aH for all a 2G. So, the left cosets](https://reader033.fdocuments.us/reader033/viewer/2022042218/5ec3fc96d874dc08717ac265/html5/thumbnails/21.jpg)
Lemma
Suppose that H ≤ G . The distinct left cosets of H form a partitionof G .
Proof.
Since e ∈ H, a ∈ aH for all a ∈ G .So, the left cosets of H are nonempty and their union is G .Now suppose that aH ∩ bH 6= ∅.Let c ∈ aH ∩ bH.Then there is h, k ∈ H such that ah = c = bkThus a = bkh−1 ∈ bH and b = ahk−1 ∈ aH.If ah′ ∈ aH then ah′ = bkh−1h′ ∈ bH.Thus aH ⊆ bH.Similarly, bH ⊆ aH. Thus aH = bH.Thus we have shown that aH ∩ bH 6= ∅ ⇒ aH = bH and thus thedistinct left cosets are pairwise disjoint.
Kevin James MTHSC 412 Section 4.4 – Cosets of a subgroup
![Page 22: MTHSC 412 Section 4.4 -- Cosets of a subgroup · Lemma Suppose that H G. The distinct left cosets of H form a partition of G. Proof. Since e 2H, a 2aH for all a 2G. So, the left cosets](https://reader033.fdocuments.us/reader033/viewer/2022042218/5ec3fc96d874dc08717ac265/html5/thumbnails/22.jpg)
Definition
Suppose that H ≤ G . The index of H in G is defined to be thenumber of distinct left cosets of H in G and is denoted by [G : H].
Example
Suppose that G = S3 and H = {e, (1, 2, 3), (1, 3, 2)}.We saw earlier that there are 2 distinct cosets of H in G .So, [G : H] = 2.
Kevin James MTHSC 412 Section 4.4 – Cosets of a subgroup
![Page 23: MTHSC 412 Section 4.4 -- Cosets of a subgroup · Lemma Suppose that H G. The distinct left cosets of H form a partition of G. Proof. Since e 2H, a 2aH for all a 2G. So, the left cosets](https://reader033.fdocuments.us/reader033/viewer/2022042218/5ec3fc96d874dc08717ac265/html5/thumbnails/23.jpg)
Definition
Suppose that H ≤ G . The index of H in G is defined to be thenumber of distinct left cosets of H in G and is denoted by [G : H].
Example
Suppose that G = S3 and H = {e, (1, 2, 3), (1, 3, 2)}.
We saw earlier that there are 2 distinct cosets of H in G .So, [G : H] = 2.
Kevin James MTHSC 412 Section 4.4 – Cosets of a subgroup
![Page 24: MTHSC 412 Section 4.4 -- Cosets of a subgroup · Lemma Suppose that H G. The distinct left cosets of H form a partition of G. Proof. Since e 2H, a 2aH for all a 2G. So, the left cosets](https://reader033.fdocuments.us/reader033/viewer/2022042218/5ec3fc96d874dc08717ac265/html5/thumbnails/24.jpg)
Definition
Suppose that H ≤ G . The index of H in G is defined to be thenumber of distinct left cosets of H in G and is denoted by [G : H].
Example
Suppose that G = S3 and H = {e, (1, 2, 3), (1, 3, 2)}.We saw earlier that there are 2 distinct cosets of H in G .
So, [G : H] = 2.
Kevin James MTHSC 412 Section 4.4 – Cosets of a subgroup
![Page 25: MTHSC 412 Section 4.4 -- Cosets of a subgroup · Lemma Suppose that H G. The distinct left cosets of H form a partition of G. Proof. Since e 2H, a 2aH for all a 2G. So, the left cosets](https://reader033.fdocuments.us/reader033/viewer/2022042218/5ec3fc96d874dc08717ac265/html5/thumbnails/25.jpg)
Definition
Suppose that H ≤ G . The index of H in G is defined to be thenumber of distinct left cosets of H in G and is denoted by [G : H].
Example
Suppose that G = S3 and H = {e, (1, 2, 3), (1, 3, 2)}.We saw earlier that there are 2 distinct cosets of H in G .So, [G : H] = 2.
Kevin James MTHSC 412 Section 4.4 – Cosets of a subgroup
![Page 26: MTHSC 412 Section 4.4 -- Cosets of a subgroup · Lemma Suppose that H G. The distinct left cosets of H form a partition of G. Proof. Since e 2H, a 2aH for all a 2G. So, the left cosets](https://reader033.fdocuments.us/reader033/viewer/2022042218/5ec3fc96d874dc08717ac265/html5/thumbnails/26.jpg)
Theorem (Lagrange’s Theorem)
If H ≤ G and if G is finite, then
|G | = [G : H]|H|.
Corollary
Suppose that G is a finite group and that g ∈ G . Then o(g)|#G .
Corollary
Suppose that G is a group and that |G | = p is prime. Then G iscyclic.
Kevin James MTHSC 412 Section 4.4 – Cosets of a subgroup
![Page 27: MTHSC 412 Section 4.4 -- Cosets of a subgroup · Lemma Suppose that H G. The distinct left cosets of H form a partition of G. Proof. Since e 2H, a 2aH for all a 2G. So, the left cosets](https://reader033.fdocuments.us/reader033/viewer/2022042218/5ec3fc96d874dc08717ac265/html5/thumbnails/27.jpg)
Theorem (Lagrange’s Theorem)
If H ≤ G and if G is finite, then
|G | = [G : H]|H|.
Corollary
Suppose that G is a finite group and that g ∈ G . Then o(g)|#G .
Corollary
Suppose that G is a group and that |G | = p is prime. Then G iscyclic.
Kevin James MTHSC 412 Section 4.4 – Cosets of a subgroup
![Page 28: MTHSC 412 Section 4.4 -- Cosets of a subgroup · Lemma Suppose that H G. The distinct left cosets of H form a partition of G. Proof. Since e 2H, a 2aH for all a 2G. So, the left cosets](https://reader033.fdocuments.us/reader033/viewer/2022042218/5ec3fc96d874dc08717ac265/html5/thumbnails/28.jpg)
Theorem (Lagrange’s Theorem)
If H ≤ G and if G is finite, then
|G | = [G : H]|H|.
Corollary
Suppose that G is a finite group and that g ∈ G . Then o(g)|#G .
Corollary
Suppose that G is a group and that |G | = p is prime. Then G iscyclic.
Kevin James MTHSC 412 Section 4.4 – Cosets of a subgroup