于是 就是\big< b \big> 的一个代表系,同时是一个群。由交换性,(内直和) = \big< b \big> \oplus = \oplus 下面应当考虑商群的商群 (G/)/(\big< b \big>/) \cong G/( \oplus ) (同构第一定理)。这里直接假设上述步骤已经进行了 k 次(上面 a,b 在下面替换为 a_1, a_2)...