Section 10 Cosets and the Theorem of Lagrange Instructor: Yifan - - PowerPoint PPT Presentation

section 10 cosets and the theorem of lagrange
SMART_READER_LITE
LIVE PREVIEW

Section 10 Cosets and the Theorem of Lagrange Instructor: Yifan - - PowerPoint PPT Presentation

Cosets Theorem of Lagrange Section 10 Cosets and the Theorem of Lagrange Instructor: Yifan Yang Fall 2006 Instructor: Yifan Yang Section 10 Cosets and the Theorem of Lagrange Cosets Theorem of Lagrange Outline Cosets 1 Theorem


slide-1
SLIDE 1

Cosets Theorem of Lagrange

Section 10 – Cosets and the Theorem of Lagrange

Instructor: Yifan Yang Fall 2006

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-2
SLIDE 2

Cosets Theorem of Lagrange

Outline

1

Cosets

2

Theorem of Lagrange

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-3
SLIDE 3

Cosets Theorem of Lagrange

Cosets

Theorem (10.1) Let H be a subgroup of G. Let the relation ∼L on G be defined by a ∼L b ⇔ a−1b ∈ H, and the relation ∼R be defined by a ∼R b ⇔ ab−1 ∈ H. Then ∼L and ∼R are both equivalence relations on G.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-4
SLIDE 4

Cosets Theorem of Lagrange

Cosets

Proof. Here we only prove the ∼R case. We need to show

1

Reflexive: We need to show that aa−1 is in H. We have aa−1 = e. Since H is a subgroup, H contains e = aa−1.

2

Summetric: We need to show that ab−1 ∈ H implies ba−1 ∈ H. Now ba−1 = (ab−1)−1. Because H is a subgroup, if ab−1 is in H, so is its inverse (ab−1)−1 = ba−1.

3

Transitive: We need to show that if ab−1, bc−1 ∈ H, then so is ac−1. We have ac−1 = (ab−1)(bc−1). Since H is a subgroup, if ac−1 and bc−1 are in H, so is their product (ab−1)(bc−1) = ac−1. This completes the proof.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-5
SLIDE 5

Cosets Theorem of Lagrange

Cosets

Proof. Here we only prove the ∼R case. We need to show

1

Reflexive: We need to show that aa−1 is in H. We have aa−1 = e. Since H is a subgroup, H contains e = aa−1.

2

Summetric: We need to show that ab−1 ∈ H implies ba−1 ∈ H. Now ba−1 = (ab−1)−1. Because H is a subgroup, if ab−1 is in H, so is its inverse (ab−1)−1 = ba−1.

3

Transitive: We need to show that if ab−1, bc−1 ∈ H, then so is ac−1. We have ac−1 = (ab−1)(bc−1). Since H is a subgroup, if ac−1 and bc−1 are in H, so is their product (ab−1)(bc−1) = ac−1. This completes the proof.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-6
SLIDE 6

Cosets Theorem of Lagrange

Cosets

Proof. Here we only prove the ∼R case. We need to show

1

Reflexive: We need to show that aa−1 is in H. We have aa−1 = e. Since H is a subgroup, H contains e = aa−1.

2

Summetric: We need to show that ab−1 ∈ H implies ba−1 ∈ H. Now ba−1 = (ab−1)−1. Because H is a subgroup, if ab−1 is in H, so is its inverse (ab−1)−1 = ba−1.

3

Transitive: We need to show that if ab−1, bc−1 ∈ H, then so is ac−1. We have ac−1 = (ab−1)(bc−1). Since H is a subgroup, if ac−1 and bc−1 are in H, so is their product (ab−1)(bc−1) = ac−1. This completes the proof.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-7
SLIDE 7

Cosets Theorem of Lagrange

Cosets

Proof. Here we only prove the ∼R case. We need to show

1

Reflexive: We need to show that aa−1 is in H. We have aa−1 = e. Since H is a subgroup, H contains e = aa−1.

2

Summetric: We need to show that ab−1 ∈ H implies ba−1 ∈ H. Now ba−1 = (ab−1)−1. Because H is a subgroup, if ab−1 is in H, so is its inverse (ab−1)−1 = ba−1.

3

Transitive: We need to show that if ab−1, bc−1 ∈ H, then so is ac−1. We have ac−1 = (ab−1)(bc−1). Since H is a subgroup, if ac−1 and bc−1 are in H, so is their product (ab−1)(bc−1) = ac−1. This completes the proof.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-8
SLIDE 8

Cosets Theorem of Lagrange

Cosets

Proof. Here we only prove the ∼R case. We need to show

1

Reflexive: We need to show that aa−1 is in H. We have aa−1 = e. Since H is a subgroup, H contains e = aa−1.

2

Summetric: We need to show that ab−1 ∈ H implies ba−1 ∈ H. Now ba−1 = (ab−1)−1. Because H is a subgroup, if ab−1 is in H, so is its inverse (ab−1)−1 = ba−1.

3

Transitive: We need to show that if ab−1, bc−1 ∈ H, then so is ac−1. We have ac−1 = (ab−1)(bc−1). Since H is a subgroup, if ac−1 and bc−1 are in H, so is their product (ab−1)(bc−1) = ac−1. This completes the proof.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-9
SLIDE 9

Cosets Theorem of Lagrange

Cosets

Proof. Here we only prove the ∼R case. We need to show

1

Reflexive: We need to show that aa−1 is in H. We have aa−1 = e. Since H is a subgroup, H contains e = aa−1.

2

Summetric: We need to show that ab−1 ∈ H implies ba−1 ∈ H. Now ba−1 = (ab−1)−1. Because H is a subgroup, if ab−1 is in H, so is its inverse (ab−1)−1 = ba−1.

3

Transitive: We need to show that if ab−1, bc−1 ∈ H, then so is ac−1. We have ac−1 = (ab−1)(bc−1). Since H is a subgroup, if ac−1 and bc−1 are in H, so is their product (ab−1)(bc−1) = ac−1. This completes the proof.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-10
SLIDE 10

Cosets Theorem of Lagrange

Cosets

Proof. Here we only prove the ∼R case. We need to show

1

Reflexive: We need to show that aa−1 is in H. We have aa−1 = e. Since H is a subgroup, H contains e = aa−1.

2

Summetric: We need to show that ab−1 ∈ H implies ba−1 ∈ H. Now ba−1 = (ab−1)−1. Because H is a subgroup, if ab−1 is in H, so is its inverse (ab−1)−1 = ba−1.

3

Transitive: We need to show that if ab−1, bc−1 ∈ H, then so is ac−1. We have ac−1 = (ab−1)(bc−1). Since H is a subgroup, if ac−1 and bc−1 are in H, so is their product (ab−1)(bc−1) = ac−1. This completes the proof.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-11
SLIDE 11

Cosets Theorem of Lagrange

Cosets

Proof. Here we only prove the ∼R case. We need to show

1

Reflexive: We need to show that aa−1 is in H. We have aa−1 = e. Since H is a subgroup, H contains e = aa−1.

2

Summetric: We need to show that ab−1 ∈ H implies ba−1 ∈ H. Now ba−1 = (ab−1)−1. Because H is a subgroup, if ab−1 is in H, so is its inverse (ab−1)−1 = ba−1.

3

Transitive: We need to show that if ab−1, bc−1 ∈ H, then so is ac−1. We have ac−1 = (ab−1)(bc−1). Since H is a subgroup, if ac−1 and bc−1 are in H, so is their product (ab−1)(bc−1) = ac−1. This completes the proof.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-12
SLIDE 12

Cosets Theorem of Lagrange

Cosets

Proof. Here we only prove the ∼R case. We need to show

1

Reflexive: We need to show that aa−1 is in H. We have aa−1 = e. Since H is a subgroup, H contains e = aa−1.

2

Summetric: We need to show that ab−1 ∈ H implies ba−1 ∈ H. Now ba−1 = (ab−1)−1. Because H is a subgroup, if ab−1 is in H, so is its inverse (ab−1)−1 = ba−1.

3

Transitive: We need to show that if ab−1, bc−1 ∈ H, then so is ac−1. We have ac−1 = (ab−1)(bc−1). Since H is a subgroup, if ac−1 and bc−1 are in H, so is their product (ab−1)(bc−1) = ac−1. This completes the proof.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-13
SLIDE 13

Cosets Theorem of Lagrange

Cosets

Proof. Here we only prove the ∼R case. We need to show

1

Reflexive: We need to show that aa−1 is in H. We have aa−1 = e. Since H is a subgroup, H contains e = aa−1.

2

Summetric: We need to show that ab−1 ∈ H implies ba−1 ∈ H. Now ba−1 = (ab−1)−1. Because H is a subgroup, if ab−1 is in H, so is its inverse (ab−1)−1 = ba−1.

