代数 中級
ガロア理論と応用(大学3-4年レベル)
中級の概要
中級では、ガロア理論を中心に代数学の深い理論を学ぶ。体の拡大とガロア対応を理解し、方程式の可解性問題に取り組む。また、有限体や加群の基礎も扱う。
学習目標
- ガロア拡大とガロア群を理解する
- ガロアの基本定理を習得する
- ガロア群を通じて代数方程式の可解性を調べる考え方を理解する
- 有限体の構造を理解する
- 加群の基本概念を学ぶ
目次
-
第1章
群の準同型
準同型写像、核と像、同型、正規部分群、第一同型定理
-
第2章
多項式環
多項式環の定義、除法の定理、既約多項式、一意分解
-
第3章
体の拡大
拡大次数、単拡大、最小多項式、分解体
-
第4章
ガロア理論
正規拡大・分離拡大、ガロア拡大、ガロア群、固定体
-
第5章
ガロア対応
ガロアの基本定理、中間体と部分群
-
第6章
方程式の可解性
べき根による可解性、可解群、5次方程式
-
第7章
有限体
有限体の構造、フロベニウス写像、原始元
-
第8章
加群の基礎
加群の定義、準同型、自由加群
-
第9章
四元数
可換体のあとに学ぶ非可換代数の代表例。ハミルトンの四元数、演算、3次元回転への応用
-
第10章
多項式
多項式の定義・演算・除法、因数定理、代数学の基本定理、判別式
-
第11章
基本対称式と Vieta の公式
根と係数の関係の一般論。Newton の恒等式、対称多項式の基本定理、判別式
-
第12章
無平方多項式と無平方分解
重根の検出と除去。GCD による判定、Yun のアルゴリズム、因数分解の前処理
-
第13章
練習問題
中級の総合演習
-
シロー定理(Sylow's Theorems)
p-部分群の存在・個数・共役性(シローの3定理)。有限群の構造解析の基本道具。
-
コーシーの定理(群論)(Cauchy's Theorem)
位数を割る素数 p に対し位数 p の元が存在すること。McKay の巡回作用による証明。
-
冪零群(Nilpotent Group)
中心列・冪零クラス・有限群の特徴づけ。可換群と可解群の中間に位置する群。
関連用語
- アイゼンシュタインの既約判定法 — アイゼンシュタインの既約判定法(Eisenstein's criterion)を解説
- スツルムの定理 — スツルムの定理(Sturm's theorem)を解説
- ガウスの補題(多項式) — ガウスの補題(Gauss's lemma for polynomials)を解説
- 多項式の最大公約数 — 多項式の最大公約数(Polynomial GCD)をユークリッド互除法で求める方法を解説
- ニュートンの恒等式 — べき乗和 p_k と基本対称式 e_k を結ぶニュートンの恒等式(Newton's identities)の導出と計算例を解説
- クラインの四元群 — クラインの四元群 V4 の定義・乗積表・部分群・同型・対称性への応用を中級レベルで解説する
- 環積 — 環積(Wreath product)G wr H の定義・半直積構成・具体例(対称群・置換の色塗り)・応用を中級…
- 群の表示 — 群の表示(生成元と関係子)の定義・自由群・具体例(二面体群・対称群・クラインの四元群)・語問題を中級レベルで解説する
- 交換子部分群 — 交換子部分群(derived subgroup)G' の定義・可解群との関係・導来列・具体例を中級レベルで解説する
- 群の中心 — 群の中心 Z(G) の定義・性質・具体例(行列群・二面体群・対称群)を中級レベルで解説する
前提知識
- 代数 初級の内容(群・環・体の基礎、体の拡大)
- 線形代数(ベクトル空間、線形写像)
- 証明の技法に習熟していること
読み物
-
二十歳の遺書 ― ガロアが遺した対称性の数学 [読み物]
決闘の前夜、二十歳のガロアは数学の手紙を書き続けた。方程式が解けるかどうかは根の「対称性」で決まる――時代を半世紀追い越した発想の物語を肩の力を抜いて語る。
-
整数と多項式は双子だった ― 環と体の不思議な平行 [読み物]
素因数分解も最大公約数も割り算の余りも、整数で学んだ計算がそっくり多項式でも通用する。ユークリッド整域という一つの骨格が二つの世界を貫く平行を肩の力を抜いて語る。
-
捨てることで生まれた数 ― ハミルトンが手放した計算法則 [読み物]
橋の上でひらめいた四元数は、交換法則という当たり前の掟を一つ手放して生まれた。何を捨てると何が手に入るのか、フロベニウスの定理が示す「数」の限界までを肩の力を抜いて語る。