ヒストリア287577 views
数学講師2872095 views
中学数学622641 views
LaTeX959780 views
小学理科718623 views
りんご202163 views
小学算数1198314 views
MathPython494778 views
中学社会667787 views
Computer366795 views

巡回群とは?定義・部分群・生成元から暗号への応用まで

巡回群は、ただ一つの元で生成される群であり、群論に現れる最も単純な構造をもつ。生成元をくり返し掛けるだけですべての元が得られるので、時計の針が同じ文字盤をめぐるように、あるいは正多角形が回転で自らに重なるように、有限個または可算個の元がひと筋の輪をなす。すべての巡回群は、整数の加法群 か、その剰余群 のどちらかと同型であり、この一言で分類が尽きてしまう。単純でありながら、有限体の乗法群や公開鍵暗号、フーリエ変換の背後にまで顔を出す、応用の広い群でもある。

巡回群の定義

が、ある元 によって と生成されるとき、 を巡回群という。この の生成元と呼ぶ。生成される部分群は、 の整数乗をすべて集めたものである。

加法で書かれた群なら にあたり、 となる。生成元一つを決めれば群全体が復元できる、という一点に巡回群の単純さが凝縮されている。

時計と回転で捉える

巡回群のいちばん身近な姿は時計である。文字盤は の目盛りをもち、針を 時間進める操作をくり返すと 回でひとまわりして元に戻る。この「 進める」を生成元とみれば、時計は位数 の巡回群 そのものである。 時の 時間後が 時になるのは、 という剰余の計算にほかならない。

もう一つの絵が回転である。正 角形を中心のまわりに だけ回すと、自分自身にぴたりと重なる。この最小の回転を生成元にとると、 回で一周する位数 の巡回群、いわゆる回転群 が得られる。生成元とは、一歩ずつ進めば必ず全体をちょうど一巡してすべての元を踏む歩幅のことだ、と思うと直感がつかめる。

有限巡回群と無限巡回群

生成元 の位数が有限か無限かで、巡回群は二種類に分かれる。 の位数が 、すなわち となる最小の正の整数が のとき、 は有限巡回群であり、相異なる元が 個そろう。

いっぽう の位数が無限のときは、 のときしか起こらない。したがって整数 が一対一に対応し、 は整数の加法群 と同型な無限巡回群になる。時計が有限巡回群なら、目盛りが両方向へ果てしなく続く数直線が、無限巡回群にあたる。

いろいろな巡回群

具体例を並べておく。もっとも基本的な無限巡回群は整数の加法群 で、生成元は の二つである。有限のほうの代表は剰余群 で、 から までを法 で足し合わせる群、生成元は を含む「 と互いに素な元」たちである。

乗法的に現れる例も多い。複素数のうち を満たすもの、すなわち 乗根全体 は、掛け算に関して位数 の巡回群をなし、生成元は原始 乗根 である。これは正 角形の頂点を単位円上に並べた姿で、さきほどの回転群 と同じ構造をもつ。さらに、後で見るように有限体の乗法群 も巡回群であり、たとえば を生成元とする位数 の巡回群になる( と一巡する)。加法・乗法・回転と装いは違っても、これらはすべて同じ巡回群の変奏にすぎない。

分類定理

例を見ていると、位数さえ同じなら中身も同じに思えてくる。実際それが正しい。位数 の巡回群はすべて と同型であり、無限巡回群はすべて と同型である。生成元を の生成元 に対応させれば、同型がそのまま作れる。

したがって巡回群は、位数ただ一つで完全に分類される。位数 の巡回群を あるいは と書くこともあり、これらはすべて同じ群を指す。 も位数 も、位数が等しければ本質的に区別できない、というのが分類定理の主張である。

部分群

巡回群の部分群は、ふたたび巡回群になる。無限巡回群 の部分群は )の形に限られ、これは で生成される巡回群である。 は偶数全体、 の倍数全体、というぐあいだ。

有限のほうはもっと整っている。 では、 の各約数 に対して位数 の部分群がちょうど一つずつ存在し、それは で生成される。 を例に取ると、 の約数 に対応して、位数 、位数 、位数 、位数 、位数 、位数 が並ぶ。約数の関係がそのまま部分群の包含関係を写し取っているのが、巡回群の際立った特徴である。

部分群と生成元の個数

いまの例から、部分群の個数はすぐ読み取れる。位数 の巡回群の部分群は の約数と一対一に対応するので、その個数は約数の個数 に等しい。 なら で、たしかに部分群は六つだった。

生成元の個数は、別の数論的関数で数えられる。 の生成元は、 と互いに素な元 、すなわち を満たすものに限る。その個数はオイラー関数 で与えられる。 なので、 の生成元は の四つである。一般の元 の位数は で決まり、これが に等しくなる、つまり全体を生成するのは のときに限る、というわけだ。

自己同型群

巡回群を自分自身へ移す同型(自己同型)も、生成元の行き先だけで決まる。無限巡回群 では、生成元 のどちらかへ送るしかないので、自己同型は恒等と符号反転の二つ、 である。