3

Transitive: We need to show that if ab−1, bc−1 ∈ H, then so is ac−1. We have ac−1 = (ab−1)(bc−1). Since H is a subgroup, if ac−1 and bc−1 are in H, so is their product (ab−1)(bc−1) = ac−1. This completes the proof.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-14
SLIDE 14

Cosets Theorem of Lagrange

Cosets

Definition Let H be a subgroup of a group G. The equivalence class {b ∈ G : a ∼L b} is called the left coset of H containing a. Likewise, the equivalence class {b ∈ G : a ∼R b} is called the right coset of H containing a. Remark It is straightforward to see that the left coset of H containing a is exactly aH = {ah : h ∈ H}, and the right coset of H containing a is Ha = {ha : h ∈ H}. This is why ∼L is left and ∼R is right.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-15
SLIDE 15

Cosets Theorem of Lagrange

Cosets

Definition Let H be a subgroup of a group G. The equivalence class {b ∈ G : a ∼L b} is called the left coset of H containing a. Likewise, the equivalence class {b ∈ G : a ∼R b} is called the right coset of H containing a. Remark It is straightforward to see that the left coset of H containing a is exactly aH = {ah : h ∈ H}, and the right coset of H containing a is Ha = {ha : h ∈ H}. This is why ∼L is left and ∼R is right.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-16
SLIDE 16

Cosets Theorem of Lagrange

Cosets

Definition Let H be a subgroup of a group G. The equivalence class {b ∈ G : a ∼L b} is called the left coset of H containing a. Likewise, the equivalence class {b ∈ G : a ∼R b} is called the right coset of H containing a. Remark It is straightforward to see that the left coset of H containing a is exactly aH = {ah : h ∈ H}, and the right coset of H containing a is Ha = {ha : h ∈ H}. This is why ∼L is left and ∼R is right.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-17
SLIDE 17

Cosets Theorem of Lagrange

Cosets

Definition Let H be a subgroup of a group G. The equivalence class {b ∈ G : a ∼L b} is called the left coset of H containing a. Likewise, the equivalence class {b ∈ G : a ∼R b} is called the right coset of H containing a. Remark It is straightforward to see that the left coset of H containing a is exactly aH = {ah : h ∈ H}, and the right coset of H containing a is Ha = {ha : h ∈ H}. This is why ∼L is left and ∼R is right.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-18
SLIDE 18

Cosets Theorem of Lagrange

Examples

Let G = Z and H = 3Z. We have m ∼L n ⇔ (−m) + n ∈ H ⇔ 3|(n − m). Thus, a left coset of 3Z is just a residue class modulo 3. There are three distinct left cosets 3Z, 1 + 3Z, and 2 + 3Z. Similarly, we have m ∼R n ⇔ m + (−n) ∈ H ⇔ 3|(m − n). Again, we find that a right coset of 3Z is just a residue class modulo 3. In this case, we see that left cosets and right cosets are the same. Also, m + 3Z = 3Z + m for all m ∈ Z.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-19
SLIDE 19

Cosets Theorem of Lagrange

Examples

Let G = Z and H = 3Z. We have m ∼L n ⇔ (−m) + n ∈ H ⇔ 3|(n − m). Thus, a left coset of 3Z is just a residue class modulo 3. There are three distinct left cosets 3Z, 1 + 3Z, and 2 + 3Z. Similarly, we have m ∼R n ⇔ m + (−n) ∈ H ⇔ 3|(m − n). Again, we find that a right coset of 3Z is just a residue class modulo 3. In this case, we see that left cosets and right cosets are the same. Also, m + 3Z = 3Z + m for all m ∈ Z.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-20
SLIDE 20

Cosets Theorem of Lagrange

Examples

Let G = Z and H = 3Z. We have m ∼L n ⇔ (−m) + n ∈ H ⇔ 3|(n − m). Thus, a left coset of 3Z is just a residue class modulo 3. There are three distinct left cosets 3Z, 1 + 3Z, and 2 + 3Z. Similarly, we have m ∼R n ⇔ m + (−n) ∈ H ⇔ 3|(m − n). Again, we find that a right coset of 3Z is just a residue class modulo 3. In this case, we see that left cosets and right cosets are the same. Also, m + 3Z = 3Z + m for all m ∈ Z.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-21
SLIDE 21

Cosets Theorem of Lagrange

Examples

Let G = Z and H = 3Z. We have m ∼L n ⇔ (−m) + n ∈ H ⇔ 3|(n − m). Thus, a left coset of 3Z is just a residue class modulo 3. There are three distinct left cosets 3Z, 1 + 3Z, and 2 + 3Z. Similarly, we have m ∼R n ⇔ m + (−n) ∈ H ⇔ 3|(m − n). Again, we find that a right coset of 3Z is just a residue class modulo 3. In this case, we see that left cosets and right cosets are the same. Also, m + 3Z = 3Z + m for all m ∈ Z.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-22
SLIDE 22

Cosets Theorem of Lagrange

Examples

Let G = Z and H = 3Z. We have m ∼L n ⇔ (−m) + n ∈ H ⇔ 3|(n − m). Thus, a left coset of 3Z is just a residue class modulo 3. There are three distinct left cosets 3Z, 1 + 3Z, and 2 + 3Z. Similarly, we have m ∼R n ⇔ m + (−n) ∈ H ⇔ 3|(m − n). Again, we find that a right coset of 3Z is just a residue class modulo 3. In this case, we see that left cosets and right cosets are the same. Also, m + 3Z = 3Z + m for all m ∈ Z.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-23
SLIDE 23

Cosets Theorem of Lagrange

Examples

Let G = Z and H = 3Z. We have m ∼L n ⇔ (−m) + n ∈ H ⇔ 3|(n − m). Thus, a left coset of 3Z is just a residue class modulo 3. There are three distinct left cosets 3Z, 1 + 3Z, and 2 + 3Z. Similarly, we have m ∼R n ⇔ m + (−n) ∈ H ⇔ 3|(m − n). Again, we find that a right coset of 3Z is just a residue class modulo 3. In this case, we see that left cosets and right cosets are the same. Also, m + 3Z = 3Z + m for all m ∈ Z.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-24
SLIDE 24

Cosets Theorem of Lagrange

Examples

Let G = Z and H = 3Z. We have m ∼L n ⇔ (−m) + n ∈ H ⇔ 3|(n − m). Thus, a left coset of 3Z is just a residue class modulo 3. There are three distinct left cosets 3Z, 1 + 3Z, and 2 + 3Z. Similarly, we have m ∼R n ⇔ m + (−n) ∈ H ⇔ 3|(m − n). Again, we find that a right coset of 3Z is just a residue class modulo 3. In this case, we see that left cosets and right cosets are the same. Also, m + 3Z = 3Z + m for all m ∈ Z.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-25
SLIDE 25

Cosets Theorem of Lagrange

Examples

Let G = Z and H = 3Z. We have m ∼L n ⇔ (−m) + n ∈ H ⇔ 3|(n − m). Thus, a left coset of 3Z is just a residue class modulo 3. There are three distinct left cosets 3Z, 1 + 3Z, and 2 + 3Z. Similarly, we have m ∼R n ⇔ m + (−n) ∈ H ⇔ 3|(m − n). Again, we find that a right coset of 3Z is just a residue class modulo 3. In this case, we see that left cosets and right cosets are the same. Also, m + 3Z = 3Z + m for all m ∈ Z.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-26
SLIDE 26

Cosets Theorem of Lagrange

Examples

Let G = Z6 and H = {¯ 0, ¯ 3}. The left cosets are ¯ m + H for ¯ m ∈ Z6. We find that they are H = {¯ 0, ¯ 3}, ¯ 1 + H = {¯ 1, ¯ 4}, and ¯ 2 + H = {¯ 2, ¯ 5}. The right cosets are H + ¯

  • m. In this case, we

find that left cosets are also right cosets, and ¯ m + H = H + ¯ m.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-27
SLIDE 27

Cosets Theorem of Lagrange

Examples

Let G = Z6 and H = {¯ 0, ¯ 3}. The left cosets are ¯ m + H for ¯ m ∈ Z6. We find that they are H = {¯ 0, ¯ 3}, ¯ 1 + H = {¯ 1, ¯ 4}, and ¯ 2 + H = {¯ 2, ¯ 5}. The right cosets are H + ¯

  • m. In this case, we

find that left cosets are also right cosets, and ¯ m + H = H + ¯ m.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-28
SLIDE 28

Cosets Theorem of Lagrange

Examples

