计算题 证明：有理数域F上多项式x⁴+1的分裂域是一个单扩域F（a），其中a是x⁴+1的一个根。

G/K是交换群.

问答题G/K是交换群.

令E是域F的一个有限扩域。那么总存在E的有限个元a1，a2，…，am，使E=F（a1，a2，…，am）。

问答题令E是域F的一个有限扩域。那么总存在E的有限个元a₁，a₂，…，a_m，使E=F（a₁，a₂，…，a_m）。

由G中所有换位元生成的子群K是G的一个正规子群.

问答题由G中所有换位元生成的子群K是G的一个正规子群.