Mathematics数学University
OCRAPOntarioNSWCBSEGCE O-LevelMoECAPS

ラグランジュの定理

任意の有限群Gに対して、すべての部分群Hの位数がGの位数を割り切ることを述べる。

Understand the formulaSee the free derivationOpen the full walkthrough
Open Full WalkthroughTry Calculator

This public page keeps the free explanation visible and leaves premium worked solving, advanced walkthroughs, and saved study tools inside the app.

Core idea

Overview

ラグランジュの定理について、主要な入力値と式の関係を整理し、計算結果の意味を解釈するための説明です。条件、単位、前提を確認しながら使うことで、結果を比較、判断、見積もり、リスク確認に結びつけやすくなります。必要に応じて値を変え、結果の変化も確認してください。

When to use: ラグランジュの定理は、与えられた値から必要な結果を求めたいときに使います。入力の単位、範囲、前提条件を確認してから代入し、計算結果を現実の条件や問題文の目的と照らし合わせてください。

Why it matters: ラグランジュの定理の結果は、数値を比較し、傾向、制約、リスク、設計上の判断を説明するために役立ちます。答えを単独の数値として扱わず、条件が変わったときの意味や妥当性も確認できます。

Symbols

Variables

[G:H] = Index [G:H], |G| = Order of Group G, |H| = Order of Subgroup H

[G:H]
Index [G:H]
Variable
|G|
Order of Group G
Variable
|H|
Order of Subgroup H
Variable

Walkthrough

Derivation

ラグランジュの定理の導出・理解

ラグランジュの定理は、任意の有限群Gとその任意の部分群Hに対して、Hの位数がGの位数を割り切り、その商がGにおけるHの指数であることを述べています。

1

剰余類とGの分割の定義:

これは、の各要素がのちょうど1つの左剰余類に属し、すべての異なる左剰余類の和集合がであることを意味します。

Let $H$ be a subgroup of a finite group $G$. For any $a \in G$, the left coset of $H$ containing $a$ is $aH = \{ah \mid h \in H\}$. The set of all distinct left cosets of $H$ in $G$ forms a partition of $G$.
2

剰余類の同数性:

これにより、のすべての左剰余類が部分群自体と同じ数の要素を持つことが示されます。

For any $a \in G$, the mapping $f: H \to aH$ defined by $f(h) = ah$ is a bijection. Therefore, $|aH| = |H|$ for all $a \in G$.
3

Gの要素の数え上げ:

群は個の異なる左剰余類の非交和であり、ここでは異なる左剰余類の数です。

Since the distinct left cosets partition $G$, we can write $G = a_1H \cup a_2H \cup \dots \cup a_kH$, where $a_iH \cap a_jH = \emptyset$ for $i \neq j$.
4

ラグランジュの定理の導出:

非交な剰余類の大きさを合計し、各剰余類が大きさを持つことを知ることで、定理の公式に到達します。この公式はHの位数がGの位数を割り切ることを示しています。

$|G| = |a_1H| + |a_2H| + \dots + |a_kH|$. Since $|a_iH| = |H|$ for all $i$, we have $|G| = k \cdot |H|$. The number of distinct left cosets, $k$, is defined as the index of $H$ in $G$, denoted by $[G:H]$. Thus, $|G| = [G:H] \cdot |H|$.

Result

$|G| = |a_1H| + |a_2H| + \dots + |a_kH|$. Since $|a_iH| = |H|$ for all $i$, we have $|G| = k \cdot |H|$. The number of distinct left cosets, $k$, is defined as the index of $H$ in $G$, denoted by $[G:H]$. Thus, $|G| = [G:H] \cdot |H|$.

Source: A First Course in Abstract Algebra by John B. Fraleigh

Free formulas

Rearrangements

Solve for [G:H]

[G:H] について解く

ラグランジュの定理で指数 [G:H] について解くには、方程式の両辺を部分群 H の位数 |H| で割ります。

Difficulty: 2/5

The static page shows the finished rearrangements. The app keeps the full worked algebra walkthrough.

Visual intuition

Graph

Graph type: hyperbolic

Why it behaves this way

Intuition