Let G = Z6 and H = {¯ 0, ¯ 3}. The left cosets are ¯ m + H for ¯ m ∈ Z6. We find that they are H = {¯ 0, ¯ 3}, ¯ 1 + H = {¯ 1, ¯ 4}, and ¯ 2 + H = {¯ 2, ¯ 5}. The right cosets are H + ¯

  • m. In this case, we

find that left cosets are also right cosets, and ¯ m + H = H + ¯ m.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-29
SLIDE 29

Cosets Theorem of Lagrange

Examples

Let G = Z6 and H = {¯ 0, ¯ 3}. The left cosets are ¯ m + H for ¯ m ∈ Z6. We find that they are H = {¯ 0, ¯ 3}, ¯ 1 + H = {¯ 1, ¯ 4}, and ¯ 2 + H = {¯ 2, ¯ 5}. The right cosets are H + ¯

  • m. In this case, we

find that left cosets are also right cosets, and ¯ m + H = H + ¯ m.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-30
SLIDE 30

Cosets Theorem of Lagrange

Examples

Let G = Z6 and H = {¯ 0, ¯ 3}. The left cosets are ¯ m + H for ¯ m ∈ Z6. We find that they are H = {¯ 0, ¯ 3}, ¯ 1 + H = {¯ 1, ¯ 4}, and ¯ 2 + H = {¯ 2, ¯ 5}. The right cosets are H + ¯

  • m. In this case, we

find that left cosets are also right cosets, and ¯ m + H = H + ¯ m.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-31
SLIDE 31

Cosets Theorem of Lagrange

Examples

Let G = S3 = {e, (1, 2), (1, 3), (2, 3), (1, 2, 3), (1, 3, 2)} and H = {e, (1, 2)}. The left cosets are H = {e, (1, 2)} itself, (1, 3)H = {(1, 3), (1, 3)(1, 2)} = {(1, 3), (1, 2, 3)}, and (2, 3)H = {(2, 3), (2, 3)(1, 2)} = {(2, 3), (1, 3, 2)}. The right cosets are H itselft, H(1, 3) = {(1, 3), (1, 2)(1, 3)} = {(1, 3), (1, 3, 2)}, and H(2, 3) = {(2, 3), (1, 2)(2, 3)} = {(2, 3), (1, 2, 3)}. In this case, we find (1, 3)H = H(1, 3) and (2, 3)H = H(2, 3). In fact, the subset (1, 3)H = {(1, 3), (1, 2, 3)} is a left coset, but not a right coset.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-32
SLIDE 32

Cosets Theorem of Lagrange

Examples

Let G = S3 = {e, (1, 2), (1, 3), (2, 3), (1, 2, 3), (1, 3, 2)} and H = {e, (1, 2)}. The left cosets are H = {e, (1, 2)} itself, (1, 3)H = {(1, 3), (1, 3)(1, 2)} = {(1, 3), (1, 2, 3)}, and (2, 3)H = {(2, 3), (2, 3)(1, 2)} = {(2, 3), (1, 3, 2)}. The right cosets are H itselft, H(1, 3) = {(1, 3), (1, 2)(1, 3)} = {(1, 3), (1, 3, 2)}, and H(2, 3) = {(2, 3), (1, 2)(2, 3)} = {(2, 3), (1, 2, 3)}. In this case, we find (1, 3)H = H(1, 3) and (2, 3)H = H(2, 3). In fact, the subset (1, 3)H = {(1, 3), (1, 2, 3)} is a left coset, but not a right coset.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-33
SLIDE 33

Cosets Theorem of Lagrange

Examples

Let G = S3 = {e, (1, 2), (1, 3), (2, 3), (1, 2, 3), (1, 3, 2)} and H = {e, (1, 2)}. The left cosets are H = {e, (1, 2)} itself, (1, 3)H = {(1, 3), (1, 3)(1, 2)} = {(1, 3), (1, 2, 3)}, and (2, 3)H = {(2, 3), (2, 3)(1, 2)} = {(2, 3), (1, 3, 2)}. The right cosets are H itselft, H(1, 3) = {(1, 3), (1, 2)(1, 3)} = {(1, 3), (1, 3, 2)}, and H(2, 3) = {(2, 3), (1, 2)(2, 3)} = {(2, 3), (1, 2, 3)}. In this case, we find (1, 3)H = H(1, 3) and (2, 3)H = H(2, 3). In fact, the subset (1, 3)H = {(1, 3), (1, 2, 3)} is a left coset, but not a right coset.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-34
SLIDE 34

Cosets Theorem of Lagrange

Examples

Let G = S3 = {e, (1, 2), (1, 3), (2, 3), (1, 2, 3), (1, 3, 2)} and H = {e, (1, 2)}. The left cosets are H = {e, (1, 2)} itself, (1, 3)H = {(1, 3), (1, 3)(1, 2)} = {(1, 3), (1, 2, 3)}, and (2, 3)H = {(2, 3), (2, 3)(1, 2)} = {(2, 3), (1, 3, 2)}. The right cosets are H itselft, H(1, 3) = {(1, 3), (1, 2)(1, 3)} = {(1, 3), (1, 3, 2)}, and H(2, 3) = {(2, 3), (1, 2)(2, 3)} = {(2, 3), (1, 2, 3)}. In this case, we find (1, 3)H = H(1, 3) and (2, 3)H = H(2, 3). In fact, the subset (1, 3)H = {(1, 3), (1, 2, 3)} is a left coset, but not a right coset.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-35
SLIDE 35

Cosets Theorem of Lagrange

Examples

Let G = S3 = {e, (1, 2), (1, 3), (2, 3), (1, 2, 3), (1, 3, 2)} and H = {e, (1, 2)}. The left cosets are H = {e, (1, 2)} itself, (1, 3)H = {(1, 3), (1, 3)(1, 2)} = {(1, 3), (1, 2, 3)}, and (2, 3)H = {(2, 3), (2, 3)(1, 2)} = {(2, 3), (1, 3, 2)}. The right cosets are H itselft, H(1, 3) = {(1, 3), (1, 2)(1, 3)} = {(1, 3), (1, 3, 2)}, and H(2, 3) = {(2, 3), (1, 2)(2, 3)} = {(2, 3), (1, 2, 3)}. In this case, we find (1, 3)H = H(1, 3) and (2, 3)H = H(2, 3). In fact, the subset (1, 3)H = {(1, 3), (1, 2, 3)} is a left coset, but not a right coset.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-36
SLIDE 36

Cosets Theorem of Lagrange

Examples

Let G = S3 = {e, (1, 2), (1, 3), (2, 3), (1, 2, 3), (1, 3, 2)} and H = {e, (1, 2)}. The left cosets are H = {e, (1, 2)} itself, (1, 3)H = {(1, 3), (1, 3)(1, 2)} = {(1, 3), (1, 2, 3)}, and (2, 3)H = {(2, 3), (2, 3)(1, 2)} = {(2, 3), (1, 3, 2)}. The right cosets are H itselft, H(1, 3) = {(1, 3), (1, 2)(1, 3)} = {(1, 3), (1, 3, 2)}, and H(2, 3) = {(2, 3), (1, 2)(2, 3)} = {(2, 3), (1, 2, 3)}. In this case, we find (1, 3)H = H(1, 3) and (2, 3)H = H(2, 3). In fact, the subset (1, 3)H = {(1, 3), (1, 2, 3)} is a left coset, but not a right coset.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-37
SLIDE 37

Cosets Theorem of Lagrange

Examples

Let G = S3 = {e, (1, 2), (1, 3), (2, 3), (1, 2, 3), (1, 3, 2)} and H = {e, (1, 2)}. The left cosets are H = {e, (1, 2)} itself, (1, 3)H = {(1, 3), (1, 3)(1, 2)} = {(1, 3), (1, 2, 3)}, and (2, 3)H = {(2, 3), (2, 3)(1, 2)} = {(2, 3), (1, 3, 2)}. The right cosets are H itselft, H(1, 3) = {(1, 3), (1, 2)(1, 3)} = {(1, 3), (1, 3, 2)}, and H(2, 3) = {(2, 3), (1, 2)(2, 3)} = {(2, 3), (1, 2, 3)}. In this case, we find (1, 3)H = H(1, 3) and (2, 3)H = H(2, 3). In fact, the subset (1, 3)H = {(1, 3), (1, 2, 3)} is a left coset, but not a right coset.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-38
SLIDE 38

Cosets Theorem of Lagrange

Examples

