(New page: Category:MA453Spring2009Walther We need to show that left and right cosets agree. The left cosets of H are H and the complement of H, because there are 2 cosets and they must be disj...) |
|||
| (6 intermediate revisions by 2 users not shown) | |||
| Line 4: | Line 4: | ||
--[[User:Nswitzer|Nswitzer]] 17:08, 17 February 2009 (UTC) | --[[User:Nswitzer|Nswitzer]] 17:08, 17 February 2009 (UTC) | ||
| + | |||
| + | To elaborate a bit on this solution: | ||
| + | |||
| + | Index 2 means that there are exactly 2 distinct left cosets and 2 distinct right cosets of H in G. Furthermore, it means that |H| is half of |G|. In order to show that H is normal, we must show that xH = Hx. | ||
| + | |||
| + | Suppose x is an element of G that is also in H. Then xH = H because x is in H, so xH can only produce elements already in H. By the same logic, Hx = H. | ||
| + | |||
| + | If x is not an element of G, then xH is not in H. Therefore, xH must produce a different coset than the one above. Since there are only 2 distinct left cosets, this new coset must be exactly the elements in G but not in H, we call it H'. Using the same reasoning as above, we know that Hx = H'. | ||
| + | |||
| + | From these 2 conclusions, it is clear that for any x in G, xH = Hx, which is the definition of a normal subgroup. | ||
| + | |||
| + | --[[Ysuo|Ysuo]] | ||
| + | |||
| + | |||
| + | [[Category:MA453Spring2009Walther]] | ||
| + | |||
| + | Ah, makes a lot of sense. Thanks for the good explanation. | ||
| + | -[[strole|strole]] | ||
Latest revision as of 15:39, 19 February 2009
We need to show that left and right cosets agree. The left cosets of H are H and the complement of H, because there are 2 cosets and they must be disjoint. The same works for the right cosets. So they are equal.
--Nswitzer 17:08, 17 February 2009 (UTC)
To elaborate a bit on this solution:
Index 2 means that there are exactly 2 distinct left cosets and 2 distinct right cosets of H in G. Furthermore, it means that |H| is half of |G|. In order to show that H is normal, we must show that xH = Hx.
Suppose x is an element of G that is also in H. Then xH = H because x is in H, so xH can only produce elements already in H. By the same logic, Hx = H.
If x is not an element of G, then xH is not in H. Therefore, xH must produce a different coset than the one above. Since there are only 2 distinct left cosets, this new coset must be exactly the elements in G but not in H, we call it H'. Using the same reasoning as above, we know that Hx = H'.
From these 2 conclusions, it is clear that for any x in G, xH = Hx, which is the definition of a normal subgroup.
--Ysuo
Ah, makes a lot of sense. Thanks for the good explanation. -strole
