Element of Group is in its own Coset/Right

Theorem

Let $G$ be a group.

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

Let $x \in G$.

Let:

$H x$ be the right coset of $x$ modulo $H$.

Then:

$x \in H x$

Proof

Let $e$ be the identity of $G$.

Then:

\(\ds e\)

\(\in\)

\(\ds H\)

Identity of Subgroup

\(\ds x\)

\(=\)

\(\ds e x\)

Definition of Identity Element

\(\ds \leadsto \ \ \)

\(\ds \exists h \in H: \, \)

\(\ds x\)

\(=\)

\(\ds h x\)

Existential Generalisation

\(\ds \leadsto \ \ \)

\(\ds x\)

\(\in\)

\(\ds H x\)

Definition of Right Coset

$\blacksquare$

Also see

• Element of Group is in its own Left Coset

Sources

• 1978: Thomas A. Whitelaw: An Introduction to Abstract Algebra ... (previous) ... (next): $\S 42.5$ Another approach to cosets