# Central Product/Examples/D4 with D4

Jump to navigation
Jump to search

## Example of Central Product

Let $G$ be the dihedral group $D_4$ whose group presentation is:

- $G = \gen {a, b: a^4 = b^2 = e_G, a b = b a^{-1} }$

From Center of Dihedral Group $D_4$, the center of $G$ is:

- $\map Z G = \set {e_G, a^2}$

Let:

- $Z = W = \set {e_G, a^2}$

Let $\theta: Z \to W$ be the mapping defined as:

- $\map \theta g = \begin{cases} e_G & : g = e_G \\ a^2 & : g = a^2 \end{cases}$

Let $X$ be the set defined as:

- $X = \set {\tuple {z, \map \theta z^{-1} }: z \in Z}$

The central product of $G$ and $H$ via $\theta$ has $19$ elements of order $2$.

## Proof

This theorem requires a proof.In particular: Leaving this till I have time to think about it more.You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{ProofWanted}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |

## Sources

- 1996: John F. Humphreys:
*A Course in Group Theory*... (previous) ... (next): Chapter $13$: Direct products: Example $13.10$