2010年から · 毎月200万回以上のツール利用を支えています
2010年から
Chrome に追加

私のツールボックス

自動モード

保存したツールはまだありません。

プレミアムバージョンにアップグレード
関連ツール
環と体の電卓原始根電卓メビウス関数電卓インタラクティブ周期表リポグラム チェッカー
ホームページ > 数学 > 高度な数学操作
 

群論の位数電卓

有限群のすべての元の位数を計算し、可換群か巡回群かを判定し、ケイリー表を色分けヒートマップとして描画し、部分群の束をハッセ図で表示します。巡回群、二面体群、対称群に対応します。

無料で利用可能登録不要すぐに結果表示
群論の位数電卓今すぐ無料で試す ▼
クイック例:
Z₁₂ — 8の位数 Z₇ (素数 → 単純) Z₄ × Z₆ Z₃ × Z₅ (≅ Z₁₅) D₄ (正方形) D₆ (正六角形) S₃ ≅ D₃ S₄
直積 Z_m × Z_n の場合にのみ使用されます。
Z_n の場合、1 から 120 までの整数。
例：5 — 任意の整数（mod n で計算されます）。

群論の位数電卓を埋め込む

群論の位数電卓

群論の位数電卓は、有限群を学習するためのインタラクティブなツールです。全要素の位数の計算、アーベル群や巡回群の判定、要素の位数で色分けされたケイリー表（乗積表）の描画、そして部分群束をハッセ図として表示することができます。代数学の初歩で扱う主要な4つの群：巡回群 Zn、直積 Zm × Zn、二面体群 Dn、対称群 Sn をサポートしています。

要素の位数とは？

単位元 e を持つ有限群 G において、要素 g ∈ G の位数（|g| または ord(g) と表記）とは、次を満たす最小の正の整数 k のことです。

gk = e

言い換えれば、g の位数はその要素によって生成される巡回部分群のサイズ |⟨g⟩| = ord(g) に等しくなります。ラグランジュの定理により、ord(g) は常に |G| を割り切るため、例えば位数 12 の群では、要素の位数は 1, 2, 3, 4, 6, 12 のいずれかになります。

主要な群の公式

巡回群 Zn

n を法とする加法群において、要素 k の位数は以下の通りです。

ord(k) = n / gcd(n, k)

この群は常に巡回群（1によって生成される）であり、生成元の数はオイラーのトーシェント関数 φ(n) に等しくなります。

直積 Zm × Zn

ord(a, b) = lcm( Zm での ord(a) , Zn での ord(b) )

この直積が巡回群になる（つまり Zmn と同型になる）ための必要十分条件は、gcd(m, n) = 1 であることです。これは群論における中国剰余定理の言い換えです。例えば、Z3 × Z5 ≅ Z15 ですが、Z2 × Z4 ≇ Z8 です。

二面体群 Dn

Dn は 2n 個の要素を持ち、n 個の回転 rk と n 個の反射 s·rk で構成されます。要素の位数は以下の単純なパターンに従います。

ord(rk) = n / gcd(n, k) , すべての k に対して ord(s·rk) = 2

すべての反射は対合（位数 2）です。n ≥ 3 のとき、Dn は非アーベル群です。

対称群 Sn

置換の位数は、互いに素な巡回置換記法における各巡回置換の長さの最小公倍数に等しくなります。

ord( (1 2 3)(4 5) ) = lcm(3, 2) = 6

Sn の位数は n! であり、n ≥ 3 のとき非アーベル群です。

ケイリー表が示す構造

ケイリー表は群の乗積表です。行 a と列 b の交点は積 a · b を示します。群の公理から、次の 3 つのエレガントな性質が導かれます。

この電卓では、結果となる要素の位数によってセルが色分けされるため、構造的なパターンを一目で把握できます。例えば、巡回群では各行が互いに巡回シフトした関係になっており、虹のような美しい視覚的特徴が現れます。

部分群束

包含関係によって順序付けられた G のすべての部分群の集合は、束（順序論的な意味で）を形成します。これをハッセ図として描くと、最下部に自明な部分群 {e}、最上部に群全体 G が配置され、K ⊂ H が被覆関係（間に他の部分群が存在しない）にあるときに辺 H → K が引かれます。この束から以下のことがわかります。