Let G = S3 = {e, (1, 2), (1, 3), (2, 3), (1, 2, 3), (1, 3, 2)} and H = {e, (1, 2)}. The left cosets are H = {e, (1, 2)} itself, (1, 3)H = {(1, 3), (1, 3)(1, 2)} = {(1, 3), (1, 2, 3)}, and (2, 3)H = {(2, 3), (2, 3)(1, 2)} = {(2, 3), (1, 3, 2)}. The right cosets are H itselft, H(1, 3) = {(1, 3), (1, 2)(1, 3)} = {(1, 3), (1, 3, 2)}, and H(2, 3) = {(2, 3), (1, 2)(2, 3)} = {(2, 3), (1, 2, 3)}. In this case, we find (1, 3)H = H(1, 3) and (2, 3)H = H(2, 3). In fact, the subset (1, 3)H = {(1, 3), (1, 2, 3)} is a left coset, but not a right coset.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-39
SLIDE 39

Cosets Theorem of Lagrange

Examples

Let G = S3 = {e, (1, 2), (1, 3), (2, 3), (1, 2, 3), (1, 3, 2)} and H = {e, (1, 2)}. The left cosets are H = {e, (1, 2)} itself, (1, 3)H = {(1, 3), (1, 3)(1, 2)} = {(1, 3), (1, 2, 3)}, and (2, 3)H = {(2, 3), (2, 3)(1, 2)} = {(2, 3), (1, 3, 2)}. The right cosets are H itselft, H(1, 3) = {(1, 3), (1, 2)(1, 3)} = {(1, 3), (1, 3, 2)}, and H(2, 3) = {(2, 3), (1, 2)(2, 3)} = {(2, 3), (1, 2, 3)}. In this case, we find (1, 3)H = H(1, 3) and (2, 3)H = H(2, 3). In fact, the subset (1, 3)H = {(1, 3), (1, 2, 3)} is a left coset, but not a right coset.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-40
SLIDE 40

Cosets Theorem of Lagrange

Examples

Let G = S3 and H = {e, (1, 2, 3), (1, 2, 3)2 = (1, 3, 2)}. The left cosets are H itself and (1, 2)H = {(1, 2), (1, 2)(1, 2, 3), (1, 2)(1, 3, 2)} = {(1, 2), (2, 3), (1, 3)}. The right cosets are H and H(1, 2) = {(1, 2), (1, 2, 3)(1, 2), (1, 3, 2)(1, 2)} = {(1, 2), (1, 3), (2, 3)}. In this case, we find that each left coset is also a right coset and σH = Hσ for all σ ∈ S3.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-41
SLIDE 41

Cosets Theorem of Lagrange

Examples

Let G = S3 and H = {e, (1, 2, 3), (1, 2, 3)2 = (1, 3, 2)}. The left cosets are H itself and (1, 2)H = {(1, 2), (1, 2)(1, 2, 3), (1, 2)(1, 3, 2)} = {(1, 2), (2, 3), (1, 3)}. The right cosets are H and H(1, 2) = {(1, 2), (1, 2, 3)(1, 2), (1, 3, 2)(1, 2)} = {(1, 2), (1, 3), (2, 3)}. In this case, we find that each left coset is also a right coset and σH = Hσ for all σ ∈ S3.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-42
SLIDE 42

Cosets Theorem of Lagrange

Examples

Let G = S3 and H = {e, (1, 2, 3), (1, 2, 3)2 = (1, 3, 2)}. The left cosets are H itself and (1, 2)H = {(1, 2), (1, 2)(1, 2, 3), (1, 2)(1, 3, 2)} = {(1, 2), (2, 3), (1, 3)}. The right cosets are H and H(1, 2) = {(1, 2), (1, 2, 3)(1, 2), (1, 3, 2)(1, 2)} = {(1, 2), (1, 3), (2, 3)}. In this case, we find that each left coset is also a right coset and σH = Hσ for all σ ∈ S3.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-43
SLIDE 43

Cosets Theorem of Lagrange

Examples

Let G = S3 and H = {e, (1, 2, 3), (1, 2, 3)2 = (1, 3, 2)}. The left cosets are H itself and (1, 2)H = {(1, 2), (1, 2)(1, 2, 3), (1, 2)(1, 3, 2)} = {(1, 2), (2, 3), (1, 3)}. The right cosets are H and H(1, 2) = {(1, 2), (1, 2, 3)(1, 2), (1, 3, 2)(1, 2)} = {(1, 2), (1, 3), (2, 3)}. In this case, we find that each left coset is also a right coset and σH = Hσ for all σ ∈ S3.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-44
SLIDE 44

Cosets Theorem of Lagrange

Remark

1

If a group G is abelian and H is a subgroup, then each left coset is also right coset. In fact, we have aH = {ah : h ∈ H} = {ha : h ∈ H} = Ha. In this case, we simply call a left or right coset a coset.

2

If H is a subgroup of a non-abelian group G, then a left coset of H may or may not be a right coset of H.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-45
SLIDE 45

Cosets Theorem of Lagrange

Remark

1

If a group G is abelian and H is a subgroup, then each left coset is also right coset. In fact, we have aH = {ah : h ∈ H} = {ha : h ∈ H} = Ha. In this case, we simply call a left or right coset a coset.

2

If H is a subgroup of a non-abelian group G, then a left coset of H may or may not be a right coset of H.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-46
SLIDE 46

Cosets Theorem of Lagrange

In-class exercises

1

Let G = Z12 and H = ¯

  • 3. Find all the cosets of H.

2

Recall that the 4-th dihedral group D4 is given by {e, σ, σ2, σ3, τ, στ, σ2τ, σ3τ}, where σ and τ satisfy σ4 = τ 2 = e and στ = τσ3. Let G = D4 and H = {e, τ}. Find all the left cosets of H.

3

Let G = D4 and H = {e, τ}. Find all the right cosets of H.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-47
SLIDE 47

Cosets Theorem of Lagrange

Theorem of Lagrange

Lemma Let H be a subgroup of a finite group G. Then every coset (either left or right) has the same number of elements as H Proof. Let a ∈ G. We will prove |H| = |aH| by constructing a

  • ne-to-one and onto function from H to aH. A natural function

to consider is φ : H → aH defined by φ(h) = ah for all h ∈ H. We verify that it is

1

  • ne-to-one: Suppose that φ(h1) = φ(h2). Then ah1 = ah2.

By the left cancellation law, it implies that h1 = h2. Thus φ is one-to-one.

2

  • nto: It is obvious from the definition of aH.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-48
SLIDE 48

Cosets Theorem of Lagrange

Theorem of Lagrange

Lemma Let H be a subgroup of a finite group G. Then every coset (either left or right) has the same number of elements as H Proof. Let a ∈ G. We will prove |H| = |aH| by constructing a

  • ne-to-one and onto function from H to aH. A natural function

to consider is φ : H → aH defined by φ(h) = ah for all h ∈ H. We verify that it is

1

  • ne-to-one: Suppose that φ(h1) = φ(h2). Then ah1 = ah2.

By the left cancellation law, it implies that h1 = h2. Thus φ is one-to-one.

2

  • nto: It is obvious from the definition of aH.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-49
SLIDE 49

Cosets Theorem of Lagrange

Theorem of Lagrange

Lemma Let H be a subgroup of a finite group G. Then every coset (either left or right) has the same number of elements as H Proof. Let a ∈ G. We will prove |H| = |aH| by constructing a

  • ne-to-one and onto function from H to aH. A natural function

to consider is φ : H → aH defined by φ(h) = ah for all h ∈ H. We verify that it is

1

  • ne-to-one: Suppose that φ(h1) = φ(h2). Then ah1 = ah2.

By the left cancellation law, it implies that h1 = h2. Thus φ is one-to-one.

2

  • nto: It is obvious from the definition of aH.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-50
SLIDE 50

Cosets Theorem of Lagrange

Theorem of Lagrange

Lemma Let H be a subgroup of a finite group G. Then every coset (either left or right) has the same number of elements as H Proof. Let a ∈ G. We will prove |H| = |aH| by constructing a

  • ne-to-one and onto function from H to aH. A natural function

to consider is φ : H → aH defined by φ(h) = ah for all h ∈ H. We verify that it is

1

  • ne-to-one: Suppose that φ(h1) = φ(h2). Then ah1 = ah2.

By the left cancellation law, it implies that h1 = h2. Thus φ is one-to-one.

2

  • nto: It is obvious from the definition of aH.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-51
SLIDE 51

Cosets Theorem of Lagrange

Theorem of Lagrange

Lemma Let H be a subgroup of a finite group G. Then every coset (either left or right) has the same number of elements as H Proof. Let a ∈ G. We will prove |H| = |aH| by constructing a

  • ne-to-one and onto function from H to aH. A natural function

to consider is φ : H → aH defined by φ(h) = ah for all h ∈ H. We verify that it is

1

  • ne-to-one: Suppose that φ(h1) = φ(h2). Then ah1 = ah2.

By the left cancellation law, it implies that h1 = h2. Thus φ is one-to-one.

2

  • nto: It is obvious from the definition of aH.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-52
SLIDE 52

