0122132人目の素数さん垢版 | 大砲2018/09/30(日) 15:19:35.91ID:gWzrRGU6 有限拡大M/Kで中間体が有限個のとき、拡大は単純拡大となりM=K(α)となることを 示したい。 次数[K(α):k]が最大になるようにαを選ぶ。β∈M-K(α)でK(α+kβ),k∈KでkをK全体で 動かして考えて、結局、そのようなβは存在しないことを示す。 どのようなk∈Kを選んでβが存在しないことを証明すればよいのでしょうか? お願いします。