Right Coset by Identity

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

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

Then:
 * $H = H e$

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

Proof
We have:

So $H = H e$.

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


 * $H e = H \left\{{e}\right\}$