Let \(G_1,\ldots ,G_n\) be groups. The direct product is the set \(G_1\times \cdots G_n\) with multiplication defined by

\begin{equation*} (g_1,\ldots ,g_n)(g'_1,\ldots ,g'_n)=(g_1g'_1,\ldots ,g_ng'_n). \end{equation*}

See also Link to heading