Cosets Theorem of Lagrange

Theorem of Lagrange

Lemma Let H be a subgroup of a finite group G. Then every coset (either left or right) has the same number of elements as H Proof. Let a ∈ G. We will prove |H| = |aH| by constructing a

  • ne-to-one and onto function from H to aH. A natural function

to consider is φ : H → aH defined by φ(h) = ah for all h ∈ H. We verify that it is

1

  • ne-to-one: Suppose that φ(h1) = φ(h2). Then ah1 = ah2.

By the left cancellation law, it implies that h1 = h2. Thus φ is one-to-one.

2

  • nto: It is obvious from the definition of aH.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-53
SLIDE 53

Cosets Theorem of Lagrange

Theorem of Lagrange

Theorem (10.10, Theorem of Lagrange) Let H be a subgroup of a finite group G. Then the order of H divides the order of G. Proof. Since ∼L is an equivalence relation, the left cosets of H form a partition of G (i.e., each element of G is in exactly one of the cells). By the above lemma, each left coset contains the same number of elements as H. Thus |G| = |H| × (the number of left cosets). This proves the theorem.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-54
SLIDE 54

Cosets Theorem of Lagrange

Theorem of Lagrange

Theorem (10.10, Theorem of Lagrange) Let H be a subgroup of a finite group G. Then the order of H divides the order of G. Proof. Since ∼L is an equivalence relation, the left cosets of H form a partition of G (i.e., each element of G is in exactly one of the cells). By the above lemma, each left coset contains the same number of elements as H. Thus |G| = |H| × (the number of left cosets). This proves the theorem.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-55
SLIDE 55

Cosets Theorem of Lagrange

The Lagrange theorem

Theorem (10.12) The order of an element of a finite group divides the order of the group. Proof. Let a ∈ G. Apply the Lagrange theorem to H = a. We have |a|

  • |G|.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-56
SLIDE 56

Cosets Theorem of Lagrange

The Lagrange theorem

Theorem (10.12) The order of an element of a finite group divides the order of the group. Proof. Let a ∈ G. Apply the Lagrange theorem to H = a. We have |a|

  • |G|.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-57
SLIDE 57

Cosets Theorem of Lagrange

Corollary 10.11 Every group of prime order is cyclic. Proof. Let g ∈ G be an element not equal to e. Then |g| divides the

  • rder of G. Since |G| is a prime, either |g| = 1 or |G|. The

former case can not occur because g = e. Then |g| = |G| implies g = G, i.e., G is cyclic.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-58
SLIDE 58

Cosets Theorem of Lagrange

Corollary 10.11 Every group of prime order is cyclic. Proof. Let g ∈ G be an element not equal to e. Then |g| divides the

  • rder of G. Since |G| is a prime, either |g| = 1 or |G|. The

former case can not occur because g = e. Then |g| = |G| implies g = G, i.e., G is cyclic.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-59
SLIDE 59

Cosets Theorem of Lagrange

Index

Definition Let H be a subgroup of a group G. The number of left cosets of H is the index of H in G, and is denoted by (G : H). Theorem (10.14) Suppose that H and K are subgroups of a group G such that K ≤ H ≤ G. Suppose that (G : H) and (H : K) are finite. Then (G : K) is also finite and (G : K) = (G : H)(H : K). Proof. Exercise 38.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-60
SLIDE 60

Cosets Theorem of Lagrange

Index

Definition Let H be a subgroup of a group G. The number of left cosets of H is the index of H in G, and is denoted by (G : H). Theorem (10.14) Suppose that H and K are subgroups of a group G such that K ≤ H ≤ G. Suppose that (G : H) and (H : K) are finite. Then (G : K) is also finite and (G : K) = (G : H)(H : K). Proof. Exercise 38.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-61
SLIDE 61

Cosets Theorem of Lagrange

Index

Definition Let H be a subgroup of a group G. The number of left cosets of H is the index of H in G, and is denoted by (G : H). Theorem (10.14) Suppose that H and K are subgroups of a group G such that K ≤ H ≤ G. Suppose that (G : H) and (H : K) are finite. Then (G : K) is also finite and (G : K) = (G : H)(H : K). Proof. Exercise 38.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-62
SLIDE 62

Cosets Theorem of Lagrange

Applications

Find all the subgroups of S3.

  • Solution. Since |S3| = 6, by the Lagrange theorem, the possible
  • rders of a subgroup H are 1, 2, 3, and 6.

1

Case |H| = 1: H = {e}.

2

Case |H| = 2: Since every group of order 2 is isomorphic to the cyclic group Z2, H = σ for some elements σ of

  • rder 2. There are three such elements, namely, (1, 2),

(1, 3), and (2, 3). Thus, there are three subgroups of order

  • 2. They are {e, (1, 2)}, {e, (1, 3)}, and {e, (2, 3)}.

3

Case |H| = 3: By the same token, every subgroup of order 3 is cyclic. There are two elements of order 3, namely, (1, 2, 3) and (1, 3, 2). They both generate {e, (1, 2, 3), (1, 3, 2)}.

4

Case |H| = 6: In this case, H = S3. Thus, we see that S3 has 6 subgroups.

  • Instructor: Yifan Yang

Section 10 – Cosets and the Theorem of Lagrange

slide-63
SLIDE 63

Cosets Theorem of Lagrange

Applications

Find all the subgroups of S3.

  • Solution. Since |S3| = 6, by the Lagrange theorem, the possible
  • rders of a subgroup H are 1, 2, 3, and 6.

1

Case |H| = 1: H = {e}.

2

Case |H| = 2: Since every group of order 2 is isomorphic to the cyclic group Z2, H = σ for some elements σ of

  • rder 2. There are three such elements, namely, (1, 2),

(1, 3), and (2, 3). Thus, there are three subgroups of order

  • 2. They are {e, (1, 2)}, {e, (1, 3)}, and {e, (2, 3)}.

3

Case |H| = 3: By the same token, every subgroup of order 3 is cyclic. There are two elements of order 3, namely, (1, 2, 3) and (1, 3, 2). They both generate {e, (1, 2, 3), (1, 3, 2)}.

4

Case |H| = 6: In this case, H = S3. Thus, we see that S3 has 6 subgroups.

  • Instructor: Yifan Yang

Section 10 – Cosets and the Theorem of Lagrange

slide-64
SLIDE 64

Cosets Theorem of Lagrange

Applications

Find all the subgroups of S3.

  • Solution. Since |S3| = 6, by the Lagrange theorem, the possible
  • rders of a subgroup H are 1, 2, 3, and 6.

1

Case |H| = 1: H = {e}.

2

Case |H| = 2: Since every group of order 2 is isomorphic to the cyclic group Z2, H = σ for some elements σ of

  • rder 2. There are three such elements, namely, (1, 2),

(1, 3), and (2, 3). Thus, there are three subgroups of order

  • 2. They are {e, (1, 2)}, {e, (1, 3)}, and {e, (2, 3)}.

3

Case |H| = 3: By the same token, every subgroup of order 3 is cyclic. There are two elements of order 3, namely, (1, 2, 3) and (1, 3, 2). They both generate {e, (1, 2, 3), (1, 3, 2)}.

4

Case |H| = 6: In this case, H = S3. Thus, we see that S3 has 6 subgroups.

  • Instructor: Yifan Yang

Section 10 – Cosets and the Theorem of Lagrange

slide-65
SLIDE 65

Cosets Theorem of Lagrange

Applications

Find all the subgroups of S3.

  • Solution. Since |S3| = 6, by the Lagrange theorem, the possible
  • rders of a subgroup H are 1, 2, 3, and 6.

1

Case |H| = 1: H = {e}.

2

Case |H| = 2: Since every group of order 2 is isomorphic to the cyclic group Z2, H = σ for some elements σ of

  • rder 2. There are three such elements, namely, (1, 2),

(1, 3), and (2, 3). Thus, there are three subgroups of order

  • 2. They are {e, (1, 2)}, {e, (1, 3)}, and {e, (2, 3)}.

3

Case |H| = 3: By the same token, every subgroup of order 3 is cyclic. There are two elements of order 3, namely, (1, 2, 3) and (1, 3, 2). They both generate {e, (1, 2, 3), (1, 3, 2)}.

4

Case |H| = 6: In this case, H = S3. Thus, we see that S3 has 6 subgroups.

  • Instructor: Yifan Yang

Section 10 – Cosets and the Theorem of Lagrange

slide-66
SLIDE 66

Cosets Theorem of Lagrange

Applications

Find all the subgroups of S3.

  • Solution. Since |S3| = 6, by the Lagrange theorem, the possible
  • rders of a subgroup H are 1, 2, 3, and 6.

1

Case |H| = 1: H = {e}.

2

