次対称群 の元 を
で定める(上の段の数 の真下にある数が である)。 の位数、すなわち が恒等置換になる最小の正の整数 を求めよ。
置換の巡回置換分解と位数
置換を互いに素な巡回置換の積に分解し、その位数を巡回置換の長さの最小公倍数として求められる。 で位数がちょうど になる巡回型をすべて挙げられる
前提
- 群の位数と元の位数 (大学数学 代数学)
この技能までの道筋(21 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 約数の見つけ方 (算数 整数の性質)
- 最大公約数と最小公倍数 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 最大公約数と最小公倍数 (数学A 整数の性質)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 文字式で表した整数の性質 (中学数学 数と式)
- 余りによる整数の分類 (数学A 整数の性質)
- 樹形図で数え上げる (算数 場合の数)
- 積の法則と和の法則 (算数 場合の数)
- 和の法則・積の法則と樹形図 (数学A 場合の数と確率)
- 合同式 (数学A 整数の性質)
- 群の位数と元の位数 (大学数学 代数学)
説明
有限集合 の置換(全単射)を、動かす数が重ならない巡回置換の積に書き直す方法と、その置換の位数(何回繰り返すと恒等置換に戻るか)を求める方法を学びます。位数は巡回置換の長さの最小公倍数として求まります。さらに、対称群 ( 文字の置換全体のなす群)で位数がちょうど になる置換の「形」(巡回型)をすべて挙げられるようになります。置換を何回も繰り返す操作(カードのシャッフルなど)の周期を調べる場面で使います。
なぜそうしてよいのか
記法を決めます。置換 を と書き、相異なる について と移し、他の数は動かさない置換を長さ の巡回置換 と書きます。積 は「先に 、次に 」を行う合成 、恒等置換を とします。数 から と追うと、有限個しか値がないので必ずどこかで値が重なります。初めて重なるのが ()で だとすると、 は単射なので となり「初めて」に反します。よって必ず 自身に戻り、1 つの巡回置換ができます。別の数から追った列は、共通の数を 1 つでも含めば同じ列になるので、列どうしは重なりません。こうして は互いに素な(動かす数が共通しない)巡回置換の積に分解されます。
長さ の巡回置換 では、添字を を法として考えると です。よって となるのは のとき、つまり のときに限り、 の位数は です( で の位数が であるのと同じ構造です)。
互いに素な巡回置換は別々の数しか動かさないので、掛ける順序を入れ替えても結果は同じです。したがって なら で、各 は自分の巡回置換に含まれる数しか動かしません。ゆえに すべての で すべての長さ が を割り切る、です。この条件をみたす最小の正の整数 は なので、これが の位数です。 の位数は なので、ラグランジュの定理どおりこの値は を割り切ります。
手順
まだ現れていない最小の数 を選び、 と に戻るまでたどって、巡回置換 を書く。
手順 1 を、 から までのすべての数がどれかの巡回置換に現れるまで繰り返す。長さ 1 の巡回置換(固定点)は書くのを省略してよいが、長さとしては 1 と数える。
各巡回置換の長さ を書き出す()。この長さの組を巡回型という。
位数を として計算する。
で位数がちょうど の巡回型を挙げるときは、 の約数だけを使って和が になる正の整数の組(1 を含めてよい、順序は無視)をすべて書き出し、その中で最小公倍数がちょうど になるものを選ぶ。
例題
の置換 の位数を求めよ。
例題の解答
手順 1:最小の数 から追うと なので、巡回置換 を得る。
手順 2:まだ現れていない最小の数は 。 なので を得る。これで から がすべて現れたので、。
手順 3:長さは と (和は で確かに全部の数を使っている)。
手順 4:位数は 。実際、 では長さ 4 の部分も長さ 6 の部分も になり、 より小さい正の整数で と の両方で割り切れるものはない。
答え:
よくある誤り
位数を巡回置換の長さの積としてしまう誤り。例えば の位数を とするのは誤り。正しくは で、 となる。
互いに素でない巡回置換の積にそのまま最小公倍数を使ってしまう誤り。例えば の位数を とするのは誤り。正しくは先に互いに素な形に直す:右から作用させると なので で、位数は 。
位数 の巡回型を、長さの積が になるもので探してしまう誤り。例えば で位数 の巡回型に を入れるのは誤り()。正しくは がちょうど になる だけ。同様に で位数 の巡回型は だけである。
2 行表記の下の行をそのまま巡回置換として読んでしまう誤り。例えば上の例題の を とするのは誤り。正しくは と行き先を順にたどり、 とする。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
次対称群 の元
を考える。 の位数( が恒等置換になる最小の正の整数 )を求めよ。次対称群 の元
を考える(上の段の数字が、そのすぐ下の段の数字に移る)。 の位数、すなわち が恒等置換になる最小の正の整数 を求めよ。
この技能を使う問題
次交代群 の元 を考える。 の における中心化群
の位数を求めよ。正十角形の頂点に、反時計回りに と番号を付ける。この正十角形を自分自身に重ねる合同変換(回転と裏返し)全体は位数 の二面体群 をなす。各変換を頂点の番号の置換とみなすことで、 を 次対称群 の部分群 とみなす。
の元 のうち、 のある元と の中で共役であるもの(すなわち を満たすもの)の個数を求めよ。
正四面体の 本の辺のそれぞれを、赤・青・黄の 色のうちのどれか 色で塗る。ただし、 色すべてを少なくとも 回ずつ使うものとする。正四面体の回転(向きを保つ合同変換)で互いに重ね合わせられる塗り方は同じとみなすとき、異なる塗り方は何通りあるか求めよ。
次対称群 において、位数がちょうど である元全体を考える。これらの元はちょうど 個の共役類に分かれる。また、これらの元の個数を とする。組 をこの順に求めよ。
次交代群 ( 次対称群 の偶置換全体からなる部分群)を考える。 の共役類( の元による共役で分類したもの)の個数を 、 の共役類のうち元の個数が最大であるものの元の個数を とする。組 をこの順に求めよ。
次対称群 を考える。 の位数 の部分群の個数を 、位数 の巡回部分群の個数を 、位数 の部分群の個数を とする。組 をこの順に求めよ。
を位数 の有限体とし、 を写像の合成に関する群(位数 )とする。 の各元に赤・青・緑の 色のいずれかを塗る塗り方全体の集合を とする()。 を写像 とみなし、 を によって に作用させる。この作用の軌道の個数を求めよ。
を位数 の有限体とし、 を写像の合成を積とする群(位数 )とする。写像 全体の集合を とし()、 は に によって作用する。この作用による の軌道の個数を求めよ。
を整数とし、 本のひものブレイド群 を、生成元 と関係式
によるアルティンの表示で定める。 は、位置 と位置 のひもが 回交差する初等ブレイドを表す( と は交差の上下が逆)。からなる語 (, )に対し、その指数和を とする。また、 の文字を上から順に初等ブレイドとして並べたブレイドの図式で、上端の位置 の端点と下端の位置 の端点()を互いに交わらない弧で結んで得られる絡み目の図式を、 の閉包図式とよぶ。
語 の閉包図式が結び目( 成分の絡み目)を表すとする。このとき、 において と同じ元を表す任意の語 に対して であることを証明せよ。
集合 の置換( から自分自身への全単射) を考える。 を互いに素な巡回置換の積に分解する。このとき、不動点も長さ の巡回として数える。分解に現れる巡回の個数がちょうど であり、しかも と が同じ巡回に属するような は何個あるか。
次交代群 ( 次対称群 の偶置換全体がなす部分群)を考える。 の共役類( の中での共役による同値類)の個数を求めよ。
正八面体の つの面を、赤・青・緑の 色で塗る。ただし、赤の面がちょうど 枚、青の面がちょうど 枚、緑の面がちょうど 枚となるように塗る。正八面体の回転(空間内の向きを保つ合同変換で正八面体を自分自身に重ねるもの、全部で 個)によって互いに移り合う塗り方は同じものとみなすとき、異なる塗り方は何通りあるか。
位数 の群は単純群でないこと、すなわち位数 の任意の群 は と 以外の正規部分群をもつことを証明せよ。ただし、ここで単純群とは、単位群でなく、正規部分群が自明なもの( と自分自身)しかない群のこととする。シローの定理(シロー部分群の存在・共役性、およびシロー 部分群の個数 が かつ が を割り切ること)、ラグランジュの定理、位数 ( は素数)の群が可換であることは用いてよい。
この技能の次に学べること
- 対称群の共役類 (大学数学 代数学)
- 第 1 種スターリング数 (大学数学 離散数学・組合せ論)
- バーンサイドの補題 (大学数学 離散数学・組合せ論)
- ブレイドの置換と閉包の成分数 (大学院数学 結び目理論)
- 有限構造の自己同型の個数 (大学院数学 数理論理学・集合論)