群論の位数電卓

群論の位数電卓

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

要素の位数とは？

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

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

主要な群の公式

巡回群 Z_n

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

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

直積 Z_m × Z_n

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

二面体群 D_n

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

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

対称群 S_n

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

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

ケイリー表が示す構造

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

• ラテン方格 — すべての行とすべての列は群の要素の置換になっています（各要素が正確に一度ずつ現れます）。
• 対角線に対する対称性は、その群がアーベル群であることと同値です。
• 単位元の対角線 — 対角線のエントリ A[i][i] が単位元になるのは、その要素の位数が 1 または 2 のときだけです。

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

部分群束

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

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

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

• 位数配列: 1, 4, 2, 4, 2, 2, 2, 2 — 回転の中心である r² が唯一の非自明な中心要素です。
• 非アーベル群: s · r ≠ r · s であるため。
• 非巡回群: 位数 8 の要素が存在しないため。
• 10 個の部分群: 特徴的な「D₄ 束」を構成します。位数 1 が 1 つ、位数 2 が 5 つ、位数 4 が 3 つ（1 つの巡回群 ⟨r⟩ と 2 つのクラインの四元群）、位数 8 が 1 つ。
• 3 つの正規部分群: {e, r²}、⟨r⟩、および各クラインの四元部分群。位数 2 の反射による部分群は正規ではありません。

この電卓の使い方

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

本バージョンの制限事項

• 巡回群 Z_n: n ≤ 120
• 直積 Z_m × Z_n: m · n ≤ 144
• 二面体群 D_n: n ≤ 20 (|D_n| ≤ 40)
• 対称群 S_n: n ≤ 5 (|S₅| = 120)
• ケイリー表の描画: 位数 24 以下の群まで
• 部分群束の計算: 位数 60 以下の群まで

一般的な用途

• 抽象代数学の学習 — 要素の位数、ラグランジュの定理、部分群の列挙などの宿題の確認に。
• 暗号理論 — 素数を法とする乗法群は巡回群であり、ord(g) はディフィー・ヘルマン鍵共有の安全性に直結します。
• 結晶学および化学 — 二面体群は、分子や結晶面の回転対称性を記述するために使用されます。
• 組合せ数学 — 対称群は置換を数え上げるために使用され、バーンサイドの補題やポリアの数え上げ定理に応用されます。
• 物理学 — 量子力学における点群、リー群、および対称性の議論は、この電卓で可視化されるような有限群の直感から始まります。

よくある質問 (FAQ)

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

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

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

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

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

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

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

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

部分群束とは何ですか？

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

なぜ S₃ は D₃ と同型なのですか？

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

参考文献

• 位数 (群論) — Wikipedia
• ケイリー表 — Wikipedia
• 部分群の束 — Wikipedia
• 二面体群 — Wikipedia
• 対称群 — Wikipedia

高度な数学操作:

• antilog電卓
• ベータ関数電卓
• 二項係数電卓 おすすめ
• 二項確率分布電卓
• ビットに基づいての電卓
• 中心極限定理電卓
• 組み合わせ電卓
• 相補誤差関数電卓
• 複素数電卓
• エントロピー電卓
• エラー関数電卓
• 指数減衰電卓（高精度）
• 指数成長電卓 高精度
• 指数積分電卓
• 指数電卓（高精度） おすすめ
• 階乗電卓
• ガンマ関数電卓
• 黄金比電卓
• 半減期電卓
• パーセント成長率電卓 おすすめ
• 順列電卓
• ポアソン分布電卓
• 多項式の根電卓と詳細なステップ
• 確率電卓
• 確率分布電卓
• 比例計算機
• 二次式電卓
• 関数電卓 おすすめ
• 科学表記法電卓
• 有効数字電卓 新しい
• 立方和電卓
• 正の整数の電卓
• 平方和の計算
• 真理値表ジェネレーター
• 集合論電卓
• ベン図ジェネレーター3集合
• 中国剰余定理電卓
• オイラーのトーシェント関数電卓
• 拡張ユークリッドアルゴリズム電卓
• モジュラー乗法逆数電卓
• 連分数電卓
• ダイクストラ最短経路電卓
• 最小全域木電卓
• グラフ次数列バリデーター
• 完全順列 サブファクトリアル電卓
• スターリング数電卓
• 鳩の巣原理電卓
• マルコフ連鎖定常分布電卓
• 四捨五入電卓 新しい
• 負の二項分布電卓 新しい
• 重複順列電卓 新しい
• モジュラー冪乗計算機 新しい
• 原始根電卓
• ブール代数簡略化ツール 新しい
• カルノー図 (K-Map) ソルバー 新しい
• グラフ彩色電卓 新しい
• トポロジカルソート電卓 新しい
• 隣接行列電卓 新しい
• 包除原理電卓 新しい
• 線形計画法ソルバー 新しい
• 巡回セールスマン問題ソルバー TSP 新しい
• ハミルトン路チェッカー 新しい
• 平面グラフ判定 新しい
• ネットワークフロー電卓最大フロー 新しい
• 安定結婚問題ソルバー 新しい
• 群論の位数電卓 新しい
• 環と体の電卓 新しい