Internal Group Direct Product/Examples
Examples of Internal Group Direct Products
$C_2 \times C_3$ is Internal Group Direct Product of $C_6$
The direct product of the cyclic groups $C_2$ and $C_3$ is isomorphic to the cyclic groups $C_6$.
Hence it is seen to be an internal group direct product.
$D_4$: Internal Group Direct Product is $\set e \times D_4$
Consider the dihedral group $D_4$, which is the symmetry group of the square.
Suppose $D_4$ is the internal group direct product of two subgroups.
Then those two subgroups are $\set e$ and $D_4$ itself, where $e$ is the identity element of $D_4$.
Non-Examples
Pointwise Addition on Continuous Real Functions on Unit Interval
Let $J \subseteq \R$ denote the closed unit interval $\closedint 0 1$.
Let $\map {\mathscr C} J$ denote the set of all continuous real functions from $J$ to $\R$.
Let $G = \struct {\map {\mathscr C} J, +}$ be the group formed on $\map {\mathscr C} J$ by pointwise addition.
Let $\struct {H, +}$ and $\struct {K, +}$ be the algebraic substructures of $G$ such that:
- $H := \set {f \in G: \forall x \in J: \map f x \ge 0}$
- $K := \set {f \in G: \forall x \in J: \map f x \le 0}$
Then, while $G$, $H$ and $K$ fulfil the $3$ conditions of Conditions for Internal Group Direct Product, $G$ is not the internal group direct product of $H$ and $K$.