Maths WorkshopMaths problems with full solutions
Exercise 969Algebra › GroupsL1Added 3 Nov 2026

The center of a group

#center#abelian#subgroup

Statement

Show that Z(G)={g∈G:gh=hg for all h∈G}Z(G)=\{g\in G:gh=hg\text{ for all }h\in G\} is an abelian normal subgroup of GG.

Hint

Show Z(G)Z(G) is a subgroup and that it commutes with all elements by definition.

Show solutionHide solution

Solution

Subgroup. e∈Z(G)e\in Z(G) trivially. If g1,g2∈Z(G)g_1,g_2\in Z(G) and h∈Gh\in G: (g1g2)h=g1hg2=hg1g2(g_1g_2)h=g_1hg_2=hg_1g_2 (using commutation of g2g_2, then of g1g_1). So g1g2∈Z(G)g_1g_2\in Z(G). If g∈Z(G)g\in Z(G), then gh=hggh=hg for all hh, so g−1h=hg−1g^{-1}h=hg^{-1} for all hh, hence g−1∈Z(G)g^{-1}\in Z(G).

Abelian. By definition, elements of Z(G)Z(G) commute with each other.

Normal. For g∈Z(G)g\in Z(G) and x∈Gx\in G: xgx−1=gxx−1=g∈Z(G)xgx^{-1}=gxx^{-1}=g\in Z(G).

Conclusion. Z(G)Z(G) is an abelian normal subgroup of GG.