Case |H| = 2: Since every group of order 2 is isomorphic to the cyclic group Z2, H = σ for some elements σ of

  • rder 2. There are three such elements, namely, (1, 2),

(1, 3), and (2, 3). Thus, there are three subgroups of order

  • 2. They are {e, (1, 2)}, {e, (1, 3)}, and {e, (2, 3)}.

3

Case |H| = 3: By the same token, every subgroup of order 3 is cyclic. There are two elements of order 3, namely, (1, 2, 3) and (1, 3, 2). They both generate {e, (1, 2, 3), (1, 3, 2)}.

4

Case |H| = 6: In this case, H = S3. Thus, we see that S3 has 6 subgroups.

  • Instructor: Yifan Yang

Section 10 – Cosets and the Theorem of Lagrange

slide-67
SLIDE 67

Cosets Theorem of Lagrange

Applications

Find all the subgroups of S3.

  • Solution. Since |S3| = 6, by the Lagrange theorem, the possible
  • rders of a subgroup H are 1, 2, 3, and 6.

1

Case |H| = 1: H = {e}.

2

Case |H| = 2: Since every group of order 2 is isomorphic to the cyclic group Z2, H = σ for some elements σ of

  • rder 2. There are three such elements, namely, (1, 2),

(1, 3), and (2, 3). Thus, there are three subgroups of order

  • 2. They are {e, (1, 2)}, {e, (1, 3)}, and {e, (2, 3)}.

3

Case |H| = 3: By the same token, every subgroup of order 3 is cyclic. There are two elements of order 3, namely, (1, 2, 3) and (1, 3, 2). They both generate {e, (1, 2, 3), (1, 3, 2)}.

4

Case |H| = 6: In this case, H = S3. Thus, we see that S3 has 6 subgroups.

  • Instructor: Yifan Yang

Section 10 – Cosets and the Theorem of Lagrange

slide-68
SLIDE 68

Cosets Theorem of Lagrange

Applications

Find all the subgroups of S3.

  • Solution. Since |S3| = 6, by the Lagrange theorem, the possible
  • rders of a subgroup H are 1, 2, 3, and 6.

1

Case |H| = 1: H = {e}.

2

Case |H| = 2: Since every group of order 2 is isomorphic to the cyclic group Z2, H = σ for some elements σ of

  • rder 2. There are three such elements, namely, (1, 2),

(1, 3), and (2, 3). Thus, there are three subgroups of order

  • 2. They are {e, (1, 2)}, {e, (1, 3)}, and {e, (2, 3)}.

3

Case |H| = 3: By the same token, every subgroup of order 3 is cyclic. There are two elements of order 3, namely, (1, 2, 3) and (1, 3, 2). They both generate {e, (1, 2, 3), (1, 3, 2)}.

4

Case |H| = 6: In this case, H = S3. Thus, we see that S3 has 6 subgroups.

  • Instructor: Yifan Yang

Section 10 – Cosets and the Theorem of Lagrange

slide-69
SLIDE 69

Cosets Theorem of Lagrange

Applications

Find all the subgroups of S3.

  • Solution. Since |S3| = 6, by the Lagrange theorem, the possible
  • rders of a subgroup H are 1, 2, 3, and 6.

1

Case |H| = 1: H = {e}.

2

Case |H| = 2: Since every group of order 2 is isomorphic to the cyclic group Z2, H = σ for some elements σ of

  • rder 2. There are three such elements, namely, (1, 2),

(1, 3), and (2, 3). Thus, there are three subgroups of order

  • 2. They are {e, (1, 2)}, {e, (1, 3)}, and {e, (2, 3)}.

3

Case |H| = 3: By the same token, every subgroup of order 3 is cyclic. There are two elements of order 3, namely, (1, 2, 3) and (1, 3, 2). They both generate {e, (1, 2, 3), (1, 3, 2)}.

4

Case |H| = 6: In this case, H = S3. Thus, we see that S3 has 6 subgroups.

  • Instructor: Yifan Yang

Section 10 – Cosets and the Theorem of Lagrange

slide-70
SLIDE 70

Cosets Theorem of Lagrange

Applications

Find all the subgroups of S3.

  • Solution. Since |S3| = 6, by the Lagrange theorem, the possible
  • rders of a subgroup H are 1, 2, 3, and 6.

1

Case |H| = 1: H = {e}.

2

Case |H| = 2: Since every group of order 2 is isomorphic to the cyclic group Z2, H = σ for some elements σ of

  • rder 2. There are three such elements, namely, (1, 2),

(1, 3), and (2, 3). Thus, there are three subgroups of order

  • 2. They are {e, (1, 2)}, {e, (1, 3)}, and {e, (2, 3)}.

3

Case |H| = 3: By the same token, every subgroup of order 3 is cyclic. There are two elements of order 3, namely, (1, 2, 3) and (1, 3, 2). They both generate {e, (1, 2, 3), (1, 3, 2)}.

4

Case |H| = 6: In this case, H = S3. Thus, we see that S3 has 6 subgroups.

  • Instructor: Yifan Yang

Section 10 – Cosets and the Theorem of Lagrange

slide-71
SLIDE 71

Cosets Theorem of Lagrange

Applications

Find all the subgroups of S3.

  • Solution. Since |S3| = 6, by the Lagrange theorem, the possible
  • rders of a subgroup H are 1, 2, 3, and 6.

1

Case |H| = 1: H = {e}.

2

Case |H| = 2: Since every group of order 2 is isomorphic to the cyclic group Z2, H = σ for some elements σ of

  • rder 2. There are three such elements, namely, (1, 2),

(1, 3), and (2, 3). Thus, there are three subgroups of order

  • 2. They are {e, (1, 2)}, {e, (1, 3)}, and {e, (2, 3)}.

3

Case |H| = 3: By the same token, every subgroup of order 3 is cyclic. There are two elements of order 3, namely, (1, 2, 3) and (1, 3, 2). They both generate {e, (1, 2, 3), (1, 3, 2)}.

4

Case |H| = 6: In this case, H = S3. Thus, we see that S3 has 6 subgroups.

  • Instructor: Yifan Yang

Section 10 – Cosets and the Theorem of Lagrange

slide-72
SLIDE 72

Cosets Theorem of Lagrange

Applications

Find all the subgroups of S3.

  • Solution. Since |S3| = 6, by the Lagrange theorem, the possible
  • rders of a subgroup H are 1, 2, 3, and 6.

1

Case |H| = 1: H = {e}.

2

Case |H| = 2: Since every group of order 2 is isomorphic to the cyclic group Z2, H = σ for some elements σ of

  • rder 2. There are three such elements, namely, (1, 2),

(1, 3), and (2, 3). Thus, there are three subgroups of order

  • 2. They are {e, (1, 2)}, {e, (1, 3)}, and {e, (2, 3)}.

3

Case |H| = 3: By the same token, every subgroup of order 3 is cyclic. There are two elements of order 3, namely, (1, 2, 3) and (1, 3, 2). They both generate {e, (1, 2, 3), (1, 3, 2)}.

4

Case |H| = 6: In this case, H = S3. Thus, we see that S3 has 6 subgroups.

  • Instructor: Yifan Yang

Section 10 – Cosets and the Theorem of Lagrange

slide-73
SLIDE 73

Cosets Theorem of Lagrange

Applications

Find all the subgroups of S3.

  • Solution. Since |S3| = 6, by the Lagrange theorem, the possible
  • rders of a subgroup H are 1, 2, 3, and 6.

1

Case |H| = 1: H = {e}.

2

Case |H| = 2: Since every group of order 2 is isomorphic to the cyclic group Z2, H = σ for some elements σ of

  • rder 2. There are three such elements, namely, (1, 2),

(1, 3), and (2, 3). Thus, there are three subgroups of order

  • 2. They are {e, (1, 2)}, {e, (1, 3)}, and {e, (2, 3)}.

3

Case |H| = 3: By the same token, every subgroup of order 3 is cyclic. There are two elements of order 3, namely, (1, 2, 3) and (1, 3, 2). They both generate {e, (1, 2, 3), (1, 3, 2)}.

4

Case |H| = 6: In this case, H = S3. Thus, we see that S3 has 6 subgroups.

  • Instructor: Yifan Yang

Section 10 – Cosets and the Theorem of Lagrange

slide-74
SLIDE 74

Cosets Theorem of Lagrange

Applications

Find all the subgroups of D4 = {e, σ, σ2, σ3, τ, στ, σ2τ, σ3τ}.

  • Solutions. The possible orders are 1, 2, 4, and 8.

1

Case |H| = 1: We have H = {e}.

2

Case |H| = 2: Again H = g for some elements g of order

  • 2. There are 5 elements of order 2. They are σ2, τ, στ,

