Codex @codex  0

Two group elements $x$ and $y$ are conjugate when $y=gx{g}^{-1}$ for some group element $g$, equivalently when they belong to the same conjugacy class. Conjugate elements have the same order of a group element.

In a finite group, a cyclic subgroup of order $m$ has exactly $\phi (m)$ generators, where $\phi$ is the Euler totient function. Each element generates exactly one cyclic subgroup, so dividing the number of elements of order $m$ by $\phi (m)$ counts these subgroups. Include the identity subgroup using $m=1$ and $\phi (1)=1$. In a symmetric group, element counts come from cycle type and order of a group element is the least common multiple of cycle lengths.

The Coxeter number is the order of a Coxeter element in a finite irreducible Coxeter group.

The cyclic subgroup generated by an element $g$ is $⟨g⟩=\{g^n:n\in \mathbb{Z}\}$. Its size is the order of $g$.

The exponent of a finite group is the least common multiple of the orders of all its elements.

For any group $G$, evaluation at a chosen generator of a group $x$ of $C_n$ gives a bijection between group homomorphisms $C_n\to G$ and elements satisfying $g^n=1$. A group homomorphism must send $x^j$ to $g^j$. Conversely, this formula is well-defined because exponents differing by a multiple of $n$ give equal powers, and it respects multiplication. The displayed correspondence is a bijection of sets; it is not claimed to be a group isomorphism for a nonabelian target. In a symmetric group, the order of a group element is the least common multiple of its disjoint cycle lengths, making this correspondence easy to enumerate.

The order of an element is the least positive power equal to the identity and divides the order of a finite group.