単元一覧 › 大学数学 代数学

代数学の問題

難易度 1教科書の例題レベル大学数学 代数学

次対称群 の置換 を考える。 において と共役な元、すなわち ()の形に表される置換の個数を求めよ。

この問題で使うもの

この問題を解けるようになるまで(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 で、一致する。

この問題の確認

AI が作成した問題です。公開前に次の確認を行いました。確認の方法について

間違いを報告する

この問題の誤り・分かりにくい点・難易度や学年のずれを知らせる
どこについての報告ですか

報告の内容と問題の番号を保存します。名前やメールアドレスは保存しません。

関連する問題