Center of Group is Normal Subgroup

From ProofWiki
Jump to navigation Jump to search

Theorem



The center $\map Z G$ of any group $G$ is a normal subgroup of $G$ which is abelian.


Proof 1

Recall that Center of Group is Abelian Subgroup.

Since $g x = x g$ for each $g \in G$ and $x \in \map Z G$:

$g \map Z G = \map Z G g$

Thus:

$\map Z G \lhd G$

$\blacksquare$


Proof 2

We have:

$\forall a \in G: x \in \map Z G^a \iff a x a^{-1} = x a a^{-1} = x \in \map Z G$

Therefore:

$\forall a \in G: \map Z G^a = \map Z G$

and $\map Z G$ is a normal subgroup of $G$.

$\blacksquare$


Sources