If you find any mistakes, please make a comment! Thank you.

## Every normalizer contains the group center

Solution to Abstract Algebra by Dummit & Foote 3rd edition Chapter 2.2 Exercise 2.2.11

Let $G$ be a group. Prove that $Z(G) \leq N_G(A)$ for any subset $A \subseteq G$.

Solution: If $A = \emptyset$, the statement is vacuously true since $N_G(A) = G$.

If $A$ is not empty, let $x \in Z(G)$. Then $xax^{-1} = a$ for all $a \in A$, so that $xAx^{-1} = A$. Hence $x \in N_G(A)$.