有限の では、生成元 を別の生成元 )へ送る対応が、それぞれ自己同型を与える。写像の合成が掛け算に対応するので、自己同型群は既約剰余類群と同型になる。

その位数は生成元の個数 に等しい。生成元をどう置換できるかが、そのまま群の対称性を測っているわけである。

直積と中国剰余定理

二つの巡回群の直積は、いつでも巡回群になるとは限らない。分かれ目は、位数が互いに素かどうかである。 のときは、中国剰余定理により直積がふたたび巡回群になる。

たとえば である。ところが位数が互いに素でないと、この同型は壊れる。同じ位数 をもつ二つの群を比べると、事情がはっきりする。

(巡回的)

位数 の元 をもち、 と一巡する。ただ一つの元で全体が生成される巡回群。

(非巡回的)

単位元以外はすべて位数 。位数 の元がなく、一つの元では生成できないクラインの四元群。

と同型でないのは、 だからである。位数が同じでも、内部の位数の分布が違えば別の群になる、という好例だ。

素数位数の群

位数が素数 の群は、選択の余地なく巡回群 に限られる。 とし、単位元でない元 を一つとる。ラグランジュの定理より の位数は の約数だが、 なので ではなく、 しかありえない。

したがって は位数 、つまり 全体に一致し、 は巡回群である。位数が素数というだけで、群の構造が一意に決まってしまう。これは、素数位数の群がアーベル群であることや、有限群の分類の出発点としても効いてくる基本事実である。

有限体の乗法群

有限体 は素数の冪)から を除いた乗法群 は、位数 の巡回群になる。これは決して当たり前ではなく、有限体という特別な舞台でのみ成り立つ、味わい深い事実である。

証明の骨格はこうだ。 の元 の位数を とすると で、多項式 は体の上で高々 個しか根をもたない。この根の個数の制約と、有限アーベル群における位数の分布をあわせると、最大位数の元が全体を生成せざるをえないことが従う。この生成元を原始元と呼ぶ。たとえば では が、 では が原始元になる。有限体の乗法が一本の輪をなすこの性質は、次に見る暗号への応用で決定的に効いてくる。

原始根

が巡回群だという話は、 が巡回群になるのはどんな か、という問いへ一般化される。答えははっきりしていて、巡回群になるのは は奇素数)のときに限る。このとき存在する生成元を、 を法とする原始根という。

素数を法とする場合は、必ず原始根が存在する。 では が原始根で、 と六つの元をすべて一巡する。いっぽう は、 とどの元も位数 以下なので巡回群ではなく、 を法とする原始根は存在しない。 が上の形に当てはまらないことと、ちょうど符合している。

応用:1 の n 乗根と離散フーリエ変換

巡回群の乗法的な姿である 乗根は、信号処理の中心にある離散フーリエ変換を支えている。原始 乗根 の冪 は、位数 の巡回群をなす。離散フーリエ変換は、この冪を係数に使って数列を別の数列へ写す変換である。

が一巡して に戻る巡回性のおかげで、変換の計算に周期的な対称性が生まれる。高速フーリエ変換は、まさにこの巡回群の構造を再帰的に使って、計算量を から へ劇的に減らす。巡回群の一巡する性質が、そのまま計算の効率へ直結しているのである。

応用:公開鍵暗号

巡回群は、現代の暗号の土台でもある。大きな素数 に対する は位数 の巡回群で、その生成元 を使うと、 を計算するのは易しいのに、 から を復元する(離散対数を求める)のは非常に難しい。この一方通行性を利用したのが、ディフィー・ヘルマンの鍵共有である。

公開の素数 と生成元 を共有する
アリスは秘密の を選び、 を送る
ボブは秘密の を選び、 を送る
両者は受け取った値を自分の秘密で冪乗し、共通の を得る

盗聴者は を見られても、離散対数が解けないため を作れない。巡回群の生成元をめぐる計算の非対称性が、そのまま安全性の根拠になっている。同じ原理は、エルガマル暗号や楕円曲線暗号にも受け継がれている。

応用:身近な周期

抽象的に見える巡回群は、日々くり返される周期のいたるところに潜んでいる。三つほど挙げておく。

時計と曜日

時間で一巡する時計は 日で一巡する曜日は 。何日後が何曜日かは、剰余の足し算そのものである。

音階の 12 音

オクターブは の半音に分かれ、移調は音を一定数だけずらす操作にあたる。音高の類は をなし、移調は巡回群の平行移動になる。

疑似乱数

線形合同法は で数列を作る。剰余の世界を巡回する動きを利用しており、周期の長さは巡回群の構造で決まる。

時計の針から暗号の鍵、音楽の移調まで、一つの元がくり返し全体を巡るという巡回群の単純な仕組みが、姿を変えて何度も現れる。最も基本的な群が、最も広く世界に根を張っているのである。

1 つの元で生成される巡回群を、時計や回転の直感から解説します。定義・分類定理(すべて Z か Z/nZ)、部分群と生成元の個数、自己同型群、中国剰余定理、素数位数の群、有限体の乗法群や原始根、離散フーリエ変換・公開鍵暗号への応用。