23/02/21 18:15:19.63 EcjxwYl+.net
> 有理数体上ガロワな任意の数体は総実であるかまたは総虚でなければならない。
総実体 - Wikipedia
URLﾘﾝｸ(ja.m.wikipedia.org)
Galois拡大でなければ、総実でも総虚でもない有理数体の拡大体を構成できる？
いや、そもそもこれどうやって証明するん？
23/02/21 18:15:19.63 EcjxwYl+.net
> 有理数体上ガロワな任意の数体は総実であるかまたは総虚でなければならない。
総実体 - Wikipedia
URLﾘﾝｸ(ja.m.wikipedia.org)
Galois拡大でなければ、総実でも総虚でもない有理数体の拡大体を構成できる？
いや、そもそもこれどうやって証明するん？