ラグランジュの定理 (群論)

出典: フリー百科事典『ウィキペディア(Wikipedia)』

代数的構造 → 群論 群論
基本概念 部分群 正規部分群 商群 (半) 直積 群準同型 核 像 直和 リース積 単純 有限 無限 (英語版) 連続 乗法 加法 巡回 アーベル 二面体 冪零 可解 群論の用語 群論のトピックス一覧
有限群 有限単純群の分類 巡回 交代 リー型 (英語版) 散在 (英語版) コーシーの定理 ラグランジュの定理 シローの定理 ホールの定理 p 群 基本アーベル群 フロベニウス群 (英語版) シューア multiplier (英語版) 対称群 Sn クラインの四元群 V 二面体群 Dn 四元数群 Q8 二重巡回群 Dicn
離散群 格子 整数 (Z) 格子 モジュラー群 PSL(2, Z) SL(2, Z)
位相 / リー群 ソレノイド (英語版) 円周 一般線型 GL(n) 特殊線型 SL(n) 直交 O(n) ユークリッド E(n) 特殊直交 SO(n) ユニタリ U(n) 特殊ユニタリ SU(n) 斜交 Sp(n) G2 (英語版) F4 (英語版) E6 (英語版) E7 (英語版) E8 ローレンツ ポアンカレ 共形 (英語版) 微分同相 ループ (英語版) 無限次元リー群 (英語版) O(∞) SU(∞) Sp(∞)
代数群 楕円曲線 線型代数群 アーベル多様体

