Abstract Algebra/Group Theory/Subgroup/Subgroup Inherits Identity

< Abstract Algebra < Group Theory < Subgroup

Theorem

Let H be subgroup of Group G. Let $\ast$ be the binary operation of both H and G

H and G shares identity

0. Let e_H, e_G be identities of H and G respectively.
1. ${\color {OliveGreen}e_{H}}\ast {\color {OliveGreen}e_{H}}={\color {OliveGreen}e_{H}}$	e_H is identity of H (usage 1, 3)
2. ${\color {OliveGreen}e_{H}}\in H$	e_H is identity of H (usage 1)
3. $H\subseteq G$	H is subgroup of G
4. ${\color {OliveGreen}e_{H}}\in G$	2. and 3.
5. ${\color {OliveGreen}e_{H}}\ast {\color {Blue}e_{G}}={\color {OliveGreen}e_{H}}$	4. and e_G is identity of G (usage 3)
6. ${\color {OliveGreen}e_{H}}\ast {\color {Blue}e_{G}}={\color {OliveGreen}e_{H}}\ast {\color {OliveGreen}e_{H}}$	1. and 5.
7. ${\color {Blue}e_{G}}={\color {OliveGreen}e_{H}}$	cancellation on group G

This article is issued from Wikibooks. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.