Identity is Only Group Element of Order 1
Jump to navigation
Jump to search
Theorem
In every group, the identity, and only the identity, has order $1$.
Proof
Let $G$ be a group with identity $e$.
Then:
- $e^1 = e$
and:
- $\forall a \in G: a \ne e: a^1 = a \ne e$.
Hence the result.
$\blacksquare$
Sources
- 1964: Walter Ledermann: Introduction to the Theory of Finite Groups (5th ed.) ... (previous) ... (next): $\S 8$: Chapter $\text {I}$: The Group Concept: The Order (Period) of an Element: $\text{(i)}$
- 1965: J.A. Green: Sets and Groups ... (previous) ... (next): $\S 5.4$. Cyclic groups: Example $101$
- 1978: Thomas A. Whitelaw: An Introduction to Abstract Algebra ... (previous) ... (next): $\S 38.1$ Period of an element