σ2τ, and σ3τ. That is, there are 5 subgroups of order 2.

3

Case |H| = 4: Groups of order 4 are either isomorphic to the cyclic group Z4, or the non-cyclic group Z∗

8, ·, where

Z∗

8 = {¯

1, ¯ 3, ¯ 5, ¯ 7}. There are two elements in D4 that have

  • rder 4. They are σ and σ3. They generate the same

subgroup σ of order 4. It remains to consider the subgroups that are isomorphic to Z∗

  • 8. We will continue on

the next slide.

4

Case |H| = 8: We have H = D4.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-75
SLIDE 75

Cosets Theorem of Lagrange

Applications

Find all the subgroups of D4 = {e, σ, σ2, σ3, τ, στ, σ2τ, σ3τ}.

  • Solutions. The possible orders are 1, 2, 4, and 8.

1

Case |H| = 1: We have H = {e}.

2

Case |H| = 2: Again H = g for some elements g of order

  • 2. There are 5 elements of order 2. They are σ2, τ, στ,

σ2τ, and σ3τ. That is, there are 5 subgroups of order 2.

3

Case |H| = 4: Groups of order 4 are either isomorphic to the cyclic group Z4, or the non-cyclic group Z∗

8, ·, where

Z∗

8 = {¯

1, ¯ 3, ¯ 5, ¯ 7}. There are two elements in D4 that have

  • rder 4. They are σ and σ3. They generate the same

subgroup σ of order 4. It remains to consider the subgroups that are isomorphic to Z∗

  • 8. We will continue on

the next slide.

4

Case |H| = 8: We have H = D4.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-76
SLIDE 76

Cosets Theorem of Lagrange

Applications

Find all the subgroups of D4 = {e, σ, σ2, σ3, τ, στ, σ2τ, σ3τ}.

  • Solutions. The possible orders are 1, 2, 4, and 8.

1

Case |H| = 1: We have H = {e}.

2

Case |H| = 2: Again H = g for some elements g of order

  • 2. There are 5 elements of order 2. They are σ2, τ, στ,

σ2τ, and σ3τ. That is, there are 5 subgroups of order 2.

3

Case |H| = 4: Groups of order 4 are either isomorphic to the cyclic group Z4, or the non-cyclic group Z∗

8, ·, where

Z∗

8 = {¯

1, ¯ 3, ¯ 5, ¯ 7}. There are two elements in D4 that have

  • rder 4. They are σ and σ3. They generate the same

subgroup σ of order 4. It remains to consider the subgroups that are isomorphic to Z∗

  • 8. We will continue on

the next slide.

4

Case |H| = 8: We have H = D4.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-77
SLIDE 77

Cosets Theorem of Lagrange

Applications

Find all the subgroups of D4 = {e, σ, σ2, σ3, τ, στ, σ2τ, σ3τ}.

  • Solutions. The possible orders are 1, 2, 4, and 8.

1

Case |H| = 1: We have H = {e}.

2

Case |H| = 2: Again H = g for some elements g of order

  • 2. There are 5 elements of order 2. They are σ2, τ, στ,

σ2τ, and σ3τ. That is, there are 5 subgroups of order 2.

3

Case |H| = 4: Groups of order 4 are either isomorphic to the cyclic group Z4, or the non-cyclic group Z∗

8, ·, where

Z∗

8 = {¯

1, ¯ 3, ¯ 5, ¯ 7}. There are two elements in D4 that have

  • rder 4. They are σ and σ3. They generate the same

subgroup σ of order 4. It remains to consider the subgroups that are isomorphic to Z∗

  • 8. We will continue on

the next slide.

4

Case |H| = 8: We have H = D4.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-78
SLIDE 78

Cosets Theorem of Lagrange

Applications

Find all the subgroups of D4 = {e, σ, σ2, σ3, τ, στ, σ2τ, σ3τ}.

  • Solutions. The possible orders are 1, 2, 4, and 8.

1

Case |H| = 1: We have H = {e}.

2

Case |H| = 2: Again H = g for some elements g of order

  • 2. There are 5 elements of order 2. They are σ2, τ, στ,

σ2τ, and σ3τ. That is, there are 5 subgroups of order 2.

3

Case |H| = 4: Groups of order 4 are either isomorphic to the cyclic group Z4, or the non-cyclic group Z∗

8, ·, where

Z∗

8 = {¯

1, ¯ 3, ¯ 5, ¯ 7}. There are two elements in D4 that have

  • rder 4. They are σ and σ3. They generate the same

subgroup σ of order 4. It remains to consider the subgroups that are isomorphic to Z∗

  • 8. We will continue on

the next slide.

4

Case |H| = 8: We have H = D4.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-79
SLIDE 79

Cosets Theorem of Lagrange

Applications

Find all the subgroups of D4 = {e, σ, σ2, σ3, τ, στ, σ2τ, σ3τ}.

  • Solutions. The possible orders are 1, 2, 4, and 8.

1

Case |H| = 1: We have H = {e}.

2

Case |H| = 2: Again H = g for some elements g of order

  • 2. There are 5 elements of order 2. They are σ2, τ, στ,

σ2τ, and σ3τ. That is, there are 5 subgroups of order 2.

3

Case |H| = 4: Groups of order 4 are either isomorphic to the cyclic group Z4, or the non-cyclic group Z∗

8, ·, where

Z∗

8 = {¯

1, ¯ 3, ¯ 5, ¯ 7}. There are two elements in D4 that have

  • rder 4. They are σ and σ3. They generate the same

subgroup σ of order 4. It remains to consider the subgroups that are isomorphic to Z∗

  • 8. We will continue on

the next slide.

4

Case |H| = 8: We have H = D4.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-80
SLIDE 80

Cosets Theorem of Lagrange

Applications

Find all the subgroups of D4 = {e, σ, σ2, σ3, τ, στ, σ2τ, σ3τ}.

  • Solutions. The possible orders are 1, 2, 4, and 8.

1

Case |H| = 1: We have H = {e}.

2

Case |H| = 2: Again H = g for some elements g of order

  • 2. There are 5 elements of order 2. They are σ2, τ, στ,

σ2τ, and σ3τ. That is, there are 5 subgroups of order 2.

3

Case |H| = 4: Groups of order 4 are either isomorphic to the cyclic group Z4, or the non-cyclic group Z∗

8, ·, where

Z∗

8 = {¯

1, ¯ 3, ¯ 5, ¯ 7}. There are two elements in D4 that have

  • rder 4. They are σ and σ3. They generate the same

subgroup σ of order 4. It remains to consider the subgroups that are isomorphic to Z∗

  • 8. We will continue on

the next slide.

4

Case |H| = 8: We have H = D4.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-81
SLIDE 81

Cosets Theorem of Lagrange

Applications

Find all the subgroups of D4 = {e, σ, σ2, σ3, τ, στ, σ2τ, σ3τ}.

  • Solutions. The possible orders are 1, 2, 4, and 8.

1

Case |H| = 1: We have H = {e}.

2

Case |H| = 2: Again H = g for some elements g of order

  • 2. There are 5 elements of order 2. They are σ2, τ, στ,

σ2τ, and σ3τ. That is, there are 5 subgroups of order 2.

3

Case |H| = 4: Groups of order 4 are either isomorphic to the cyclic group Z4, or the non-cyclic group Z∗

8, ·, where

Z∗

8 = {¯

1, ¯ 3, ¯ 5, ¯ 7}. There are two elements in D4 that have

  • rder 4. They are σ and σ3. They generate the same

subgroup σ of order 4. It remains to consider the subgroups that are isomorphic to Z∗

  • 8. We will continue on

the next slide.

4

Case |H| = 8: We have H = D4.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-82
SLIDE 82

Cosets Theorem of Lagrange

Applications

Find all the subgroups of D4 = {e, σ, σ2, σ3, τ, στ, σ2τ, σ3τ}.

  • Solutions. The possible orders are 1, 2, 4, and 8.

1

Case |H| = 1: We have H = {e}.

2

Case |H| = 2: Again H = g for some elements g of order

  • 2. There are 5 elements of order 2. They are σ2, τ, στ,

σ2τ, and σ3τ. That is, there are 5 subgroups of order 2.

3

Case |H| = 4: Groups of order 4 are either isomorphic to the cyclic group Z4, or the non-cyclic group Z∗

8, ·, where

Z∗

8 = {¯

1, ¯ 3, ¯ 5, ¯ 7}. There are two elements in D4 that have

  • rder 4. They are σ and σ3. They generate the same

subgroup σ of order 4. It remains to consider the subgroups that are isomorphic to Z∗

  • 8. We will continue on

the next slide.

4

Case |H| = 8: We have H = D4.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-83
SLIDE 83

