代数学の問題
次対称群 の置換 を考える。 において と共役な元、すなわち ()の形に表される置換の個数を求めよ。
この問題で使うもの
- 対称群の共役類(説明と入口の問題)
この問題を解けるようになるまで(24 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
「 で共役であること」と「巡回型が等しいこと」が同値であることを使います。まず の巡回型を求めましょう。
ヒント 2
巡回型 の置換の個数は です。
ヒント 3
で、 は固定されます。したがって巡回型は です。これを公式に代入します。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
手順 1: を巡回置換の積に分解する。
より巡回置換 ができる。 より巡回置換 ができる。 より は動かない。したがって
となる。長さ の巡回置換が 個、長さ が 個、長さ が 個なので、巡回型は である。つまり で、ほかの は である。
手順 2:共役類を巡回型で言いかえる。
では、2 つの置換が共役であることと、巡回型が等しいことは同値である。よって の共役類は、巡回型が である の置換全体と一致する。
手順 3:公式で元の個数を数える。
巡回型 の置換の個数は である。 を代入すると
検算(直接数える)。
- 長さ の巡回置換に使う 文字の選び方は 通りである。選んだ 文字の巡回置換は円順列で 通りある。よって 通り。
- 残り 文字から互換に使う 文字を選ぶ方法は 通りである。残りの 文字は固定される。
積の法則より となり、公式の値と一致する。
よって答えは である。
別解
σ の対応は 1→4, 2→6, 3→2, 4→1, 5→5, 6→3 である。
1→4→1 より互換 (1 4) が得られる。
2→6→3→2 より 3 サイクル (2 6 3) が得られる。
5→5 は不動点である。
よって σ = (1 4)(2 6 3) で、サイクル型は 3+2+1 である。
S_6 では、共役類は同じサイクル型の置換全体である。そのため、共役な元の個数は共役類の大きさに等しい。
中心化群の位数は、サイクル長 k が m_k 個あるとき ∏ k^{m_k} m_k! で与えられる。
型 3+2+1 では各長さが 1 個ずつなので、3·2·1 = 6 となる。
共役類の大きさは 6!/6 = 720/6 = 120 である。
検算として直接数える。
3 サイクルの 3 元を選ぶ方法は C(6,3)=20 通りで、それぞれ 2 通りの 3 サイクルがあるので 40 通りである。
残り 3 元から互換の 2 元を選ぶ方法は C(3,2)=3 通りである。
合計は 40·3 = 120 で、一致する。