次対称群 において、置換
を考える。 の元のうち と共役であるもの( 自身も含む)の個数を求めよ。
対称群の共役類
の 2 つの置換が共役であることと巡回型が等しいことが同値であることを使い、共役類の個数と、巡回型 の類の元の個数 を求められる
前提
- 置換の巡回置換分解と位数 (大学数学 代数学)
- 順列・円順列・重複順列 (数学A 場合の数と確率)
この技能までの道筋(23 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 約数の見つけ方 (算数 整数の性質)
- 最大公約数と最小公倍数 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 最大公約数と最小公倍数 (数学A 整数の性質)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 文字式で表した整数の性質 (中学数学 数と式)
- 余りによる整数の分類 (数学A 整数の性質)
- 樹形図で数え上げる (算数 場合の数)
- 積の法則と和の法則 (算数 場合の数)
- 和の法則・積の法則と樹形図 (数学A 場合の数と確率)
- 合同式 (数学A 整数の性質)
- 群の位数と元の位数 (大学数学 代数学)
- 置換の巡回置換分解と位数 (大学数学 代数学)
- 順列・円順列・重複順列 (数学A 場合の数と確率)
説明
対称群 の置換 について、ある で と書けるとき、 と は共役であるといいます。 と共役な置換をすべて集めた集合を、 の共役類と呼びます。 では「共役である」ことと「巡回型(巡回置換分解に現れる長さの並び)が等しい」ことが同値です。このことを使うと、共役類の個数や、ある置換と共役な置換の個数を、具体的な計算をせずに数えられます。
なぜそうしてよいのか
置換の積は右から順に作用させます( は「 を先に、 を後に」施す)。 が巡回置換 を含むとします。このとき を に施すと となります。つまり は、 の巡回置換表示の各文字 を に書き換えたものです。たとえば です。文字の名前が変わるだけなので、巡回置換の長さの並びは変わりません。よって、共役な置換は巡回型が等しくなります。
逆に の巡回型が等しいとします。固定される文字も長さ 1 の巡回置換として書き、両者を同じ長さの巡回置換どうしが上下にそろうように並べます。上の段の文字を、そのすぐ下の段の文字に移す置換を とすれば、上の計算から です。したがって「共役 巡回型が等しい」が成り立ちます。巡回型は、 を正の整数の和に表す方法(和の順序は区別しない。 の分割という)と 1 対 1 に対応します。そのため、共役類の個数は の分割の個数に等しくなります。
次に、巡回型 (長さ の巡回置換が 個、)をもつ置換の個数を数えます。かっこの枠「」を先に用意し、そこへ を並べて入れると考えます。入れ方は 通りです。ただし同じ置換が何度も数えられています。長さ の巡回置換は、先頭の文字をどれにしても同じ置換です()。これは円順列と同じ理由で、1 つにつき 通りの重複になります。また、同じ長さの巡回置換どうしは互いに素なので、並べる順序を入れ替えても同じ置換です( 通り)。以上より、その類の元の個数は となります。
手順
与えられた置換を互いに素な巡回置換の積に分解します。固定される文字は長さ 1 の巡回置換として数えます。
長さ の巡回置換の個数 を数え、巡回型 を書きます。 となることを確かめます。
「共役 巡回型が等しい」を使い、求める集合(共役類)を「この巡回型をもつ置換全体」と言い換えます。
公式 に代入して元の個数を計算します。 の は因子 なので無視してかまいません。
共役類の個数を問われたときは、 の分割(巡回型)をすべて挙げて数えます。各類の元の個数の和が になることで検算できます。
例題
対称群 において、置換 と共役な置換の個数を求めよ。
例題の解答
手順 1: はすでに互いに素な巡回置換の積です。 から までの文字はすべて現れているので、固定される文字はありません。
手順 2: 長さ 2 の巡回置換が 2 個、長さ 3 の巡回置換が 1 個あるので、、、それ以外の です。巡回型は です。確認すると となり、 と一致します。
手順 3: 共役であることと巡回型が等しいことは同値です。よって、求める個数は で巡回型 をもつ置換の個数に等しくなります。
手順 4: 公式に代入すると
したがって、共役な置換は 個です。
答え:
よくある誤り
同じ長さの巡回置換の並べ替え を割り忘れる誤り。 の巡回型 の元を 個としてしまいがちです。正しくは 個で、 の 3 つです。
固定される文字(長さ 1 の巡回置換)の分の を落とす誤り。 の互換を 個としてしまいがちです。正しくは巡回型が なので 個です。
位数が等しければ共役だと考えてしまう誤り。 で と はどちらも位数 2 ですが、巡回型が と で異なるので共役ではありません。共役かどうかは巡回型で判定します。
を計算するとき、文字を で書き換えてしまう誤り。正しくは各文字 を に置き換えます。たとえば のとき です。 ではありません。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
次対称群 の置換 を考える。 において と共役な元、すなわち ()の形に表される置換の個数を求めよ。
次対称群 の元
を考える。 において と共役な元(()の形に表される元)の個数を求めよ。ただし 自身も数に含める。
この技能を使う問題
次交代群 の元 を考える。 の における中心化群
の位数を求めよ。次対称群 (集合 の置換全体のなす群)の部分群
を考える。ただし は恒等置換である。 の における正規化群
の位数を求めよ。正十角形の頂点に、反時計回りに と番号を付ける。この正十角形を自分自身に重ねる合同変換(回転と裏返し)全体は位数 の二面体群 をなす。各変換を頂点の番号の置換とみなすことで、 を 次対称群 の部分群 とみなす。
の元 のうち、 のある元と の中で共役であるもの(すなわち を満たすもの)の個数を求めよ。
次対称群 の部分群である 次交代群 において、元
を考える。 における の共役類
の元の個数と、 が生成する巡回部分群 の における正規化群
の位数を、この順に組で求めよ。次対称群 において、位数がちょうど である元全体を考える。これらの元はちょうど 個の共役類に分かれる。また、これらの元の個数を とする。組 をこの順に求めよ。
次交代群 ( 次対称群 の偶置換全体からなる部分群)を考える。 の共役類( の元による共役で分類したもの)の個数を 、 の共役類のうち元の個数が最大であるものの元の個数を とする。組 をこの順に求めよ。
次対称群 を考える。 の位数 の部分群の個数を 、位数 の巡回部分群の個数を 、位数 の部分群の個数を とする。組 をこの順に求めよ。
を 次対称群とし、群環 を、 が基底 に と作用する の複素表現(共役表現)とみなす。 準同型 全体のなす ベクトル空間 の次元を求めよ。
次交代群 ( 次対称群 の偶置換全体がなす部分群)を考える。 の共役類( の中での共役による同値類)の個数を求めよ。
有理数係数の対称関数環 を考える。 にはホール内積 が入っており、シューア関数 はこの内積について正規直交基底をなすものとする。分割 に対し、 に がちょうど 回現れるとき とおき、べき和対称関数 どうしの内部積(クロネッカー積) を
で定め、各次数の斉次部分上で双線形に拡張する。次の対称関数 をシューア関数で
と展開する。係数の 乗和 を求めよ。を 次対称群とし、 が生成する位数 の巡回部分群を とする。 の 次元複素表現 を で定め、誘導表現 ()を考える。 の各複素既約表現 に対し、 を既約表現の直和に分解したときの の重複度を とする。 が の複素既約表現の同型類全体を動くときの和
を求めよ。有理数係数の対称関数環 において、分割 に対するシューア関数 をべき和対称関数 ()の一次結合として
と表す。 に対する係数 を求めよ。
この技能の次に学べること
- 二面体群の共役類 (大学数学 代数学)
- べき和のシューア展開とマーナハン・中山則 (大学院数学 代数的組合せ論)
- 共役類ごとにまとめたバーンサイドの補題 (大学院数学 群論)
- 置換表現による被覆の数え上げ (大学院数学 代数的位相幾何)