14 サヴィカス①-キャリア構築理論 - JIL · -66- 14 サヴィカス①-キャリア構築理論 1.理論の概要 キャリア構築理論は、サヴィカス(Savickas)が自身の30年にわた
ガロア理論を知る -...
Transcript of ガロア理論を知る -...
![Page 1: ガロア理論を知る - FC2sitmathclub.web.fc2.com/seisaku/oomiyasai2019/slide_kato.pdfガロア理論 ガロアの理論を学ぶにあたり,異なる性質を持ったたくさんの”群”が出て](https://reader033.fdocuments.net/reader033/viewer/2022050309/5f71690ba3e90a762e42a416/html5/thumbnails/1.jpg)
. . . . . .
.
......ガロア理論を知る
加藤諒
芝浦工業大学数理科学研究会
2019/5/19
加藤諒 (数理科学科 2 年) ガロア理論を知る 2019/5/19 1 / 20
![Page 2: ガロア理論を知る - FC2sitmathclub.web.fc2.com/seisaku/oomiyasai2019/slide_kato.pdfガロア理論 ガロアの理論を学ぶにあたり,異なる性質を持ったたくさんの”群”が出て](https://reader033.fdocuments.net/reader033/viewer/2022050309/5f71690ba3e90a762e42a416/html5/thumbnails/2.jpg)
. . . . . .
研究背景
ガロアのあまりに有名な生涯とそのうちに果たした偉大な業績に以前から興味があった.ガロア理論に関する本を何度も読んでは挫折してきたが大学新 2年になり授業で群論にも少し触れるようになったし心機一転,今度こそその概形を捉えたいと思った.
加藤諒 (数理科学科 2 年) ガロア理論を知る 2019/5/19 2 / 20
![Page 3: ガロア理論を知る - FC2sitmathclub.web.fc2.com/seisaku/oomiyasai2019/slide_kato.pdfガロア理論 ガロアの理論を学ぶにあたり,異なる性質を持ったたくさんの”群”が出て](https://reader033.fdocuments.net/reader033/viewer/2022050309/5f71690ba3e90a762e42a416/html5/thumbnails/3.jpg)
. . . . . .
この発表の目標
この発表の目標はガロア理論やその概形を”知る”ことなので,中間体や交換子群などの議論,各段階での証明は除いてます.完全な理解をしたい人はこの発表ではその成果を得ることはできません.
加藤諒 (数理科学科 2 年) ガロア理論を知る 2019/5/19 3 / 20
![Page 4: ガロア理論を知る - FC2sitmathclub.web.fc2.com/seisaku/oomiyasai2019/slide_kato.pdfガロア理論 ガロアの理論を学ぶにあたり,異なる性質を持ったたくさんの”群”が出て](https://reader033.fdocuments.net/reader033/viewer/2022050309/5f71690ba3e90a762e42a416/html5/thumbnails/4.jpg)
. . . . . .
n次方程式を解く
”n次方程式を代数的に解く”とは,その方程式の係数の和,差,積,商とべき乗の組み合わせのみで解を得ることをいう.また,代数学の基本定
理から n次方程式には重解を含めれば Cの範囲では n個の解が存在する.
加藤諒 (数理科学科 2 年) ガロア理論を知る 2019/5/19 4 / 20
![Page 5: ガロア理論を知る - FC2sitmathclub.web.fc2.com/seisaku/oomiyasai2019/slide_kato.pdfガロア理論 ガロアの理論を学ぶにあたり,異なる性質を持ったたくさんの”群”が出て](https://reader033.fdocuments.net/reader033/viewer/2022050309/5f71690ba3e90a762e42a416/html5/thumbnails/5.jpg)
. . . . . .
ガロア理論
ガロアの理論を学ぶにあたり,異なる性質を持ったたくさんの”群”が出てくる. そこで,次から準備としてその定義を確認することから始める.
加藤諒 (数理科学科 2 年) ガロア理論を知る 2019/5/19 5 / 20
![Page 6: ガロア理論を知る - FC2sitmathclub.web.fc2.com/seisaku/oomiyasai2019/slide_kato.pdfガロア理論 ガロアの理論を学ぶにあたり,異なる性質を持ったたくさんの”群”が出て](https://reader033.fdocuments.net/reader033/viewer/2022050309/5f71690ba3e90a762e42a416/html5/thumbnails/6.jpg)
. . . . . .
準備
.定義 (体の拡大)........有理数体 Qに代数的数 αを添加した拡大体を Q(α)と書く.
加藤諒 (数理科学科 2 年) ガロア理論を知る 2019/5/19 6 / 20
![Page 7: ガロア理論を知る - FC2sitmathclub.web.fc2.com/seisaku/oomiyasai2019/slide_kato.pdfガロア理論 ガロアの理論を学ぶにあたり,異なる性質を持ったたくさんの”群”が出て](https://reader033.fdocuments.net/reader033/viewer/2022050309/5f71690ba3e90a762e42a416/html5/thumbnails/7.jpg)
. . . . . .
準備
.定義 (群)..
......
組 (G, ·)が群をなすとは,以下の 3条件が成立することをいう.
群の定義� �i) 結合法則 (g1 · g2) · g3 = g1 · (g2 · g3) (gi ∈ G)
ii) 単位元の存在 ∃e ∈ G, ∀g ∈ G, g · e = g = e · giii) 逆元の存在 ∀g ∈ G,∃g′ ∈ G s.t. g · g′ = e = g′ · g� �
加藤諒 (数理科学科 2 年) ガロア理論を知る 2019/5/19 7 / 20
![Page 8: ガロア理論を知る - FC2sitmathclub.web.fc2.com/seisaku/oomiyasai2019/slide_kato.pdfガロア理論 ガロアの理論を学ぶにあたり,異なる性質を持ったたくさんの”群”が出て](https://reader033.fdocuments.net/reader033/viewer/2022050309/5f71690ba3e90a762e42a416/html5/thumbnails/8.jpg)
. . . . . .
準備
.定義 (部分群)........群の部分集合で,それ自体が群であるもの
加藤諒 (数理科学科 2 年) ガロア理論を知る 2019/5/19 8 / 20
![Page 9: ガロア理論を知る - FC2sitmathclub.web.fc2.com/seisaku/oomiyasai2019/slide_kato.pdfガロア理論 ガロアの理論を学ぶにあたり,異なる性質を持ったたくさんの”群”が出て](https://reader033.fdocuments.net/reader033/viewer/2022050309/5f71690ba3e90a762e42a416/html5/thumbnails/9.jpg)
. . . . . .
準備
.定義 (アーベル群)..
......
群演算が可換な群,すなわちどの 2つの元の積もかける順番に依らず定まる群. 次のように表すことができる.
∀σ, τ ∈ G, στ = τσ
加藤諒 (数理科学科 2 年) ガロア理論を知る 2019/5/19 9 / 20
![Page 10: ガロア理論を知る - FC2sitmathclub.web.fc2.com/seisaku/oomiyasai2019/slide_kato.pdfガロア理論 ガロアの理論を学ぶにあたり,異なる性質を持ったたくさんの”群”が出て](https://reader033.fdocuments.net/reader033/viewer/2022050309/5f71690ba3e90a762e42a416/html5/thumbnails/10.jpg)
. . . . . .
準備
.定義 (正規部分群)..
......
G1をGの部分群とすると,τG1 = G1τ
が成り立つ群.
加藤諒 (数理科学科 2 年) ガロア理論を知る 2019/5/19 10 / 20
![Page 11: ガロア理論を知る - FC2sitmathclub.web.fc2.com/seisaku/oomiyasai2019/slide_kato.pdfガロア理論 ガロアの理論を学ぶにあたり,異なる性質を持ったたくさんの”群”が出て](https://reader033.fdocuments.net/reader033/viewer/2022050309/5f71690ba3e90a762e42a416/html5/thumbnails/11.jpg)
. . . . . .
準備
.定義 (剰余群)..
......
HがGの正規部分群であるとき, Gの Hによる剰余類g1H, g2H, . . . , gdH (d = [G : H])は,
(giH)(g jH) = gig jH
という演算について群になる.この群をGの Hによる剰余群といいG/Hで表す.
加藤諒 (数理科学科 2 年) ガロア理論を知る 2019/5/19 11 / 20
![Page 12: ガロア理論を知る - FC2sitmathclub.web.fc2.com/seisaku/oomiyasai2019/slide_kato.pdfガロア理論 ガロアの理論を学ぶにあたり,異なる性質を持ったたくさんの”群”が出て](https://reader033.fdocuments.net/reader033/viewer/2022050309/5f71690ba3e90a762e42a416/html5/thumbnails/12.jpg)
. . . . . .
準備
.定義 (剰余群)..
......
HがGの正規部分群であるとき, Gの Hによる剰余類g1H, g2H, . . . , gdH (d = [G : H])は,
(giH)(g jH) = gig jH
という演算について群になる.この群をGの Hによる剰余群といいG/Hで表す.
加藤諒 (数理科学科 2 年) ガロア理論を知る 2019/5/19 12 / 20
![Page 13: ガロア理論を知る - FC2sitmathclub.web.fc2.com/seisaku/oomiyasai2019/slide_kato.pdfガロア理論 ガロアの理論を学ぶにあたり,異なる性質を持ったたくさんの”群”が出て](https://reader033.fdocuments.net/reader033/viewer/2022050309/5f71690ba3e90a762e42a416/html5/thumbnails/13.jpg)
. . . . . .
準備
.定義 (対称群)..
......
n次の置換全体は群をなす.それを n次対称群といい,Sn と表す.この
位数は n!となる.
加藤諒 (数理科学科 2 年) ガロア理論を知る 2019/5/19 13 / 20
![Page 14: ガロア理論を知る - FC2sitmathclub.web.fc2.com/seisaku/oomiyasai2019/slide_kato.pdfガロア理論 ガロアの理論を学ぶにあたり,異なる性質を持ったたくさんの”群”が出て](https://reader033.fdocuments.net/reader033/viewer/2022050309/5f71690ba3e90a762e42a416/html5/thumbnails/14.jpg)
. . . . . .
準備
.定義 (ガロア群)..
......
Q(α)上の写像で Qを動かさないものの集合をガロア群という.また,このときの Qを固定体といい,Q(α)をガロア拡大体という.
加藤諒 (数理科学科 2 年) ガロア理論を知る 2019/5/19 14 / 20
![Page 15: ガロア理論を知る - FC2sitmathclub.web.fc2.com/seisaku/oomiyasai2019/slide_kato.pdfガロア理論 ガロアの理論を学ぶにあたり,異なる性質を持ったたくさんの”群”が出て](https://reader033.fdocuments.net/reader033/viewer/2022050309/5f71690ba3e90a762e42a416/html5/thumbnails/15.jpg)
. . . . . .
準備
.定義 (可解群)..
......
アーベル群の”積み上げ”で作ることができる群Gを可解群という.つまり,次の図のようなものである.
G :可解⇔G ▷G1 ▷G2 ▷ · · ·s.t. Gi/Gi+1 はアーベル群
また,次が成り立つ........ガロア群と対称群は同型である. . . . (A)
加藤諒 (数理科学科 2 年) ガロア理論を知る 2019/5/19 15 / 20
![Page 16: ガロア理論を知る - FC2sitmathclub.web.fc2.com/seisaku/oomiyasai2019/slide_kato.pdfガロア理論 ガロアの理論を学ぶにあたり,異なる性質を持ったたくさんの”群”が出て](https://reader033.fdocuments.net/reader033/viewer/2022050309/5f71690ba3e90a762e42a416/html5/thumbnails/16.jpg)
. . . . . .
ガロアの着想
n次方程式の解が作る対称性から群を考え,その群について考えることでn次方程式の可解性を考える.
加藤諒 (数理科学科 2 年) ガロア理論を知る 2019/5/19 16 / 20
![Page 17: ガロア理論を知る - FC2sitmathclub.web.fc2.com/seisaku/oomiyasai2019/slide_kato.pdfガロア理論 ガロアの理論を学ぶにあたり,異なる性質を持ったたくさんの”群”が出て](https://reader033.fdocuments.net/reader033/viewer/2022050309/5f71690ba3e90a762e42a416/html5/thumbnails/17.jpg)
. . . . . .
n次方程式の可解性
.ガロアの定理........n次方程式が代数的に解ける ⇐⇒ ガロア群が可解群 . . . (B)
以上,既出の事実 (B), (A)から次のことがわかる........n次方程式が代数的に解ける ⇐⇒ n次対称群が可解である
⇒ n次対称群の有限個の元のみに着目することで n次方程式の可解性が判断できることになった!!!
加藤諒 (数理科学科 2 年) ガロア理論を知る 2019/5/19 17 / 20
![Page 18: ガロア理論を知る - FC2sitmathclub.web.fc2.com/seisaku/oomiyasai2019/slide_kato.pdfガロア理論 ガロアの理論を学ぶにあたり,異なる性質を持ったたくさんの”群”が出て](https://reader033.fdocuments.net/reader033/viewer/2022050309/5f71690ba3e90a762e42a416/html5/thumbnails/18.jpg)
. . . . . .
n次方程式の可解性
.ガロアの定理........n次方程式が代数的に解ける ⇐⇒ ガロア群が可解群 . . . (B)
以上,既出の事実 (B), (A)から次のことがわかる.
.
......n次方程式が代数的に解ける ⇐⇒ n次対称群が可解である
⇒ n次対称群の有限個の元のみに着目することで n次方程式の可解性が判断できることになった!!!
加藤諒 (数理科学科 2 年) ガロア理論を知る 2019/5/19 17 / 20
![Page 19: ガロア理論を知る - FC2sitmathclub.web.fc2.com/seisaku/oomiyasai2019/slide_kato.pdfガロア理論 ガロアの理論を学ぶにあたり,異なる性質を持ったたくさんの”群”が出て](https://reader033.fdocuments.net/reader033/viewer/2022050309/5f71690ba3e90a762e42a416/html5/thumbnails/19.jpg)
. . . . . .
n次方程式の可解性
.ガロアの定理........n次方程式が代数的に解ける ⇐⇒ ガロア群が可解群 . . . (B)
以上,既出の事実 (B), (A)から次のことがわかる........n次方程式が代数的に解ける ⇐⇒ n次対称群が可解である
⇒ n次対称群の有限個の元のみに着目することで n次方程式の可解性が判断できることになった!!!
加藤諒 (数理科学科 2 年) ガロア理論を知る 2019/5/19 17 / 20
![Page 20: ガロア理論を知る - FC2sitmathclub.web.fc2.com/seisaku/oomiyasai2019/slide_kato.pdfガロア理論 ガロアの理論を学ぶにあたり,異なる性質を持ったたくさんの”群”が出て](https://reader033.fdocuments.net/reader033/viewer/2022050309/5f71690ba3e90a762e42a416/html5/thumbnails/20.jpg)
. . . . . .
n次方程式の可解性
.ガロアの定理........n次方程式が代数的に解ける ⇐⇒ ガロア群が可解群 . . . (B)
以上,既出の事実 (B), (A)から次のことがわかる........n次方程式が代数的に解ける ⇐⇒ n次対称群が可解である
⇒ n次対称群の有限個の元のみに着目することで n次方程式の可解性が判断できることになった!!!
加藤諒 (数理科学科 2 年) ガロア理論を知る 2019/5/19 17 / 20
![Page 21: ガロア理論を知る - FC2sitmathclub.web.fc2.com/seisaku/oomiyasai2019/slide_kato.pdfガロア理論 ガロアの理論を学ぶにあたり,異なる性質を持ったたくさんの”群”が出て](https://reader033.fdocuments.net/reader033/viewer/2022050309/5f71690ba3e90a762e42a416/html5/thumbnails/21.jpg)
. . . . . .
n次方程式の可解性
ここで,n = 5とするとその 5次対称群の元は 120個あり,そこから元が60個の正規部分群を作ることができるがそこから新たに正規部分群を作り出すことができないため,5次方程式は代数的には解くことができない.これが有名な”5次方程式には解の公式が存在しない”ことの所以である.
また,SnをSn+1のうち 1つを置換せず固定した場合と考えれば一般の n ∈ Nに対してSn+1 ⊃ Snが成り立つため,n次方程式 (n ≧ 5)につ
いても同様であることがわかる.(厳密には証明が必要)
加藤諒 (数理科学科 2 年) ガロア理論を知る 2019/5/19 18 / 20
![Page 22: ガロア理論を知る - FC2sitmathclub.web.fc2.com/seisaku/oomiyasai2019/slide_kato.pdfガロア理論 ガロアの理論を学ぶにあたり,異なる性質を持ったたくさんの”群”が出て](https://reader033.fdocuments.net/reader033/viewer/2022050309/5f71690ba3e90a762e42a416/html5/thumbnails/22.jpg)
. . . . . .
n次方程式の可解性
ここで,n = 5とするとその 5次対称群の元は 120個あり,そこから元が60個の正規部分群を作ることができるがそこから新たに正規部分群を作り出すことができないため,5次方程式は代数的には解くことができない.これが有名な”5次方程式には解の公式が存在しない”ことの所以である.また,SnをSn+1のうち 1つを置換せず固定した場合と考えれば一般の n ∈ Nに対してSn+1 ⊃ Snが成り立つため,n次方程式 (n ≧ 5)につ
いても同様であることがわかる.(厳密には証明が必要)
加藤諒 (数理科学科 2 年) ガロア理論を知る 2019/5/19 18 / 20
![Page 23: ガロア理論を知る - FC2sitmathclub.web.fc2.com/seisaku/oomiyasai2019/slide_kato.pdfガロア理論 ガロアの理論を学ぶにあたり,異なる性質を持ったたくさんの”群”が出て](https://reader033.fdocuments.net/reader033/viewer/2022050309/5f71690ba3e90a762e42a416/html5/thumbnails/23.jpg)
. . . . . .
今後の課題
今回ガロア理論についていくつかの数学書を読むなどして多方面から知
識を得て学んだがそれでもなお厳密な議論を理解するには至らなかった.
ただ,ガロアの着想やあらゆる群のことを理解できたという点で確かな
進歩もあったので今後も継続して丁寧に数学を学んでいき完全な理解に
努めたい.
加藤諒 (数理科学科 2 年) ガロア理論を知る 2019/5/19 19 / 20
![Page 24: ガロア理論を知る - FC2sitmathclub.web.fc2.com/seisaku/oomiyasai2019/slide_kato.pdfガロア理論 ガロアの理論を学ぶにあたり,異なる性質を持ったたくさんの”群”が出て](https://reader033.fdocuments.net/reader033/viewer/2022050309/5f71690ba3e90a762e42a416/html5/thumbnails/24.jpg)
. . . . . .
参考文献
鈴木智秀,図解と実例と論理で、今度こそわかるガロア理論,SBクリエイティブ株式会社,2017.
石井俊全,ガロア理論の頂を踏む,ベレ出版,2013.小林吹代,ガロア理論超入門,株式会社技術評論社,2016.
金重明,13歳の娘に語るガロアの数学,株式会社岩波書店,2011.
加藤諒 (数理科学科 2 年) ガロア理論を知る 2019/5/19 20 / 20