Left Coset by Identity

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $G$ be a group whose identity is $e$.

Let $H$ be a subgroup of $G$.


Then:

$e H = H$

where $e H$ is the left coset of $H$ by $e$.


Proof

We have:

\(\ds e H\) \(=\) \(\ds \set {y \in G: \exists h \in H: y = e h}\) Definition of Left Coset of $H$ by $e$
\(\ds \) \(=\) \(\ds \set {y \in G: \exists h \in H: y = h}\) Definition of Identity Element
\(\ds \) \(=\) \(\ds \set {y \in G: y \in H}\)
\(\ds \) \(=\) \(\ds H\)


So $e H = H$.

$\blacksquare$


Also see

This is consistent with the definition of the concept of coset by means of the subset product:

$e H = \set e H$



Sources