6次対称群 $S_6$ の元 $\sigma = \begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 \\ 2 & 4 & 5 & 6 & 1 & 3 \end{pmatrix}$ と $\tau = \begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 \\ 6 & 1 & 5 & 3 & 4 & 2 \end{pmatrix}$ が与えられたとき、以下の問題を解く。 (1) $\tau\sigma$ を求める。 (2) $\sigma^{-1}$ を求める。 (3) $\sigma$ を互換の積で表す。 (4) $\text{sgn}(\sigma)$ を求める。

代数学群論置換対称群互換符号
2025/7/29

1. 問題の内容

6次対称群 S6S_6 の元 σ=(123456245613)\sigma = \begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 \\ 2 & 4 & 5 & 6 & 1 & 3 \end{pmatrix}τ=(123456615342)\tau = \begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 \\ 6 & 1 & 5 & 3 & 4 & 2 \end{pmatrix} が与えられたとき、以下の問題を解く。
(1) τσ\tau\sigma を求める。
(2) σ1\sigma^{-1} を求める。
(3) σ\sigma を互換の積で表す。
(4) sgn(σ)\text{sgn}(\sigma) を求める。

2. 解き方の手順

(1) τσ\tau\sigma を求める。
τσ\tau\sigmaσ\sigma を適用した後に τ\tau を適用することで得られる。
例えば、1はσ\sigmaによって2に写され、2はτ\tauによって1に写されるので、τσ\tau\sigma は 1 を 1 に写す。
同様に計算すると、
τσ=(123456134265)\tau\sigma = \begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 \\ 1 & 3 & 4 & 2 & 6 & 5 \end{pmatrix}
(2) σ1\sigma^{-1} を求める。
σ1\sigma^{-1}σ\sigma の逆置換である。つまり、σ\sigma の下の行を上の行にし、対応する上の行を下の行にすることで得られる。その後、上の行が 1, 2, 3, 4, 5, 6 となるように列を並び替える。
σ1=(245613123456)=(123456516234)\sigma^{-1} = \begin{pmatrix} 2 & 4 & 5 & 6 & 1 & 3 \\ 1 & 2 & 3 & 4 & 5 & 6 \end{pmatrix} = \begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 \\ 5 & 1 & 6 & 2 & 3 & 4 \end{pmatrix}
(3) σ\sigma を互換の積で表す。
σ\sigma を巡回置換の積で表すと、σ=(1 2 4 6 3 5)\sigma = (1\ 2\ 4\ 6\ 3\ 5)
巡回置換を互換の積で表す一般的な方法は、(a1 a2  an)=(a1 an)(a1 an1)(a1 a2)(a_1\ a_2\ \dots\ a_n) = (a_1\ a_n)(a_1\ a_{n-1})\dots(a_1\ a_2) である。
したがって、σ=(1 5)(1 3)(1 6)(1 4)(1 2)\sigma = (1\ 5)(1\ 3)(1\ 6)(1\ 4)(1\ 2)
(4) sgn(σ)\text{sgn}(\sigma) を求める。
sgn(σ)\text{sgn}(\sigma)σ\sigma の符号である。σ\sigma を互換の積で表したときの互換の個数が偶数なら sgn(σ)=1\text{sgn}(\sigma) = 1、奇数なら sgn(σ)=1\text{sgn}(\sigma) = -1 である。
σ\sigma は5個の互換の積で表されるので、sgn(σ)=1\text{sgn}(\sigma) = -1

3. 最終的な答え

(1) τσ=(123456134265)\tau\sigma = \begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 \\ 1 & 3 & 4 & 2 & 6 & 5 \end{pmatrix}
(2) σ1=(123456516234)\sigma^{-1} = \begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 \\ 5 & 1 & 6 & 2 & 3 & 4 \end{pmatrix}
(3) σ=(1 5)(1 3)(1 6)(1 4)(1 2)\sigma = (1\ 5)(1\ 3)(1\ 6)(1\ 4)(1\ 2)
(4) sgn(σ)=1\text{sgn}(\sigma) = -1

「代数学」の関連問題

与えられた2次関数 $y = x^2 - 8x + 11$ と $y = x^2 - 10x + 29$ を平方完成する問題です。ただし、問題(2)の画像に書かれている計算が間違っています。

二次関数平方完成数式変形
2025/7/29

与えられた2次関数 $y = x^2 + 6x + 12$ を平方完成しなさい。

二次関数平方完成数式変形
2025/7/29

4次正方行列 $A = \begin{pmatrix} 3 & -1 & 2 & 1 \\ -2 & 4 & 1 & -1 \\ 6 & -5 & -2 & 2 \\ -3 & 7 & -2 & -5...

行列式行列余因子展開線形代数
2025/7/29

与えられた複素数の式を計算し、簡単にせよ。具体的には、以下の3つの問題を解く。 (2) $\frac{2-i}{2+i}$ (3) $\frac{2i}{3-i}$ (5) $\frac{3+i}{2...

複素数複素数の計算分数
2025/7/29

4次正方行列 $A = \begin{pmatrix} 3 & -1 & 2 & 1 \\ -2 & 4 & 1 & -1 \\ 6 & -5 & -2 & 2 \\ -3 & 7 & -2 & -5...

行列行列式逆行列余因子線形代数
2025/7/29

与えられた複素数に対して、共役な複素数を求める問題です。与えられた複素数は以下の5つです。 (1) $5 + 4i$ (2) $3 - 2i$ (3) $\sqrt{3}$ (4) $-5i$ (5)...

複素数共役複素数複素数の計算
2025/7/29

与えられた複素数を計算し、簡単な形にしてください。 問題は、$\frac{-1 + \sqrt{5}i}{2}$ を計算することです。

複素数複素数の計算実部虚部
2025/7/29

## 数学の問題の解答

不等式二次不等式絶対値方程式距離代数
2025/7/29

連分数の問題です。 $1 + \frac{1}{1 + \frac{1}{1 + \frac{1}{1 + x}}} = 1\frac{17}{26}$ この式を満たす $x$ の値を求めます。

連分数方程式
2025/7/29

与えられた連分数 $1 + \frac{1}{1 + \frac{1}{1 + \frac{1}{1 + \frac{1}{x}}}}$ が $1\frac{17}{26} = \frac{43}{2...

連分数分数計算方程式
2025/7/29