Definition:Central Product

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

Let $Z \left({G}\right)$ be the center of $G$.

Let $Z \le Z \left({G}\right), W \le Z \left({H}\right)$ such that $Z \cong W$.

Let such a group isomorphism be $\theta: Z \to W$.

Let $X$ be the set defined as:
 * $X = \left\{{\left({x, \theta^{-1} \left({x}\right)}\right): x \in Z}\right\}$

Then the quotient group $\left({G \times H}\right) / X$ is denoted $\left({G \times_\theta H}\right)$ and is called the central product of $G$ and $H$ via $\theta$.

Also see

 * Direct Product of Central Subgroup with Inverse Isomorphism is Central Subgroup