# Can this situation arise for a subset of a group?

Let $(G, *)$ be a group, let $e_G$ be the identity in $G$, and let $H$ be a non-empty subset of $G$. Can it happen that $(H, *)$ be a group in its own right (with the same binary operation) but with an identity element $e_H$ that is different from $e_G$? Of course, our requirement is that $e_G$ is not in $H$, for otherwise $e_G$ will have to be the same as $e_H$.

No: For if we choose any $h \in H$, we see that

$$e_H h = h$$

Now by cancellation in $G$, we find that $e_H = e_G$.