群論において、ラグランジュの定理(英語:Lagrange's theorem)とは、次のような定理である^{[1] [2] [3] [4]} 。

[G : H] に関しては#同値類による指数を参照。

群 G の要素 x, y に関して、群 G の部分群 H の要素 h を用いて、x = yh となるとき、x 〜 y と定義する。G の単位元を e とすると、H は部分群だから e ∈ H であり、x = xe となるので、x 〜 x である。h ∈ H のとき、H は部分群だから h⁻¹ ∈ H となるので、x 〜 y のとき、x = yh ⇔ xh⁻¹ = y となり y 〜 x である。x, y, z ∈ G に関して、x 〜 y, y 〜 z ならば x = yh₁, y = zh₂ (h₁, h₂ ∈ H) だから x = (zh₂)h₁ = z(h₂h₁) となる。H は部分群なので、h₂h₁ ∈ H となるから x 〜 z である。したがって、〜 は同値関係になる^{[5] [6] [7] [8]} 。

部分群 H に関して、同値関係 〜 による同値類 {x ∈ G | x 〜 a} は {x ∈ G | x = ah (h ∈ H)} になるから、aH に等しくなる。これを a の H による左剰余類(left coset)という。同値関係 〜 による同値類 aH の集合 {aH | a ∈ G} を G/H と書く^{[9] [6] [10]} 。

部分群 H が有限群の場合は H = {h₁, h₂, h₃, ..., h_m} と表すことができて、左剰余類 aH は aH = {ah₁, ah₂, ah₃, ..., ah_m} となる^[2] 。

部分群 H から同値類 aH への写像 φ_a : H → aH を φ_a(h) = ah と定義するとき、φ_a(h₁) = φ_a(h₂) とすると、ah₁ = ah₂ となるから、左から a⁻¹ を掛けて h₁ = h₂ となるので、写像 φ_a は単射になる。写像 φ_a による部分群 H の像が aH だから写像 φ_a は全射になり、全単射になる。したがって、写像 φ_a の逆写像 φ_a⁻¹: aH → H は φ_a⁻¹(x) = a⁻¹x となる。これより、同値類 aH から同値類 bH への写像 f : aH → bH を f (x) = (φ_b⚬φ_a⁻¹)(x) = φ_b(φ_a⁻¹(x)) = ba⁻¹x と定義すると写像 f は全単射になる。したがって、任意の二つの同値類 aH と bH は同型となり、|aH| = |bH| = |H| となる^{[9] [11]} 。

左剰余類の集合 G/H の要素の個数(濃度)である |G/H| を G における H の指数(index of a subgroup H in a group G)と呼び、[G : H] または |G : H| または (G : H) と書く^{[5] [6] [12]} 。

G/H が有限集合の場合は、G/H = {a₁H, a₂H, a₃H, ..., a_kH} と表すことができて、[G : H] = |G/H| = k となる。

G が有限群の場合は、以下のように書ける^[2] :

${\displaystyle {\begin{aligned}H&=\{h_{1},h_{2},h_{3},\dotsc ,h_{m}\},\\a_{1}H&=\{a_{1}h_{1},a_{1}h_{2},a_{1}h_{3},\dotsc ,a_{1}h_{m}\},\\a_{2}H&=\{a_{2}h_{1},a_{2}h_{2},a_{2}h_{3},\dotsc ,a_{2}h_{m}\},\\a_{3}H&=\{a_{3}h_{1},a_{3}h_{2},a_{3}h_{3},\dotsc ,a_{3}h_{m}\},\\\cdots \\a_{k}H&=\{a_{k}h_{1},a_{k}h_{2},a_{k}h_{3},\dotsc ,a_{k}h_{m}\},\\G/H&=\{a_{1}H,a_{2}H,a_{3}H,\dotsc ,a_{k}H\},\\G&=a_{1}H\cup a_{2}H\cup a_{3}H\cup \cdots \cup a_{k}H\ \ (i\neq j\Rightarrow a_{i}H\cap a_{j}H=\emptyset ).\end{aligned}}}${\displaystyle {\begin{aligned}H&=\{h_{1},h_{2},h_{3},\dotsc ,h_{m}\},\\a_{1}H&=\{a_{1}h_{1},a_{1}h_{2},a_{1}h_{3},\dotsc ,a_{1}h_{m}\},\\a_{2}H&=\{a_{2}h_{1},a_{2}h_{2},a_{2}h_{3},\dotsc ,a_{2}h_{m}\},\\a_{3}H&=\{a_{3}h_{1},a_{3}h_{2},a_{3}h_{3},\dotsc ,a_{3}h_{m}\},\\\cdots \\a_{k}H&=\{a_{k}h_{1},a_{k}h_{2},a_{k}h_{3},\dotsc ,a_{k}h_{m}\},\\G/H&=\{a_{1}H,a_{2}H,a_{3}H,\dotsc ,a_{k}H\},\\G&=a_{1}H\cup a_{2}H\cup a_{3}H\cup \cdots \cup a_{k}H\ \ (i\neq j\Rightarrow a_{i}H\cap a_{j}H=\emptyset ).\end{aligned}}}

有限群 G の部分群 H を {h₁, h₂, ..., h_m} とすると、

${\displaystyle H=\{h_{1},h_{2},h_{3},\dotsc ,h_{m}\}.}${\displaystyle H=\{h_{1},h_{2},h_{3},\dotsc ,h_{m}\}.}

左剰余類 aH は {ah₁, ah₂, ah₃, ..., ah_m} に等しくなる^[13] ので、

${\displaystyle aH=\{ah_{1},ah_{2},ah_{3},\dotsc ,ah_{m}\}.}${\displaystyle aH=\{ah_{1},ah_{2},ah_{3},\dotsc ,ah_{m}\}.}

このとき、H の要素 h に ah を対応させる写像を f:H → aH とすると、f(h_i) = f(h_j) ⇔ ah_i = ah_j のとき、左から a⁻¹ を掛けて、h_i = h_j となるので、写像 f は単射になる。

写像 f は H を aH に写すから f は全射となるので、全単射になる。したがって、 H と aH とは同じ個数の要素を待つから、|H| = |aH| = m となる^[14] 。

したがって、G の H による類別を考えると、以下のようになる^[15] 。

${\displaystyle {\begin{aligned}a_{1}H&=\{a_{1}h_{1},a_{1}h_{2},a_{1}h_{3},\dotsc ,a_{1}h_{m}\},\\a_{2}H&=\{a_{2}h_{1},a_{2}h_{2},a_{2}h_{3},\dotsc ,a_{2}h_{m}\},\\a_{3}H&=\{a_{3}h_{1},a_{3}h_{2},a_{3}h_{3},\dotsc ,a_{3}h_{m}\},\\\cdots \\a_{k}H&=\{a_{k}h_{1},a_{k}h_{2},a_{k}h_{3},\dotsc ,a_{k}h_{m}\},\\G/H&=\{a_{1}H,a_{2}H,a_{3}H,\dotsc ,a_{k}H\},\\G&=a_{1}H\cup a_{2}H\cup a_{3}H\cup \cdots \cup a_{k}H\ \ (i\neq j\Rightarrow a_{i}H\cap a_{j}H=\emptyset ).\end{aligned}}}${\displaystyle {\begin{aligned}a_{1}H&=\{a_{1}h_{1},a_{1}h_{2},a_{1}h_{3},\dotsc ,a_{1}h_{m}\},\\a_{2}H&=\{a_{2}h_{1},a_{2}h_{2},a_{2}h_{3},\dotsc ,a_{2}h_{m}\},\\a_{3}H&=\{a_{3}h_{1},a_{3}h_{2},a_{3}h_{3},\dotsc ,a_{3}h_{m}\},\\\cdots \\a_{k}H&=\{a_{k}h_{1},a_{k}h_{2},a_{k}h_{3},\dotsc ,a_{k}h_{m}\},\\G/H&=\{a_{1}H,a_{2}H,a_{3}H,\dotsc ,a_{k}H\},\\G&=a_{1}H\cup a_{2}H\cup a_{3}H\cup \cdots \cup a_{k}H\ \ (i\neq j\Rightarrow a_{i}H\cap a_{j}H=\emptyset ).\end{aligned}}}

このとき、|H| = |a₁H| = |a₂H| = |a₃H| = ... = |a_kH| = m となるので、|G| = km となる。k = |G/H| = [G : H], m = |H| となるので、

${\displaystyle |G|=[G:H]\cdot |H|.}${\displaystyle |G|=[G:H]\cdot |H|.}

Q.E.D.

ラグランジュの定理は群 G における3つの部分群の指数の間に成り立つ等式に拡張できる^{[16] [17]} 。 以下では、H が群 G の部分群であるとき、H ≤ G または G ≥ H と表し、H が群 G の部分群であり、かつ K が群 H の部分群であるとき、K ≤ H ≤ G または G ≥ H ≥ K と表す。

G ≥ H ≥ K のとき K = {e} (e は群 G の単位元)とおくと [G : {e}] = |G| および [H : {e}] = |H| が成り立つ。したがって、元々の等式 |G| = [G : H] |H| を得る^[18] 。

ラグランジュの定理には、次のような系がある^{[19] [2] [20]} 。

証明

G が有限群の場合は、指数 [G : H](G における H の左剰余類の個数)が正の整数になるので、ラグランジュの定理から系が従う。

証明

群 G の任意の元 g で生成される巡回群 ⟨g⟩を考えればよい。巡回群 ⟨g⟩は G の部分群になるので、その位数 |⟨g⟩| は群 G の位数 |G| を割り切ることになる。

証明

p ≧ 2 より、群 G の単位元 e 以外の元を x とすると、x が生成する巡回群 ⟨x⟩ は群 G の部分群になるから、その位数 |⟨x⟩| は素数 p の約数になる。したがって、|⟨x⟩| = 1 または |⟨x⟩| = p になる。|⟨x⟩| = 1 の場合は、x = e となり不適。|⟨x⟩| = p の場合は群 G の位数と等しくなるので、G = ⟨x⟩ となり題意は示された。

証明

位数 p の巡回群 (Z/pZ) の乗法群 (Z/pZ)^×ばつ = {1, 2, 3, ... , p − 1} は位数 p − 1 の有限群になるから、(Z/pZ)^×ばつ の任意の元を a とすると、ラグランジュの定理の系(2) より、a ^{p − 1} = 1 が成り立つ。したがって、a ∈ {1, 2, 3, ..., p − 1} のとき a ^{p − 1} − 1 が素数 p で割り切れるから、a ^{p − 1} ≡ 1 (mod p) となる。よって、x ≡ a (mod p) のとき、x ^{p − 1} ≡ a ^{p − 1} (mod p) が成り立つので、x ^{p − 1} ≡ 1 (mod p) を得る。

より一般に、合成数 n についても乗法群 (Z/nZ)^×ばつ を考えれば、オイラーの定理を導くこともできる。

ラグランジュの定理の逆が成立するか問うことができる。つまり、位数 n の有限群 G と n を割り切る自然数 d が与えられたとき「位数が d である G の部分群が存在するか」という問いである。よく知られているように、これは一般には存在しない。位数12である4次の交代群 G = A₄ が位数6である部分群をもたないので^{[注釈 1]} 、(群 G の位数が最小の)反例を与えるからである^[25] 。 一方、特別な状況では逆が成立することが知られている。その最たる例はシローの定理である^{[注釈 2]} 。つまり位数 n を割り切る素数 p のべきで最大のもの d = n_p を考えると、位数 n_p の部分群(シロー部分群)が存在する。もうすこし一般に d が n_p を割り切るならば、位数 d の部分群が存在することもわかる^[26] 。(コーシーの定理も参照のこと。)

ラグランジュは代数方程式の解法に関連して、多項式上の置換の理論でこの定理を証明しているが、これは現在の言い方でいう対称群の場合にあたる。当時はまだ群の概念が整備されていなかったので、ラグランジュ自身が群一般で考えていたわけではない。ただその性質は容易に抽象群へと拡張されるもので、現在でもそのままラグランジュの定理と呼ばれている。群論の定理としては、歴史上最初に出現したものである。

• 赤堀庸子「いわゆる「ラグランジュの定理」について」(PDF)『津田塾大学数学・計算機科学研究所報 第12回数学史シンポジウム(2001年10月20日〜21)』第23号、津田塾大学数学・計算機科学研究所、2002年、133-143頁。 
• 国吉秀夫『群論入門』高橋豊文 改訂(新訂版)、サイエンス社〈サイエンスライブラリ理工系の数学 8〉、2001年5月10日。ISBN 978-4-7819-0978-3。 
• 星明考『群論序説』日本評論社、2016年3月25日。ISBN 978-4-535-78809-1。 
• 雪江明彦『代数学 1 群論入門』日本評論社、2010年11月25日。ISBN 978-4-535-78659-2。 
• Gallian, Joseph A. (1993), "On the converse of Lagrange's theorem", Math. Mag. 66 (1): 23, doi:10.2307/2690467, MR 1572926, Zbl 0796.20019 , http://www.jstor.org/stable/2690467  
• Isaacs, I. Martin (2008), Finite Group Theory, Graduate Studies in Mathematics, 92, AMS, doi:10.1090/gsm/092, ISBN 978-0-8218-4344-4, MR 2426855, Zbl 1169.20001 , https://books.google.co.jp/books?id=pCLhYaMUg8IC  

• ラグランジェの定理 - 物理のかぎしっぽ
• 2013 年度前期 離散数学 講義資料(9): 群 (PDF)
• Bray, Nicolas. "Lagrange's Group Theorem". mathworld.wolfram.com (英語).

• 【全8回】第6回「ラグランジュの定理」〜部分群と位数の関係〜【フェルマーの小定理と群論】 - YouTube - AKITOの特異点
• ラグランジュの定理[具体例で学ぶ代数学《群論》No.14] - YouTube
• 群論06 剰余類〜ラグランジュの定理・フェルマーの小定理〜【ゼロから始める群論2020】 - YouTube

「https://ja.wikipedia.org/w/index.php?title=ラグランジュの定理_(群論)&oldid=98390889」から取得

カテゴリ:

• 群論の定理
• 数学に関する記事
• 有限群
• ジョゼフ=ルイ・ラグランジュ
• 数学のエポニム

隠しカテゴリ:

• 出典を必要とする節のある記事/2011年5月-8月