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