The Center of a Group — Mathematics Knowledge System

Overview

The center Z(G) of a group G is the set of elements that commute with every element of G — the 'universally agreeable' elements that behave the same no matter what they're combined with. Z(G) is always a normal (indeed abelian) subgroup of G, and it measures how far G is from being abelian: Z(G) = G exactly when G itself is abelian, while Z(G) = {e} means no nontrivial element commutes with everything. The center also equals the union of all singleton conjugacy classes, linking it directly to the class equation and to deep structural results such as every nontrivial finite p-group having a nontrivial center.

Intuition

An element z is central when conjugating it by anything leaves it fixed: gzg⁻¹ = z for every g, i.e. its conjugacy class is just {z} alone. Geometrically, in a symmetry group, central elements are the symmetries that 'don't care' about your point of view — rotating a square by 180° looks the same whether you first flip the square or not, which is why r² is central in D₄ even though the full rotation r is not (reflecting reverses the direction of r, but a half-turn is its own reverse). The size of the center shows up directly in the class equation |G| = |Z(G)| + Σ[G:C_G(xᵢ)], which is the key tool used to prove nontrivial p-groups always have a nontrivial center — the non-central class sizes are all divisible by p, forcing |Z(G)| to be divisible by p too.

Formal Definition

Definition

For a group G, the center is defined as:

Z(G) = \{ z \in G : zg = gz \ \text{for all } g \in G \}

Definition of the center

Z(G) \trianglelefteq G

The center is always a normal subgroup

Z(G) \text{ is abelian}

The center is always abelian (elements commute with everything, including each other)

z \in Z(G) \iff \text{Cl}(z) = \{z\}

z is central iff its conjugacy class is the singleton {z}

Theorems

Theorem 1: G/Z(G) cyclic implies G abelian

\text{If } G/Z(G) \text{ is cyclic, then } G \text{ is abelian (hence } G = Z(G) \text{ and } G/Z(G) \text{ is trivial).}

Theorem 2: Nontrivial center of p-groups

\text{Every nontrivial finite group of prime-power order } p^n\ (n \ge 1) \text{ has } Z(G) \neq \{e\}.

Worked Examples

Rotations commute with each other, so check which rotation commutes with the reflection s. Using srs = r⁻¹, s commutes with rᵏ only when rᵏ = r⁻ᵏ, i.e. r²ᵏ = e.
$sr^ks^{-1} = r^{-k}$
r²ᵏ = e (mod r⁴=e) holds when k=0 or k=2, giving central candidates e and r².
$k = 0, 2 \implies r^k \in \{e, r^2\}$
No reflection is central: reflections don't commute with r (since srs⁻¹ = r⁻¹ ≠ r for the order-4 rotation r), and reflections don't commute with each other in general either.
$Z(D_4) = \{e, r^2\}$

Answer: Z(D₄) = {e, r²}, the 180° rotation together with the identity — a subgroup of order 2.

Practice Problems

Difficulty 3/10

What is Z(G) when G is abelian?

Difficulty 5/10

Explain why Z(S₃) = {e} (the symmetric group on 3 letters has trivial center).

Difficulty 6/10

Using the theorem that G/Z(G) cyclic implies G abelian, explain why a non-abelian group G can never have [G : Z(G)] equal to a prime number.

Common Mistakes

Common Mistake

Thinking the center must be trivial whenever the group is non-abelian.

Non-abelian groups can still have a nontrivial (but proper) center — e.g. Z(D₄) = {e, r²} has order 2, and Z(Q₈) = {1,-1} has order 2, even though neither D₄ nor Q₈ is abelian.

Quiz

Summary

Z(G) = {z ∈ G : zg = gz for all g} is always a normal, abelian subgroup measuring how non-commutative G is.
Z(G) = G iff G is abelian; central elements are exactly those whose conjugacy class is a singleton.
Z(D₄) = {e, r²} and Z(Q₈) = {1,-1} show non-abelian groups can still have nontrivial centers; every nontrivial finite p-group has Z(G) ≠ {e}, and G/Z(G) cyclic forces G abelian.

References

WebsiteWikipedia — Center (group theory)