加法群 において、元 ( を代表とする剰余類)の位数を求めよ。
群の位数と元の位数
巡回群 の元 の位数 を求められる。ラグランジュの定理(元の位数・部分群の位数は群の位数を割り切る)を使って、とりうる位数や、位数 の元の個数 を求められる
前提
- 最大公約数と最小公倍数 (数学A 整数の性質)
- 合同式 (数学A 整数の性質)
この技能までの道筋(20 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 約数の見つけ方 (算数 整数の性質)
- 最大公約数と最小公倍数 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 最大公約数と最小公倍数 (数学A 整数の性質)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 文字式で表した整数の性質 (中学数学 数と式)
- 余りによる整数の分類 (数学A 整数の性質)
- 樹形図で数え上げる (算数 場合の数)
- 積の法則と和の法則 (算数 場合の数)
- 和の法則・積の法則と樹形図 (数学A 場合の数と確率)
- 合同式 (数学A 整数の性質)
説明
足し算で余りをとる群 の各元について、何回足すと に戻るか(元の位数)を だけで求められるようになります。さらにラグランジュの定理を使うと、元の位数としてありうる値が群の位数の約数に限られることがわかります。 では、位数 の元がちょうど 個あることも数えられます。これらは、群の構造を調べるときや、合同式で周期を求めるときの基本の道具になります。
なぜそうしてよいのか
まず言葉を決めます。集合 に演算が定まっていて、結合法則が成り立ち、単位元と各元の逆元があるものを群といいます。 の元の個数 を群の位数といいます。 は、 で割った余りどうしを足し算する群で、単位元は 、位数は です。元 を 回演算すると単位元になるような最小の正の整数 を、元 の位数といいます。 の元 でいえば、、つまり となる最小の正の整数 のことです。
この を求めます。 とおき、( は互いに素)と書きます。すると は 、すなわち と同じ条件です。 と は互いに素なので、これは と同じです。したがって最小の は で、元 の位数は です。 のときも なので、位数は になり、正しく求まります。
逆に、位数が になる元を数えます。位数が になるのは のときなので、 は の約数でなければなりません。このとき と書けて、 ですから、条件は になります。 以上 以下で と互いに素な整数の個数を と書きます(。 は のときだけ条件を満たし、 の代わりとして数えます)。こうして、位数 の元はちょうど 個あります。一般の有限群については、ラグランジュの定理「部分群の位数も元の位数も を割り切る」が成り立ちます。直観的には、部分群を平行移動した同じ大きさの塊(剰余類)で がすき間なく分割されるからです。 で元の位数がいつも の約数になるのは、この定理の一例です。
手順
群と演算を確認する。 なら演算は を法とする足し算で、単位元は 、群の位数は である。
元 の位数を求めるときは、 を計算し、位数を とする。
とりうる位数を考えるときは、ラグランジュの定理を使う。元の位数も部分群の位数も の約数である。 では、 の約数 のどれについても位数 の元がある。
位数 の元の個数を求めるときは、まず かを確かめる。割り切らなければ 個である。割り切るなら、その元は (、)と書ける。
を数える。 以上 以下で と互いに素な数を書き出せばよい。( は素数)なら、 の倍数を除いて となる。
例題
加法群 において、位数が である元の個数を求めよ。
例題の解答
手順1: 群は で、演算は を法とする足し算、単位元は 、群の位数は である。
手順3・4: なので、位数 の元は存在する。位数が になる条件は 、つまり である。そこで と書くと、条件は になる。
手順5: で と互いに素なのは で、 と一致する。対応する元は である。
手順2で確認する: たとえば なので、 の位数は となり、正しい。
よって、位数 の元は 個である。
答え:
よくある誤り
位数を や としてしまう誤り。正しくは である。例: の は なので、位数は ()であり、 ではない。
の位数を、掛け算で となる と考えてしまう誤り。正しくは、この群の演算は足し算なので、 となる最小の正の整数 である。
単位元 の位数を としてしまう誤り。正しくは なので位数は である( から )。
位数 の元の個数を としたり、ラグランジュの定理の逆「 なら位数 の元がある」が一般の群でも成り立つと思ったりする誤り。正しくは、 での個数は である(例: で位数 の元は 個で、 個ではない)。また一般の群では逆は成り立たない。たとえば の元の組 を成分ごとに足す位数 の群では、どの元も 回足すと になるので、位数 の元はない。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
この技能を使う問題
四元数全体 の中の単位四元数全体 を考える。
で生成される の部分群を とし、 を左からの積で に作用させた商空間 を考える。 の基本群 の位数と、そのアーベル化 の位数を、この順に組で答えよ。加法群の直積 を考える。 の部分群のうち、位数が の巡回群であるものの個数を求めよ。
有限アーベル群 の部分群全体を包含関係で順序づけた半順序集合(部分群束)を とし、 を のメビウス関数とする。 の値を求めよ。ただし は部分群 の位数を表す。
有限群 (単位元を とする)が、元の個数 ( は正の整数)の集合 に左から推移的に作用しているとする。すなわち、任意の に対して となる が存在する。 が固定点をもたないとは、 を満たす が存在しないことをいう。
各 の固定部分群 が の部分群であること、および軌道・固定部分群定理( の軌道 について )とラグランジュの定理は用いてよい。
このとき、固定点をもたない の元は少なくとも 個あることを証明せよ。
を奇素数の冪とし、 を位数 の有限体とする。 とおき、 を 次の単位行列とする。このとき、 の位数 の元はちょうど 個であり、それは であることを証明せよ。体上の線形代数の基本事項(最小多項式、最小多項式が相異なる 次式の積に分解するとき行列が対角化可能であること)は用いてよい。
を奇素数とする。 と互いに素な整数 の を法とする位数とは、 をみたす最小の正の整数 のことであり、位数が である整数を を法とする原始根という。 を を法とする原始根とする。
ディフィー・ヘルマン鍵共有では、秘密の 0 以上の整数 に対して を で割った余りが公開される。このとき、すべての 0 以上の整数 に対して
が成り立つこと(したがって公開された値から秘密 の偶奇がわかること)を証明せよ。ただし、次の事実は用いてよい。
- と互いに素な整数 の位数を とすると、0 以上の整数 について となるのは のとき、かつそのときに限る
- 素数 が整数の積 を割り切るならば、 または であるを をみたす素数とし、 を 3 次斉次多項式または零多項式とする。射影平面 の曲線
の 有理点の集合を
と定める(両辺はともに 3 次斉次なので、この条件は斉次座標の取り方によらない)。このとき、 の取り方によらず
であることを証明せよ。ただし、有限群の元の位数は群の位数を割り切ること(ラグランジュの定理)は用いてよい。0 胞体 を 1 つ、1 胞体 を 2 つもち(それぞれ を基点とするループとして向きを定める)、2 胞体 を、境界がそれぞれループ 、 に沿うように貼り付けて得られる CW 複体を とする。基本群 は無限群であるが、そのアーベル化 は位数 の有限群であることを証明せよ。ここで は の交換子部分群である。
ただし、次の事実は証明なしに用いてよい: 連結な CW 複体の 1 骨格が 1 点で束ねた円周の族で、その円周に対応するループを とするとき、2 胞体を接着写像のループ に沿って貼り付けた空間の基本群は、群の表示 で与えられる(ファン・カンペンの定理の帰結)。
RSA 暗号の公開鍵として、相異なる 2 つの素数 の積 と暗号化指数 が公開されている。暗号化は、平文 ( を満たす整数)に対して
で行う。いま、攻撃者はオイラー関数の値 を知ったとする。暗号化しても値が変わらない平文、すなわち
を満たす整数 の個数を求めよ。合成数 を法とする離散対数を考える。
を満たす最小の正の整数 を求めよ。正十角形の頂点に、反時計回りに と番号を付ける。この正十角形を自分自身に重ねる合同変換(回転と裏返し)全体は位数 の二面体群 をなす。各変換を頂点の番号の置換とみなすことで、 を 次対称群 の部分群 とみなす。
の元 のうち、 のある元と の中で共役であるもの(すなわち を満たすもの)の個数を求めよ。
を位数 の有限体とし、 を の元を成分とする 正則行列全体が行列の積についてなす群とする。 の元のうち、位数がちょうど であるものの個数を求めよ。
を位数 の有限体とし、 を の元を成分とする 次正則行列全体が行列の積についてなす群とする。 の元のうち、位数がちょうど であるもの(すなわち かつ を満たす )の個数を求めよ。
位数 の二面体群
を考える(正六角形の合同変換全体のなす群)。 の部分群全体を包含関係で順序づけた半順序集合(部分群束)を とし、その最小元は自明な部分群 、最大元は である。 のメビウス関数を とするとき、 の値を求めよ。と互いに素な剰余類全体がなす乗法群を とする。 の部分群のうち、位数がちょうど であるものの個数を求めよ。
加法群の直積 を考える。 の位数がちょうど である元の個数を 、 の位数 の部分群の個数を とする。組 をこの順に求めよ。
次対称群 を考える。 の位数 の部分群の個数を 、位数 の巡回部分群の個数を 、位数 の部分群の個数を とする。組 をこの順に求めよ。
とする( は素数である)。有限体 上の楕円曲線
について、 の 有理点全体 の個数(無限遠点 を含む)を求めよ。を位数 の群とし、 は位数 の元をもたないとする。 の元のうち、位数がちょうど であるものの個数を求めよ。
を位数 の有限体とし、 を写像の合成に関する群(位数 )とする。 の各元に赤・青・緑の 色のいずれかを塗る塗り方全体の集合を とする()。 を写像 とみなし、 を によって に作用させる。この作用の軌道の個数を求めよ。
素数 について、 は法 の原始根である( の法 での位数は )ことを用いてよい。
を満たす整数 のうち、法 における位数( となる最小の正の整数 )がちょうど であるものをすべて考える。それらの の総和を求めよ。
を位数 の有限体とし、 を写像の合成を積とする群(位数 )とする。写像 全体の集合を とし()、 は に によって作用する。この作用による の軌道の個数を求めよ。
を素数とし、 を拡大次数 の有限次ガロア拡大とする。 をみたす中間体 の個数を とする。
このとき、 または であることを証明せよ。
ただし、ガロア理論の基本定理と、位数 の群は巡回群 または のいずれかに同型であることは用いてよい。
, を正の整数とし、 をオイラー関数(正の整数 に対し、 で を満たす整数 の個数)とする。このとき
は で割り切れることを、バーンサイドの補題を用いて証明せよ。ここで は の正の約数 すべてについての和を表す。ただし、バーンサイドの補題(有限群 が有限集合 に作用するとき、軌道の個数は に等しい。)と、整数 (少なくとも一方は でない)に対して を満たす整数 が存在することは用いてよい。
を奇素数、 を を法とする原始根とする。 と互いに素な整数 について、 をみたす整数 が存在するとき を を法とする平方剰余、存在しないとき平方非剰余という。
アリスとボブが群 上でディフィー・ヘルマン鍵共有を行う。アリスは秘密の正の整数 、ボブは秘密の正の整数 を選び、、 を公開し、共有鍵を とする。
このとき、「 が を法とする平方非剰余であるための必要十分条件は、 と がともに を法とする平方非剰余であることである」を証明せよ。ただし、原始根の定義( の位数が であり、 と互いに素な任意の整数は を法としてある ()と合同になること)と、「 となる整数 は の倍数に限る」ことは用いてよい。
を元の個数が の有限体とする。 上の 次のモニック既約多項式(最高次の係数が である既約多項式) のうち、原始多項式でないものの個数を求めよ。ただし、 上の 次既約多項式 が原始多項式であるとは、 の根(元の個数が の有限体 の中の根)が乗法群 の生成元であることをいう。
正 角形の対称性全体がなす二面体群
を考える。 の位数は であり、その元は と ()で重複なく表される。 の部分群の個数を求めよ。ただし、単位元だけからなる部分群 と 自身も数える。を四元数群とする()。また、 を位数 の巡回群とし、直積群
を考える。 の自己同型群 ( から への群同型全体が写像の合成についてなす群)の位数 を求めよ。を元の個数が の有限体とする。 上の 次のモニック既約多項式 (最高次の係数が である既約多項式)のうち、次の条件を満たすものの個数を求めよ。
条件: の根 (元の個数が の有限体 の元)の乗法群 における位数が ではない。
とする。 以上 以下の整数 で を満たすもののうち、 を法とする位数がちょうど であるもの(すなわち かつ なる整数 に対して )の個数を求めよ。
とする。 と互いに素な整数 に対し、 をみたす最小の正の整数 を法 における の位数という。 と互いに素な整数の法 における位数としてとりうる値のうち最大のものを とする。 をみたし と互いに素な整数 のうち、法 における位数がちょうど であるものの個数を求めよ。
とする。
の値を求めよ。ただし和は かつ と互いに素な整数 すべてにわたってとり、 とする。とする。法 のディリクレ指標とは群準同型 のことで、 のとき と定めて整数全体の関数とみなす。法 のディリクレ指標全体は積について群をなし、その中での の位数を単に の位数という。また、 が の真の約数 を法とする指標から誘導されないとき、 は原始的であるという。
法 のディリクレ指標 で、次の つの条件をすべて満たすものの個数を求めよ。
は原始的である。
の位数はちょうど である。
である。
ディフィー・ヘルマン鍵共有の公開パラメータとして、素数 と、法 の原始根 を選びたい。ここで整数 が法 の原始根であるとは、 の法 における位数( を満たす最小の正の整数 )が であることをいう。
を満たす法 の原始根 のうち、最小のものを求めよ。
有限体 上の楕円曲線
を考える。 の 有理点全体は、無限遠点 を単位元とし、通常の加法(弦と接線による加法)で群をなす。点 について、 となる最小の正の整数 ( の位数)を求めよ。
この技能の次に学べること
- 有限アーベル群の構造と部分群の個数 (大学数学 代数学)
- 置換の巡回置換分解と位数 (大学数学 代数学)
- 群の表現と指標 (大学院数学 表現論)
- 原始根 (大学数学 整数論)