由于内力不够(数理论坛的内力消耗未免太厉害了),而又急于知道答案,所以发在这里。
也许这些问题很弱,但一时难以明白,又不愿意花过多时间纠缠,所以请教:
1. 是否任何域(field)都有非平凡的扩张?
2. 是否任何域上都有不可约的高于一次的多项式?
3. 是否任何域都有非平凡的自同构群?
4. 是否一个域的非平凡的自同构群都有非平凡的不动点域?
5. 是否任何域都有非平凡的正规(normal)扩域?
6. 设B是k的扩域,是否一定存在k的正规扩域E,使得E也是B的扩域?
特别想知道第6个问题的答案,我在看 E. Artin 的 Galois theory 里面的一个证明时候在这个地方被卡住了。