Group Direct Product/Examples/C3 x C3

== Example of Group Direct Product ==
The direct product of $C_3$, the cyclic group of order $3$, with itself is as follows.
Let us represent $C_3$ as the group $\struct {\Z_3, +_3}$:
:$\begin {array} {r|rrr}
+_3 & \eqclass 0 3 & \eqclass 1 3 & \eqclass 2 3 \\
\hline
\eqclass 0 3 & \eqclass 0 3 & \eqclass 1 3 & \eqclass 2 3 \\
\eqclass 1 3 & \eqclass 1 3 & \eqclass 2 3 & \eqclass 0 3 \\
\eqclass 2 3 & \eqclass 2 3 & \eqclass 0 3 & \eqclass 1 3 \\
\end{array}$
Then the Cayley table for $\struct{C_3 \times C_3, +_9}$ can be portrayed as:
:$\begin {array} {r|rrrrrrrrr}
+_{3, 3} & \tuple {\eqclass 0 3, \eqclass 0 3} & \tuple {\eqclass 0 3, \eqclass 1 3} & \tuple {\eqclass 0 3, \eqclass 2 3} & \tuple {\eqclass 1 3, \eqclass 0 3} & \tuple {\eqclass 1 3, \eqclass 1 3} & \tuple {\eqclass 1 3, \eqclass 2 3} & \tuple {\eqclass 2 3, \eqclass 0 3} & \tuple {\eqclass 2 3, \eqclass 1 3} & \tuple {\eqclass 2 3, \eqclass 2 3} \\
\hline
\tuple {\eqclass 0 3, \eqclass 0 3} & \tuple {\eqclass 0 3, \eqclass 0 3} & \tuple {\eqclass 0 3, \eqclass 1 3} & \tuple {\eqclass 0 3, \eqclass 2 3} & \tuple {\eqclass 1 3, \eqclass 0 3} & \tuple {\eqclass 1 3, \eqclass 1 3} & \tuple {\eqclass 1 3, \eqclass 2 3} & \tuple {\eqclass 2 3, \eqclass 0 3} & \tuple {\eqclass 2 3, \eqclass 1 3} & \tuple {\eqclass 2 3, \eqclass 2 3} \\
\tuple {\eqclass 0 3, \eqclass 1 3} & \tuple {\eqclass 0 3, \eqclass 1 3} & \tuple {\eqclass 0 3, \eqclass 2 3} & \tuple {\eqclass 0 3, \eqclass 0 3} & \tuple {\eqclass 1 3, \eqclass 1 3} & \tuple {\eqclass 1 3, \eqclass 2 3} & \tuple {\eqclass 1 3, \eqclass 0 3} & \tuple {\eqclass 2 3, \eqclass 1 3} & \tuple {\eqclass 2 3, \eqclass 2 3} & \tuple {\eqclass 2 3, \eqclass 0 3} \\
\tuple {\eqclass 0 3, \eqclass 2 3} & \tuple {\eqclass 0 3, \eqclass 2 3} & \tuple {\eqclass 0 3, \eqclass 0 3} & \tuple {\eqclass 0 3, \eqclass 1 3} & \tuple {\eqclass 1 3, \eqclass 2 3} & \tuple {\eqclass 1 3, \eqclass 0 3} & \tuple {\eqclass 1 3, \eqclass 1 3} & \tuple {\eqclass 2 3, \eqclass 2 3} & \tuple {\eqclass 2 3, \eqclass 0 3} & \tuple {\eqclass 2 3, \eqclass 1 3} \\
\tuple {\eqclass 1 3, \eqclass 0 3} & \tuple {\eqclass 1 3, \eqclass 3 3} & \tuple {\eqclass 1 3, \eqclass 1 3} & \tuple {\eqclass 1 3, \eqclass 2 3} & \tuple {\eqclass 2 3, \eqclass 0 3} & \tuple {\eqclass 2 3, \eqclass 1 3} & \tuple {\eqclass 2 3, \eqclass 2 3} & \tuple {\eqclass 0 3, \eqclass 0 3} & \tuple {\eqclass 0 3, \eqclass 1 3} & \tuple {\eqclass 0 3, \eqclass 2 3} \\
\tuple {\eqclass 1 3, \eqclass 1 3} & \tuple {\eqclass 1 3, \eqclass 1 3} & \tuple {\eqclass 1 3, \eqclass 2 3} & \tuple {\eqclass 1 3, \eqclass 0 3} & \tuple {\eqclass 2 3, \eqclass 1 3} & \tuple {\eqclass 2 3, \eqclass 2 3} & \tuple {\eqclass 2 3, \eqclass 0 3} & \tuple {\eqclass 0 3, \eqclass 1 3} & \tuple {\eqclass 0 3, \eqclass 2 3} & \tuple {\eqclass 0 3, \eqclass 0 3} \\
\tuple {\eqclass 1 3, \eqclass 2 3} & \tuple {\eqclass 1 3, \eqclass 2 3} & \tuple {\eqclass 1 3, \eqclass 0 3} & \tuple {\eqclass 1 3, \eqclass 1 3} & \tuple {\eqclass 2 3, \eqclass 2 3} & \tuple {\eqclass 2 3, \eqclass 0 3} & \tuple {\eqclass 2 3, \eqclass 1 3} & \tuple {\eqclass 0 3, \eqclass 2 3} & \tuple {\eqclass 0 3, \eqclass 0 3} & \tuple {\eqclass 0 3, \eqclass 1 3} \\
\tuple {\eqclass 2 3, \eqclass 0 3} & \tuple {\eqclass 2 3, \eqclass 0 3} & \tuple {\eqclass 2 3, \eqclass 1 3} & \tuple {\eqclass 2 3, \eqclass 2 3} & \tuple {\eqclass 0 3, \eqclass 0 3} & \tuple {\eqclass 0 3, \eqclass 1 3} & \tuple {\eqclass 0 3, \eqclass 2 3} & \tuple {\eqclass 1 3, \eqclass 0 3} & \tuple {\eqclass 1 3, \eqclass 1 3} & \tuple {\eqclass 1 3, \eqclass 2 3} \\
\tuple {\eqclass 2 3, \eqclass 1 3} & \tuple {\eqclass 2 3, \eqclass 1 3} & \tuple {\eqclass 2 3, \eqclass 2 3} & \tuple {\eqclass 2 3, \eqclass 0 3} & \tuple {\eqclass 0 3, \eqclass 1 3} & \tuple {\eqclass 0 3, \eqclass 2 3} & \tuple {\eqclass 0 3, \eqclass 0 3} & \tuple {\eqclass 1 3, \eqclass 1 3} & \tuple {\eqclass 1 3, \eqclass 2 3} & \tuple {\eqclass 1 3, \eqclass 0 3} \\
\tuple {\eqclass 2 3, \eqclass 2 3} & \tuple {\eqclass 2 3, \eqclass 2 3} & \tuple {\eqclass 2 3, \eqclass 0 3} & \tuple {\eqclass 2 3, \eqclass 1 3} & \tuple {\eqclass 0 3, \eqclass 2 3} & \tuple {\eqclass 0 3, \eqclass 0 3} & \tuple {\eqclass 0 3, \eqclass 1 3} & \tuple {\eqclass 1 3, \eqclass 2 3} & \tuple {\eqclass 1 3, \eqclass 0 3} & \tuple {\eqclass 1 3, \eqclass 1 3} \\
\end{array}$
== Sources ==
* : Chapter $1$: Definitions and Examples: Exercise $5$
Category:Examples of Group Direct Products