環と体の電卓

環と体の電卓

環と体の電卓は、有限代数的構造の2つの最も重要なファミリーである剰余環 Z_n とガロア有限体 GF(p^k) 内で正確な算術を実行します。加算、減算、乗算、除算、累乗、乗法的逆元、および元の位数を処理し、すべての結果に構造解析（単元、零因子、べき零元、べき等元、原始根、および色分けされた Cayley テーブル）を添えて表示します。

Z_n — 剰余環

正の整数 n に対して、環 Z_n = {0, 1, 2, …, n − 1} は n を法とした加法と乗法を持ちます。元 a が Z_n の単元（つまり乗法的逆元を持つ）であるための必要十分条件は gcd(a, n) = 1 であり、乗法群 Z_n* の位数はオイラーのトーシェント関数 φ(n) となります。

n が合成数の場合、gcd(a, n) > 1 となる元 a は零因子です：a · b ≡ 0 (mod n) となる b ≠ 0 が存在します。この電卓はすべての元をその構造的役割に自動分類します。

逆元を求める — 拡張ユークリッド互除法

gcd(a, n) = 1 の場合、拡張ユークリッド互除法により a · x + n · y = 1 となる整数 x, y が得られ、ここから a⁻¹ ≡ x (mod n) が導かれます。ツールは逆元の計算時にベズーの等式を表示します。

乗法的位数

単元 a に対して、乗法的位数 ord(a) は a^k ≡ 1 (mod n) となる最小の k ≥ 1 です。ラグランジュの定理により、ord(a) は φ(n) を割り切ります。ord(a) = φ(n) となる元は原始根と呼ばれ、単元群全体を生成します。原始根が存在するのは、n が 1, 2, 4, p^k, 2p^k（p は奇素数）のいずれかである場合に限られます。

GF(p^k) — 有限（ガロア）体

すべての素数 p と正の整数 k に対して、位数 p^k の一意な体（同型を除いて）が存在します。これがガロア体 GF(p^k) = 𝔽_p^k です。その元は GF(p) = Z_p の係数を持つ次数 < k の多項式として表され、次数 k の既約多項式 f(x) を法として算術が行われます。

電卓は一般的な (p, k) の組み合わせに対して標準的な既約多項式を提案します。例えば、GF(4) には x² + x + 1、GF(8) には x³ + x + 1、GF(16) には x⁴ + x + 1、GF(9) には x² + 1 などです。これらは独自の多項式で上書きすることも可能です。ツールは Rabin スタイルの gcd テストで既約性を検証します。

なぜ f(x) は既約である必要があるのか？

もし f(x) が deg g, deg h ≥ 1 となる g(x)·h(x) に因数分解できるなら、商環における g(x) と h(x) の像は非零の零因子となり、商環は体ではなく環になってしまいます。既約性は、GF(p)[x] / ⟨f(x)⟩ が体になるための正確な条件です。

多項式の算術と逆元

加算は係数ごとの mod p 加算です。乗算は通常の多項式乗算の後に簡約を行います：a(x)·b(x) を計算し、f(x) で割った剰余 r(x)（deg r < k）を求めます。乗法的逆元は多項式環 GF(p)[x] 上の拡張ユークリッド互除法から得られます：u(x)·a(x) + v(x)·f(x) = 1 となる u(x) と v(x) を見つけます。

環と体の一覧比較

電卓の使い方

1. 構造を選択する — 剰余整数の場合は Z_n、拡大体の場合は GF(p^k) を選択します。フォームは関連するフィールドのみを表示するように切り替わります。
2. パラメータを入力する — 法 n、または素数 p と次数 k を入力します。GF(p^k) の場合、既約多項式を空白にすると標準的なものが自動入力されます。
3. 操作を選択する — 加算、減算、乗算、除算、累乗、逆元、または位数の7つの選択肢から選べます。
4. 元を入力する — Z_n の場合は整数を、GF(p^k) の場合は x^2 + x + 1 のような多項式を入力します。係数リスト形式 (1,1,1) も使用可能です。
5. 「環 / 体で計算」をクリック。計算結果とともに、ステップバイステップの過程、各元の分類、および構造が十分に小さい場合は Cayley テーブルが表示されます。