Cosets Theorem of Lagrange

Applications

Find all the subgroups of D4 = {e, σ, σ2, σ3, τ, στ, σ2τ, σ3τ}.

  • Solutions. The possible orders are 1, 2, 4, and 8.

1

Case |H| = 1: We have H = {e}.

2

Case |H| = 2: Again H = g for some elements g of order

  • 2. There are 5 elements of order 2. They are σ2, τ, στ,

σ2τ, and σ3τ. That is, there are 5 subgroups of order 2.

3

Case |H| = 4: Groups of order 4 are either isomorphic to the cyclic group Z4, or the non-cyclic group Z∗

8, ·, where

Z∗

8 = {¯

1, ¯ 3, ¯ 5, ¯ 7}. There are two elements in D4 that have

  • rder 4. They are σ and σ3. They generate the same

subgroup σ of order 4. It remains to consider the subgroups that are isomorphic to Z∗

  • 8. We will continue on

the next slide.

4

Case |H| = 8: We have H = D4.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-84
SLIDE 84

Cosets Theorem of Lagrange

Applications

Find all the subgroups of D4 = {e, σ, σ2, σ3, τ, στ, σ2τ, σ3τ}.

  • Solutions. The possible orders are 1, 2, 4, and 8.

1

Case |H| = 1: We have H = {e}.

2

Case |H| = 2: Again H = g for some elements g of order

  • 2. There are 5 elements of order 2. They are σ2, τ, στ,

σ2τ, and σ3τ. That is, there are 5 subgroups of order 2.

3

Case |H| = 4: Groups of order 4 are either isomorphic to the cyclic group Z4, or the non-cyclic group Z∗

8, ·, where

Z∗

8 = {¯

1, ¯ 3, ¯ 5, ¯ 7}. There are two elements in D4 that have

  • rder 4. They are σ and σ3. They generate the same

subgroup σ of order 4. It remains to consider the subgroups that are isomorphic to Z∗

  • 8. We will continue on

the next slide.

4

Case |H| = 8: We have H = D4.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-85
SLIDE 85

Cosets Theorem of Lagrange

Applications

Note that a group isomorphic to Z∗

8 can be written as

{e, a, b, ab} where a2 = b2 = e and ab = ba. Thus, we are looking for two elements a and b of order 2 in D4 that satisfies ab = ba. There are 5 elements of order 2. They are σ2, τ, στ, σ2τ, and σ3τ. Consider case by case. We find the following pairs (a, b) satisfy ab = ba: (σ2, τ), (σ2, στ), (σ2, σ2τ), (σ2, σ3τ), (τ, σ2τ), and (στ, σ3τ). The subgroups they generate are {e, σ2, τ, σ2τ} and {e, σ2, στ, σ3τ}.

  • Conclusion. There are 10 subgroups in D4. One has order 1, 5

has order 2, 1 is cyclic of order 4, two are non-cyclic of order 4, and one is D4 itself. The subgroup diagram is given on Page 80.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-86
SLIDE 86

Cosets Theorem of Lagrange

Applications

Note that a group isomorphic to Z∗

8 can be written as

{e, a, b, ab} where a2 = b2 = e and ab = ba. Thus, we are looking for two elements a and b of order 2 in D4 that satisfies ab = ba. There are 5 elements of order 2. They are σ2, τ, στ, σ2τ, and σ3τ. Consider case by case. We find the following pairs (a, b) satisfy ab = ba: (σ2, τ), (σ2, στ), (σ2, σ2τ), (σ2, σ3τ), (τ, σ2τ), and (στ, σ3τ). The subgroups they generate are {e, σ2, τ, σ2τ} and {e, σ2, στ, σ3τ}.

  • Conclusion. There are 10 subgroups in D4. One has order 1, 5

has order 2, 1 is cyclic of order 4, two are non-cyclic of order 4, and one is D4 itself. The subgroup diagram is given on Page 80.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-87
SLIDE 87

Cosets Theorem of Lagrange

Applications

Note that a group isomorphic to Z∗

8 can be written as

{e, a, b, ab} where a2 = b2 = e and ab = ba. Thus, we are looking for two elements a and b of order 2 in D4 that satisfies ab = ba. There are 5 elements of order 2. They are σ2, τ, στ, σ2τ, and σ3τ. Consider case by case. We find the following pairs (a, b) satisfy ab = ba: (σ2, τ), (σ2, στ), (σ2, σ2τ), (σ2, σ3τ), (τ, σ2τ), and (στ, σ3τ). The subgroups they generate are {e, σ2, τ, σ2τ} and {e, σ2, στ, σ3τ}.

  • Conclusion. There are 10 subgroups in D4. One has order 1, 5

has order 2, 1 is cyclic of order 4, two are non-cyclic of order 4, and one is D4 itself. The subgroup diagram is given on Page 80.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-88
SLIDE 88

Cosets Theorem of Lagrange

Applications

Note that a group isomorphic to Z∗

8 can be written as

{e, a, b, ab} where a2 = b2 = e and ab = ba. Thus, we are looking for two elements a and b of order 2 in D4 that satisfies ab = ba. There are 5 elements of order 2. They are σ2, τ, στ, σ2τ, and σ3τ. Consider case by case. We find the following pairs (a, b) satisfy ab = ba: (σ2, τ), (σ2, στ), (σ2, σ2τ), (σ2, σ3τ), (τ, σ2τ), and (στ, σ3τ). The subgroups they generate are {e, σ2, τ, σ2τ} and {e, σ2, στ, σ3τ}.

  • Conclusion. There are 10 subgroups in D4. One has order 1, 5

has order 2, 1 is cyclic of order 4, two are non-cyclic of order 4, and one is D4 itself. The subgroup diagram is given on Page 80.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-89
SLIDE 89

Cosets Theorem of Lagrange

Applications

Note that a group isomorphic to Z∗

8 can be written as

{e, a, b, ab} where a2 = b2 = e and ab = ba. Thus, we are looking for two elements a and b of order 2 in D4 that satisfies ab = ba. There are 5 elements of order 2. They are σ2, τ, στ, σ2τ, and σ3τ. Consider case by case. We find the following pairs (a, b) satisfy ab = ba: (σ2, τ), (σ2, στ), (σ2, σ2τ), (σ2, σ3τ), (τ, σ2τ), and (στ, σ3τ). The subgroups they generate are {e, σ2, τ, σ2τ} and {e, σ2, στ, σ3τ}.

  • Conclusion. There are 10 subgroups in D4. One has order 1, 5

has order 2, 1 is cyclic of order 4, two are non-cyclic of order 4, and one is D4 itself. The subgroup diagram is given on Page 80.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-90
SLIDE 90

Cosets Theorem of Lagrange

Applications

Note that a group isomorphic to Z∗

8 can be written as

{e, a, b, ab} where a2 = b2 = e and ab = ba. Thus, we are looking for two elements a and b of order 2 in D4 that satisfies ab = ba. There are 5 elements of order 2. They are σ2, τ, στ, σ2τ, and σ3τ. Consider case by case. We find the following pairs (a, b) satisfy ab = ba: (σ2, τ), (σ2, στ), (σ2, σ2τ), (σ2, σ3τ), (τ, σ2τ), and (στ, σ3τ). The subgroups they generate are {e, σ2, τ, σ2τ} and {e, σ2, στ, σ3τ}.

  • Conclusion. There are 10 subgroups in D4. One has order 1, 5

has order 2, 1 is cyclic of order 4, two are non-cyclic of order 4, and one is D4 itself. The subgroup diagram is given on Page 80.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-91
SLIDE 91

Cosets Theorem of Lagrange

Applications

Note that a group isomorphic to Z∗

8 can be written as

{e, a, b, ab} where a2 = b2 = e and ab = ba. Thus, we are looking for two elements a and b of order 2 in D4 that satisfies ab = ba. There are 5 elements of order 2. They are σ2, τ, στ, σ2τ, and σ3τ. Consider case by case. We find the following pairs (a, b) satisfy ab = ba: (σ2, τ), (σ2, στ), (σ2, σ2τ), (σ2, σ3τ), (τ, σ2τ), and (στ, σ3τ). The subgroups they generate are {e, σ2, τ, σ2τ} and {e, σ2, στ, σ3τ}.

  • Conclusion. There are 10 subgroups in D4. One has order 1, 5

has order 2, 1 is cyclic of order 4, two are non-cyclic of order 4, and one is D4 itself. The subgroup diagram is given on Page 80.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange

slide-92
SLIDE 92

Cosets Theorem of Lagrange

Homework

Do Problems 4, 6, 12, 16, 28, 29, 32, 33, 35, 38, 39, 40 of Section 10.

Instructor: Yifan Yang Section 10 – Cosets and the Theorem of Lagrange