问题

设 $G,G'$ 是两个群. $e,e'$ 分别是两个群的单位元. 如果定义

\[
(g,g')\cdot(h,h')=(gh,g'h'),
\]

则 $G\times G'$ 是一个群.

证明 $G\times\{e'\}\triangleleft G\times G'$, $\{e\}\times G'\triangleleft G\times G'$, 并且

\[
\begin{aligned}
G\times G'/G\times{e'}\cong G',\\
G\times G'/\{e\}\times G'\cong G.\\
\end{aligned}
\]