Abstract Algebra/Group Theory/Subgroup/Intersection of Subgroups is a Subgroup
Jump to navigation
Jump to search
Theorem[edit | edit source]
Let H1, H2, ... Hn be subgroups of Group G with operation
- with is a subgroup of Group G
Proof[edit | edit source]
[edit | edit source]
with is a Group [edit | edit source]
Closure[edit | edit source]
Associativity[edit | edit source]
8. is associative on G. Group G's operation is 9. 3. 10. is associative on 8. and 9.
Identity[edit | edit source]
11. and Subgroup H1 and H2 inherit identity from G 12. eG is identity of G, 13. and 9. 14. has identity eG definition of identity
Inverse[edit | edit source]
15. Choose 16. , , and 17. gH1−1 in H1, and gH2−1 in H2. G, H1, and H2 are groups 18. 19. G and H1 shares identity e 20. gH1−1 is inverse of g in G 19. and definition of inverse 21. Let gG−1 be inverse of g has in G 22. gG−1 = gH1−1 inverse is unique 22. gG−1 = gH2−1 similar to 21. 23. 24. g has inverse g−1 in