ガロア群
表示
ガロア群︵英‥Galois Group︶とは、代数方程式または体の拡大から定義される群のことである。発見者であるフランスの数学者エヴァリスト・ガロアから命名された。これらの群を用いて方程式などの数学的対称について研究する分野をガロア理論と呼ぶ。
定義[編集]
体の拡大のガロア群[編集]
E を体 Fの拡大体とし、その体の拡大を E/F と表わすこととする。また E/F の自己同型を、 Fの各元を固定する Eの自己同型と定義する。このとき、 E/F の自己同型全体は群を成す。これを Aut(E/F) と表わす。 E/F がガロア拡大であるなら、 Aut(E/F) を拡大 E/F のガロア群と呼び、 Gal(E/F) で表わす。 E/F がガロア拡大でない場合は、 Eのガロア閉包 Gに対する自己同型群 Aut(G/F) を、E/F のガロア群と定義することもある。多項式のガロア群[編集]
体 Eが多項式 fの F上の分解体︵ fの根をすべて含む最小の Fの拡大体︶であるとき、 Gal(E/F) を fの F上のガロア群と呼ぶ。例[編集]
下記の例において、 Fは一般の体、 C, R, Qはそれぞれ複素数体、実数体 、有理数体とする。また、 F(a) は体 Fに元aを添加した体、即ちFの全ての元とaをふくむ最小の体であるとする。
●Gal(F/F)は恒等写像のみからなる自明な群。
●Gal(C/R)は恒等写像と複素共役写像の2つの元からなる群[1]。
●Aut(R/Q)は自明な群であることが知られている。実際、Rの自己同型は順序を保つことが示せるので、必然的に恒等写像となる。
●Aut(C/Q) は無限群になることが知られている。
●Gal(Q(√2)/Q) は、恒等写像および、√2と-√2を入れ替える写像からなる。
●K = Q(3√2)とするとき、Aut(K/Q)は自明な群となる。これはKが正規拡大でない︵x3 − 2の根を全て含んでいない︶ためである。これはKが分解体ではないからと言いかえることもできる。
●ω を1の3乗根とするとき、拡大体L = Q(3√2, ω)は、多項式x3 - 2のQ上の分解体となり、自己同型群は、3次の置換群 S3と同型となる。
●q を素数の累乗とし、F , Eをそれぞれ 位数 qと位数 qnの有限体とするとき、Gal(E/F) は位数 nの巡回群となる。
●p を素数とするとき、 fが p次の有理係数既約多項式で、実数でない解をちょうど2つ持つならば、f のガロア群はp 次の置換群Spに等しい[2]。
性質[編集]
ガロア理論の基本定理[編集]
詳細は「ガロア理論の基本定理」を参照
体 Lを体 Kの有限次ガロア拡大とする。L と Kの中間体 Mと Gal(L/K) の部分群 Hについて次の式が成立つ。
ただし、Gal(L/M) は拡大 L/K のガロア群であり、LH は Lの元のうちで Hの下で不変になっているもののなす Lの部分拡大を指す。
したがって、L の中間体 Mとガロア群 Gal(L/K) の部分群 Hの間の対応
は互いに逆で、これらは全単射になることがわかる。また、この対応はあきらかに包含関係を逆にしている。つまり、M1 ⊃ M2ならば φ(M1) ⊂ φ(M2), G1⊃ G2なら ψ(G1) ⊂ ψ(G2) となる。
代数方程式の可解性[編集]
詳細は「可解群」を参照
標数0の体上においては、代数方程式が四則演算及びべき根で解けることと、その方程式のガロア群が可解群となることは同値となる。またそのことより、5次以上の代数方程式にはべき根による一般的解法が存在しないことが示せる。
関連項目[編集]
脚注[編集]
- ^ Cooke, Roger L. (2008), Classical Algebra: Its Nature, Origins, and Uses, John Wiley & Sons, p. 138, ISBN 9780470277973
- ^ David A. Cox (2004年)『Galois Theory』 Wiley-Interscience、ISBN 978-0471434191
参考文献[編集]
- Jacobson, Nathan (2009) [1985], Basic algebra I (Second ed.), Dover Publications, ISBN 978-0-486-47189-1
- Lang, Serge (2002), Algebra, Graduate Texts in Mathematics, 211 (Revised third ed.), New York: Springer-Verlag, ISBN 978-0-387-95385-4, MR1878556
外部リンク[編集]
- Hazewinkel, Michiel, ed. (2001), “Galois group”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
- "Galois Groups". MathPages.com.