特徴 何がわかるか
束の高さ 部分群の最長の鎖の長さ — |G| の素因数の数によって抑えられます。
極大部分群の数 G によって直接被覆される部分群。位数 pk の巡回群の場合、極大部分群は正確に 1 つです。
正規部分群 (実線) 共役写像の下で不変な部分群。正規部分群が {e} と G だけである群を「単純群」と呼びます。
巡回部分群 各要素によって生成される部分群。アーベル群において、すべての部分群は巡回部分群の直和となります（有限生成アーベル群の基本定理）。

実行例 — D4 (正方形の対称群)

正方形に作用する位数 8 の二面体群は、e, r, r², r³ (回転) と s, sr, sr², sr³ (反射) の 8 つの要素を持ちます。このツールは以下を導き出します。

この電卓の使い方

  1. 群の種類を選択: タブを使用して、巡回群、直積、二面体群、または対称群を選択します。
  2. パラメータを入力: Zn, Dn, Sn の場合は整数 n を、直積の場合は m と n の両方を入力します。
  3. 要素を任意で指定: 強調表示フィールドに要素を入力します。例：Z12 なら 8、直積なら (1,2)、Dn なら r^2 や s·r^3、Sn なら (1 2 3)。その位数と生成される巡回部分群が表示されます。
  4. 「群を分析」をクリック: 位数で色分けされたケイリー表、位数分布の棒グラフ、全要素のリスト、および詳細をホバー確認できるハッセ図（部分群束）が表示されます。
  5. ハッセ図を操作: ノードをホバーすると、その部分群の要素、生成元、正規性の有無が表示されます。ケイリー表のセルをホバーすると、どの要素の積であるかを確認できます。

本バージョンの制限事項

一般的な用途

よくある質問 (FAQ)

群の要素の位数とは何ですか？

有限群 G の要素 g の位数とは、gk が単位元になる最小の正の整数 k のことです。ラグランジュの定理により、すべての要素の位数は群の位数を割り切ります。

Zn の要素の位数はどのように計算しますか？

n を法とする加法群 Zn において、要素 k の位数は n / gcd(n, k) です。例えば、Z12 において要素 8 の位数は 12 / gcd(12, 8) = 12 / 4 = 3 となります。

群が巡回群になるのはどのような時ですか？

有限群が巡回群であるための必要十分条件は、その位数が群の位数と等しい要素を少なくとも1つ含むことです。位数 n のすべての巡回群は Zn と同型です。直積 Zm × Zn が巡回群になるのは、gcd(m, n) = 1 のときのみです。

ケイリー表（乗積表）とは何ですか？

ケイリー表は、群のすべての要素のペアの積をリストした正方形の乗積表です。行 a と列 b の交点は積 a · b を示します。ケイリー表の各行と各列は群の要素の置換になっており、これは「ラテン方格性」と呼ばれます。

部分群束とは何ですか？

有限群 G の部分群束とは、包含関係によって順序付けられた G のすべての部分群の半順序集合です。ハッセ図として描くことで、どの部分群がどの部分群に含まれているかを視覚的に理解し、正規部分群や組成列を特定しやすくなります。

なぜ S3 は D3 と同型なのですか？

両方の群は位数 6 であり、要素の位数の多重集合が同じです（位数 1 が 1 つ、位数 3 が 2 つ、位数 2 が 3 つ）。正三角形の 6 つの対称性（3 つの回転と 3 つの反射）は、その 3 つの頂点の 6 つの置換と正確に対応しているため、これら 2 つの群は抽象的に同じ群となります。この電卓で両方を生成すると、部分群束が完全に一致することがわかります。

参考文献

このコンテンツ、ページ、またはツールを引用する場合：

"群論の位数電卓"（https://MiniWebtool.com/ja/群論の位数電卓/）、MiniWebtool、https://MiniWebtool.com/

by miniwebtool チーム. 更新日: 2026年4月23日

また、AI 数学ソルバー GPT を使って、自然言語による質問と回答で数学の問題を解決することもできます。

高度な数学操作:

人気・最新のツール:

集合論電卓二階常微分方程式ソルバー一階常微分方程式ソルバーすべて見る →
ホームページ > 数学 > 高度な数学操作 > 群論の位数電卓