- 281 名前：現代数学の系譜 雑談 [2025/06/29(日) 20:41:58.35 ID:HQSTLRKE.net]
- >>275
>「G に属するすべての置換 σ に対して
>q(a‗σ(1),…,a_σ(n))=q(a_1,…,a_n)
>となるときそのときに限り
>q(a_1,…,a_n)は有理数となる」
>” ”の箇所が私が書いた。
>ここがポイントなので、これ書けてない時点で全然見当違いな読み方してると分かる。
素人はこれだから・・ ；ｐ）
下記、『ガロア理論における代数方程式の正規性と分離性とは、ガロア拡大を特徴づける重要な概念です』
とあるでしょ
百回音読してね
その「」内の条件は、ガロア理論では ”正規かつ分離”の条件がつくから 自動的に満たされる （＾＾
（『体の拡大の中で特に「正規性」と「分離性」という2つの性質を満たす物のことをガロア拡大という』）
(参考)
google検索：ガロア理論 代数方程式 正規かつ分離
検索結果：
代数拡大、分離拡大、正規拡大そしてガロア拡大へ ペンギンは空を飛ぶ
https://peng225.ｈａｔｅｎａblog.com/entry/2016/09/04/162550
2016/09/04 — L/Kが代数拡大であるとき、L/Kがさらに分離拡大かつ正規拡大になっているとき、これをガロア拡大と呼ぶ
AI による概要<AI の回答には間違いが含まれている場合があります>
ガロア理論における代数方程式の正規性と分離性とは、ガロア拡大を特徴づける重要な概念です。正規性とは、体の拡大において、ある多項式のすべての根がその拡大体に属していることを指します。分離性とは、ある多項式のすべての根が互いに異なることを指します。これらの性質は、ガロア理論におけるガロア群の構造を理解する上で不可欠です
正規性
体の拡大L/Kが正規であるとは、K上の任意の既約多項式f(x)がLで線形因子に分解される場合を指します。つまり、f(x)がLで根を持つならば、Lのすべての根を持ちます。言い換えれば、LがKの代数閉包のKにおける部分体である場合、正規拡大となります
分離性
体の拡大L/Kが分離的であるとは、K上の任意の既約多項式f(x)がLで相異なる根を持つ場合を指します。つまり、f(x)の根はすべて重複度1を持ちます。標数が0の体（有理数体Qなど）上では、すべての多項式は分離的です。しかし、標数がp>0の場合（例えば有限体Fpなど）には、分離的でない多項式が存在します
ガロア拡大
ガロア拡大とは、正規かつ分離的な体の拡大のことです。ガロア拡大は、ガロア群と呼ばれる特別な群と密接に関連しており、ガロア理論の中心的な概念です
例:
複素数体Cは、実数体Rの正規拡大であり、また分離拡大でもあります。したがって、CはRのガロア拡大です
有限体Fp(t)のFp(t^p)への拡大は、正規拡大ですが、分離拡大ではありません
標数が0の体K上の任意の有限次拡大は、ガロア拡大です
まとめ:
ガロア理論における正規性と分離性は、体の拡大の性質を記述する重要な概念です。これらの性質は、ガロア群の構造を理解し、代数方程式の可解性や作図可能性などの問題を研究する上で不可欠です
https://event.phys.s.u-tokyo.ac.jp/physlab2024/advent-calendar/18/
この世界で最も美しい理論 ガロア理論 Physics Lab.2024 東京大学
体の拡大の中で特に「正規性」と「分離性」という2つの性質を満たす物のことをガロア拡大という
|
 |