計算例 — GF(8) = GF(2³)

f(x) = x³ + x + 1 (GF(2) 上で既約) とします。a(x) = x + 1 に b(x) = x² を掛けます：

乗法群 GF(8)* は位数 7 の巡回群であり、元 x は k = 1, 2, …, 7 に対して x^k がすべての非零元を網羅するため原始元となります。

なぜこれが重要なのか

• 暗号学 — AES は f(x) = x⁸ + x⁴ + x³ + x + 1 を用いた GF(2⁸) 内の算術を使用します。楕円曲線暗号や離散対数問題は GF(p) や GF(p^k) の中で扱われます。
• 誤り訂正符号 — リード・ソロモン符号や BCH 符号（CD、QRコード、DVB-T、ボイジャー探査機などで使用）は、GF(2⁸) や GF(2^m) 上の多項式から構築されます。
• 組合せデザイン — 有限体は、統計実験で使用されるアダマール行列、射影平面、ラテン方格を構築するために用いられます。
• コンピュータ代数 — 因数分解や剰余簡約アルゴリズム (Berlekamp, Cantor-Zassenhaus) は有限体上で定式化されています。
• 数論教育 — Z_n、原始根、平方剰余は、剰余算術、RSA、Diffie-Hellman への入り口となります。

よくある質問

Z_n が体になるのはいつですか？

剰余環 Z_n が体であるための必要十分条件は、n が素数であることです。その場合、すべての 0 < a < n に対して gcd(a, n) = 1 となるため、すべての非零元は単元となります。n が合成数の場合、Z_n は零因子を持ち、整域ではなく環に留まります。

GF(p^k) とは何ですか？

GF(p^k) は位数 p^k のガロア体とも呼ばれ、p^k 個の元を持つ一意な有限体です。その元は GF(p) 上の次数 k 未満の多項式として表され、次数 k の既約多項式 f(x) を法として算術が行われます。各素数 p と正の整数 k に対して、同型を除いてそのような体はただ一つ存在します。

既約多項式とは何ですか？なぜ必要なのですか？

GF(p) 上の既約多項式とは、GF(p) の係数を持つより低い次数の多項式に因数分解できない多項式のことです。次数 k の既約多項式を法として簡約すると、体となる商環が得られます。既約性がない場合、商環は零因子を持ち、体にはなりません。

零因子とは何ですか？

環の非零元 a が零因子であるとは、a · b = 0 となるような非零元 b が存在することを指します。Z_n において、零因子は正確には gcd(a, n) が 1 より大きい元 a です。体には零因子が存在しません。そのため、Z_n が体であるのは n が素数のときに限られます。

元の乗法的位数とは何ですか？

単元 a の乗法的位数とは、環において a^k が 1 に等しくなる最小の正の整数 k です。ラグランジュの定理により、この位数は乗法群のサイズ（Z_n の場合は φ(n)、GF(p^k) の場合は p^k − 1）を割り切ります。位数が群全体のサイズに等しい元は、原始根または生成元と呼ばれます。

GF(p^k) の原始元は何をしますか？

原始元は乗法群 GF(p^k)* の生成元であり、この群は位数 p^k − 1 の巡回群です。体のすべての非零元は原始元の累乗として記述できるため、離散対数、BCH符号、リード・ソロモン符号などの誤り訂正が可能になります。

参考文献

• 剰余類環 — Wikipedia
• 有限体 — Wikipedia
• 原始根 — Wikipedia
• オイラーのφ関数 — Wikipedia
• 既約多項式 — Wikipedia

高度な数学操作:

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