>>66
どうも。スレ主です。

>ちなみにQ上とは限らず基礎体を任意の代数体に動かしてもいいなら、任意の有限群を
>ガロア群として持つガロア拡大が存在することは簡単に分かるんですよ。

分かりません(^^

例えば仮に、
「the group PSL(2,16):2 of degree 17 may not be [5].”」
が、反例として成立すると認めることにします

そして、有限の単拡大定理から、任意の代数的数αを添加した拡大体Q(α)をベースとして
拡大体Q(α)上から、ガロア群PSL(2,16)を持つ体の拡大が存在して
これを、単拡大定理から、代数的数β’として(Q上ではないので’を付けた)
Q上に限らないから、拡大体Q(α)(β’)が実現できる?

それって、なんかおかしくないですかね?(^^