近世代数--外直积--外直积是什么？关于阶的性质？

博主是初学近世代数（群环域），本意是想整理一些较难理解的定理、算法，加深记忆也方便日后查找；如果有错，欢迎指正。
我整理成一个系列：近世代数，方便检索。

通过直积，我们可以把若干个小群组合成一个大群，也可以把一个大群分解成一些子群的乘积。

外直积：(external direct product)

• $G_1,G_2$是群，
• 构造集合$G_1、G_2$的卡氏积， G = { ( a 1 , a 2 ) ∣ a 1 ∈ G 1 , a 2 ∈ G 2 } G=\{(a_1,a_2)|a_1\in G_1,a_2\in G_2\} G={ (a1​,a2​)∣a1​∈G1​,a2​∈G2​}，
• 在$G$中定义乘法运算，$(a_1,a_2)\cdot (b_1,b_2)=(a_1{b}_1,a_2{b}_2),(a_1,a_2)\in G$，
• 则$G$关于乘法构成群，称为群$G_1$和$G_2$的外直积，记作$G=G_1$ x $G_2$。

外直积性质：
性质1：$G=G_1$ x $G_2$是群$G_1、G_2$的外直积。
（1）：$G$是有限群$\leftrightarrow G_1、G_2$都是有限群，且$|G|=|G_1|\cdot |G_2|$
证明：这个由定义可知，无需证明。

（2）：$G$是Abel群$\leftrightarrow G_1、G_2$都是Abel群
证明：

• $G_1、G_2$都是Abel群$\to G$是Abel群：
  $G_1、G_2$都是Abel群$\to \forall a_1,b_1\in G_1,\forall a_2,b_2\in G_2,$有$a_1{b}_1=b_1{a}_1,a_2{b}_2=b_2{a}_2$$\to \forall (a_1,a_{}$