[過去ﾛｸﾞ] 現代数学の系譜 工学物理雑談 古典ガロア理論も読む78 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
63(1): 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/20(日)17:31 ID:f+LcfVi/(15/25) AAS
>>62
つづき
構成的結果
一般に、有限分離拡大 L / K に対するすべての原始元からなる集合は L の真の K-部分空間すなわち中間体の有限の集まりの補集合である。このステートメントは有限体のケースについては何も言っていない。
有限体に対しては体の乗法群（巡回群）の生成元、これは当然原始元である、を見つけるために捧げられた計算理論が存在する。K が無限のときは、鳩ノ巣原理により証明できる。2元で生成された線型部分空間を考えると、c を K の元とする線型結合
γ =α +cβ
は有限個しかなく両方の元を含む部分体を生成できないことが証明される。
省9
64: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE 2019/10/20(日)17:32 ID:f+LcfVi/(16/25) AAS
>>63
つづき
準備的注意
単拡大の概念は、主に次の二つの点から数学上の興味を集めている。
・単拡大は分類が完了している体拡大である。拡大の生成元が K 上超越的なら無限次拡大で有理関数体に同型（フランス語版）であり、 生成元 α が代数的なら拡大は有限で、α の K 上の最小多項式の根体に同型である。
・原始元の定理はすべての有限次分離拡大が単拡大であることを保証する。代数拡大はそのすべての元の最小多項式が重根をもたないときに分離的という。
有限拡大の分離性のいろいろな同値条件に加えて、代数拡大が分離的であるための十分条件は基礎体が完全体（例えば標数 0 あるいは有限体）であることである。
省15
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.038s