[過去ログ]
現代数学の系譜 工学物理雑談 古典ガロア理論も読む78 (1002レス)
現代数学の系譜 工学物理雑談 古典ガロア理論も読む78 http://rio2016.5ch.net/test/read.cgi/math/1571400076/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
63: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/10/20(日) 17:31:37.57 ID:f+LcfVi/ >>62 つづき 構成的結果 一般に、有限分離拡大 L / K に対するすべての原始元からなる集合は L の真の K-部分空間すなわち中間体の有限の集まりの補集合である。このステートメントは有限体のケースについては何も言っていない。 有限体に対しては体の乗法群(巡回群)の生成元、これは当然原始元である、を見つけるために捧げられた計算理論が存在する。K が無限のときは、鳩ノ巣原理により証明できる。2元で生成された線型部分空間を考えると、c を K の元とする線型結合 γ =α +cβ は有限個しかなく両方の元を含む部分体を生成できないことが証明される。 これはアルティンの結果から古典的な結果がどのように導かれるかを示す方法としてほとんどすぐであり、中間体の個数の言葉での例外的な c の個数が有界であることが得られる(この数はガロワ理論によってアプリオリにそれ自身制限されるものである)。 したがってこのケースにおいて trial-and-error は原始元を見つける実際的な手法となることができる。例を見よ。 https://ja.wikipedia.org/wiki/%E5%8D%98%E6%8B%A1%E5%A4%A7 単拡大 (抜粋) 数学、より正確には代数学において、可換体の理論の枠組みで、体 K の拡大 L は、L のある元 α が存在して L が K(α) と等しいときに単拡大あるいは単純拡大 (simple extension) という。 単拡大 K(α) が有限拡大であることと α が K 上代数的であることは同値である。K の(同型の違いを除いて)唯一の無限単拡大は有理関数体 K(X) である。 原始元定理はすべての有限分離拡大が単拡大であることを保証する。 つづく http://rio2016.5ch.net/test/read.cgi/math/1571400076/63
64: 現代数学の系譜 雑談 古典ガロア理論も読む ◆e.a0E5TtKE [] 2019/10/20(日) 17:32:55.41 ID:f+LcfVi/ >>63 つづき 準備的注意 単拡大の概念は、主に次の二つの点から数学上の興味を集めている。 ・単拡大は分類が完了している体拡大である。拡大の生成元が K 上超越的なら無限次拡大で有理関数体に同型(フランス語版)であり、 生成元 α が代数的なら拡大は有限で、α の K 上の最小多項式の根体に同型である。 ・原始元の定理はすべての有限次分離拡大が単拡大であることを保証する。代数拡大はそのすべての元の最小多項式が重根をもたないときに分離的という。 有限拡大の分離性のいろいろな同値条件に加えて、代数拡大が分離的であるための十分条件は基礎体が完全体(例えば標数 0 あるいは有限体)であることである。 定義 L を K の体拡大とする。 拡大 L が単 (simple) 拡大であるとは、L のある元 α が存在して、α で生成された L の部分 K 拡大 K(α) が L に等しいことである。 L が単拡大とし g を L の元で L が K(g) に等しいとする。このとき g は L の K 上の生成元 (generating element) と呼ばれる。 http://peng225.hatena(URLがNGなので、キーワードでググれ(^^ ) ペンギンは空を飛ぶ 2016-11-26 有限次分離拡大が単拡大となることの具体例を愚直に計算してみる (抜粋) 体の拡大L/Kが有限次分離拡大であるとき、この拡大は単拡大になることが知られている。私が使っている教科書にもこの定理は載っており、具体例としてQ(2?√,3?√)=Q(2?√+3?√)が取り上げられていた。 しかし、その説明が私にはエレンガント過ぎて、なんともピンとこなかった。 私がとにかく疑問だったのは、一体Q(2?√+3?√)の元の四則演算でどうやって2?√や3?√を生み出せるのか、その具体的な計算手順は何かということだ。 タネが分かった今となっては難しくもなんとも無いが、同じ疑問でハマる人がいないとも限らないので、本稿を書いてみることにした。 手順はとても簡単だ。まず、2?√+3?√∈Q(2?√+3?√)である。これを3乗すると以下のようになる。 以上 http://rio2016.5ch.net/test/read.cgi/math/1571400076/64
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.040s