群G全体を、それぞれが部分群Hをシフトして形成された剰余類である、区別可能で同じ大きさの分割の集まりとして視覚化します。

|G|
有限群Gにおける異なる要素の総数。
群の全体的な『大きさ』または『個数』を表します。
|H|
部分群Hにおける異なる要素の総数。
より大きな群の中にある、より小さく自己完結した構造(部分群)の『大きさ』を表します。
[G:H]
GにおけるHの異なる左(または右)剰余類の数。
部分群Hが群Gを重複なく完全に覆うために必要な「塊」または「分割」の数を表す。

Free study cues

Insight

Canonical usage

この式は、有限群、その部分群、および剰余類の数という整数カウントを関連付けるもので、これらはすべて無次元量です。

Dimension note

ラグランジュの定理に含まれるすべての量、すなわち群の位数（|G|）、部分群の位数（|H|）、部分群の指数（[G:H]）は、要素または剰余類の整数カウントです。

One free problem

Practice Problem

次の条件を使って、ラグランジュの定理を求めてください。必要な値を式に代入し、単位と桁数を確認して答えてください。 条件: 48, 12。

Hint: ラグランジュの定理の式に既知の値を代入し、単位、符号、分母と分子の対応を確認しながら計算してください。問題文で与えられた条件を先に整理すると解きやすくなります。

The full worked solution stays in the interactive walkthrough.

Where it shows up

Real-World Context

ラグランジュの定理は、実務、学習、分析の場面で具体的な値を代入して結果を確認するときに使えます。計算結果を単なる数値として扱うのではなく、条件の比較、判断、見積もり、リスク確認に結びつけて解釈するのに役立ちます。

Study smarter

Tips

  • この定理は有限群にのみ適用され、すべての約数に対応する部分群の存在を保証するものではありません。
  • 指数 [G:H] は常に整数でなければなりません。
  • 元は巡回部分群を生成するため、G の任意の元の位数も G の位数を割り切ることを覚えておいてください。

Avoid these traps

Common Mistakes

  • 位数の「整除性」の概念が同じように適用されない無限群に定理を適用すること。
  • 群の位数のすべての約数に対して部分群が存在しなければならないと仮定すること。

Common questions

Frequently Asked Questions

ラグランジュの定理は、任意の有限群Gとその任意の部分群Hに対して、Hの位数がGの位数を割り切り、その商がGにおけるHの指数であることを述べています。

ラグランジュの定理は、与えられた値から必要な結果を求めたいときに使います。入力の単位、範囲、前提条件を確認してから代入し、計算結果を現実の条件や問題文の目的と照らし合わせてください。

ラグランジュの定理の結果は、数値を比較し、傾向、制約、リスク、設計上の判断を説明するために役立ちます。答えを単独の数値として扱わず、条件が変わったときの意味や妥当性も確認できます。

位数の「整除性」の概念が同じように適用されない無限群に定理を適用すること。 群の位数のすべての約数に対して部分群が存在しなければならないと仮定すること。

ラグランジュの定理は、実務、学習、分析の場面で具体的な値を代入して結果を確認するときに使えます。計算結果を単なる数値として扱うのではなく、条件の比較、判断、見積もり、リスク確認に結びつけて解釈するのに役立ちます。

この定理は有限群にのみ適用され、すべての約数に対応する部分群の存在を保証するものではありません。 指数 [G:H] は常に整数でなければなりません。 元は巡回部分群を生成するため、G の任意の元の位数も G の位数を割り切ることを覚えておいてください。

References

Sources

  1. Dummit and Foote, Abstract Algebra
  2. Fraleigh, A First Course in Abstract Algebra
  3. Wikipedia: Lagrange's theorem (group theory)
  4. Abstract Algebra by David S. Dummit and Richard M. Foote
  5. Contemporary Abstract Algebra by Joseph A. Gallian
  6. Dummit, David S., and Richard M. Foote. Abstract Algebra. 3rd ed. John Wiley & Sons, 2004.
  7. Wikipedia contributors. 'Lagrange's theorem (group theory).' Wikipedia, The Free Encyclopedia.
  8. A First Course in Abstract Algebra by John B. Fraleigh