>>138
そうです。
もちろん最大にはなってはいません。
あくまで
> Kが無限体の場合、k≠k'であればK(α+kβ)≠K(α+k'β)
の反例です。
このα+kβで行く作戦はどちらか一方が分離的であれば
K(α+kβ) = K(α,β)
が成立するのでL/Kの最大分離中間体L/M/Kと最大純非分離中間体L/N/Kがそれぞれ単項拡大ならOKです。
分離の方はOKなので示すべきは
「N/Kが純非分離で中間体が有限⇒N/Kは単項拡大」
ですね。
頑張って下さい。