Internal Direct Product Theorem/Examples/Multiplicative Monoid of Integers Modulo 6
Example of Use of Internal Direct Product Theorem
Consider the multiplicative monoid of integers modulo $6$ $\struct {\Z_6, +_6}$, illustrated by Cayley Table:
$\quad \begin{array} {r|rrrrrr} \struct {\Z_6, \times_6} & \eqclass 0 6 & \eqclass 1 6 & \eqclass 2 6 & \eqclass 3 6 & \eqclass 4 6 & \eqclass 5 6 \\ \hline \eqclass 0 6 & \eqclass 0 6 & \eqclass 0 6 & \eqclass 0 6 & \eqclass 0 6 & \eqclass 0 6 & \eqclass 0 6 \\ \eqclass 1 6 & \eqclass 0 6 & \eqclass 1 6 & \eqclass 2 6 & \eqclass 3 6 & \eqclass 4 6 & \eqclass 5 6 \\ \eqclass 2 6 & \eqclass 0 6 & \eqclass 2 6 & \eqclass 4 6 & \eqclass 0 6 & \eqclass 2 6 & \eqclass 4 6 \\ \eqclass 3 6 & \eqclass 0 6 & \eqclass 3 6 & \eqclass 0 6 & \eqclass 3 6 & \eqclass 0 6 & \eqclass 3 6 \\ \eqclass 4 6 & \eqclass 0 6 & \eqclass 4 6 & \eqclass 2 6 & \eqclass 0 6 & \eqclass 4 6 & \eqclass 2 6 \\ \eqclass 5 6 & \eqclass 0 6 & \eqclass 5 6 & \eqclass 4 6 & \eqclass 3 6 & \eqclass 2 6 & \eqclass 1 6 \end{array}$
Let $H := \set {0, 2, 4}$.
Let $K := \set {0, 3}$.
We have that:
- $H \times_6 K = \set 0$
so $\struct {\Z_6, \times_6}$ is not the internal group direct product of $H$ and $K$.
Sources
- 1965: Seth Warner: Modern Algebra ... (previous) ... (next): Chapter $\text {II}$: New Structures from Old: $\S 13$: Compositions Induced on Cartesian Products and Function Spaces: Example $13.3$