Direct Product of Central Subgroups

Theorem
Let $G$ and $H$ be groups.

Let $Z$ and $W$ be central subgroups of $G$ and $H$ respectively.

Then $Z \times W$ is a central subgroup of $G \times H$.

Proof
Let $\tuple {z, w} \in Z \times W$.

Let $\tuple {x, y} \in G \times H$.

Then:

$\tuple {x, y}$ is arbitrary.

Thus $\tuple {z, w}$ commutes with all elements of $G \times H$.

Hence $\tuple {z, w}$ is in the center of $G \times H$

That is, $Z \times W$ is a subgroup of the center $G \times H$.

The result follows by definition of central subgroup.