设F是域，f（x）∈F[x]无重根，又K为f（x）的分裂域，u1，...

问答题 设F是域，f（x）∈F[x]无重根，又K为f（x）的分裂域，u1，u2，…，un，（n=degf（x））是不定元。记=F（u1，u2，…，un），为f（x）∈[x]的分裂域，证明Gal（/）与Gal（K/F）同构。

1.问答题 设G是有限群，证明存在域F及其Galois扩张K，使得Gal（K/F）G.

2.问答题 设F是域，ChF≠2.又x1，x2，…，xn是不定元，p1，p2，…，pn为x1，x2，…，xn的初等对称多项式，记Gal（F（x1，x2，…，xn）/F（p1，p2，…，pn）为Sn.证明InvAn=F（p1，p2，…，pn，Δ）.其中Δ=

3.问答题设σ1，σ2，…，σn是域K的自同构，且i≠j时，σi≠σj．试证：[K：F]≥n

4.问答题设σ1，σ2，…，σn是域K的自同构，且i≠j时，σi≠σj．试证：σ1，σ2，…，σn是线性无关的线性变换组

5.问答题设域F的特征是p。试证x^p-x-a∈F[x]或者不可约，或者为一次因式的乘积。又设K为x^p-x-a的分裂域，求Gal（K/F）

6.问答题设是x³+x²-2x-1∈Q[x]的一个根，证明：r²-1也是一个根；Q（r）是Q上的正规扩张，并求Gal（Q（r）/Q）.

7.问答题设K=Q（√2，√3，√5）．求Gal（K/Q）的所有子群以及对应的子域。

8.问答题 设K是x³-2∈Q[x]的分裂域，求Gal（K/Q）的所有子群以及对应的子域，并证明Gal（K/Q）S₃

9.问答题 设D为Euclid环，A∈Mn（D），detA≠0，证明存在Mn（D）中可逆矩阵P使得
其中di≠0，且δ（ent_ij（PA））＜δ（di），j＜i

10.问答题设D是p.i、d.，ai=∈D，ai=1，2，…，n，且有（a1，a2，…，an）=1.证明：存在Mn（D）中的可逆矩阵A，使row1A=（a1，a2，…，an）