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) $sgn(\sigma)$

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

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(σ)sgn(\sigma)

2. 解き方の手順

(1) τσ\tau \sigma を求める。τσ\tau \sigmaσ\sigma を適用した後に τ\tau を適用することを意味します。つまり、τσ(i)=τ(σ(i))\tau \sigma(i) = \tau(\sigma(i)) です。
- 1σ2τ11 \xrightarrow{\sigma} 2 \xrightarrow{\tau} 1
- 2σ4τ32 \xrightarrow{\sigma} 4 \xrightarrow{\tau} 3
- 3σ5τ43 \xrightarrow{\sigma} 5 \xrightarrow{\tau} 4
- 4σ6τ24 \xrightarrow{\sigma} 6 \xrightarrow{\tau} 2
- 5σ1τ65 \xrightarrow{\sigma} 1 \xrightarrow{\tau} 6
- 6σ3τ56 \xrightarrow{\sigma} 3 \xrightarrow{\tau} 5
したがって、τσ=(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 の逆置換であり、σ(i)=j\sigma(i) = j ならば σ1(j)=i\sigma^{-1}(j) = i となります。σ=(123456245613)\sigma = \begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 \\ 2 & 4 & 5 & 6 & 1 & 3 \end{pmatrix} より、
- 121 \leftarrow 2
- 242 \leftarrow 4
- 353 \leftarrow 5
- 464 \leftarrow 6
- 515 \leftarrow 1
- 636 \leftarrow 3
したがって、σ1=(123456516234)\sigma^{-1} = \begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 \\ 5 & 1 & 6 & 2 & 3 & 4 \end{pmatrix} です。
(3) σ\sigma を互換の積で表す。σ\sigma(123456245613)\begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 \\ 2 & 4 & 5 & 6 & 1 & 3 \end{pmatrix} です。これはサイクル表記で (1 2 4 6 3 5)(1\ 2\ 4\ 6\ 3\ 5) と表せます。サイクルを互換の積で表すと、(1 2 4 6 3 5)=(1 2)(2 4)(4 6)(6 3)(3 5)(1\ 2\ 4\ 6\ 3\ 5) = (1\ 2)(2\ 4)(4\ 6)(6\ 3)(3\ 5) となります。
よって、σ=(1 2)(2 4)(4 6)(6 3)(3 5)\sigma = (1\ 2)(2\ 4)(4\ 6)(6\ 3)(3\ 5)
(4) sgn(σ)sgn(\sigma) を求める。置換 σ\sigma の符号 sgn(σ)sgn(\sigma) は、σ\sigma を互換の積で表したときの互換の個数の偶奇によって決定されます。σ\sigma を互換の積で表したとき、互換の個数が偶数なら sgn(σ)=1sgn(\sigma) = 1、奇数なら sgn(σ)=1sgn(\sigma) = -1 となります。
(3)より、σ=(1 2)(2 4)(4 6)(6 3)(3 5)\sigma = (1\ 2)(2\ 4)(4\ 6)(6\ 3)(3\ 5) であり、互換の個数は5個なので奇数です。したがって、sgn(σ)=1sgn(\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 2)(2 4)(4 6)(6 3)(3 5)\sigma = (1\ 2)(2\ 4)(4\ 6)(6\ 3)(3\ 5)
(4) sgn(σ)=1sgn(\sigma) = -1

「代数学」の関連問題

Z/6Zの乗法の演算表の空欄をすべて埋める問題です。Z/6Zは、6を法とする整数の集合 {0, 1, 2, 3, 4, 5} を表します。演算表の各マスは、行と列に対応する数の積を6で割った余りを表し...

合同算術群論Z/nZ剰余環
2025/7/11

$\mathbb{Z}/6\mathbb{Z}$において、$3^{-1}$となる数が存在するかどうかを判定する問題です。

合同式群論逆元
2025/7/11

与えられた行列 $B$ の余因子行列と逆行列を求める。 $B = \begin{pmatrix} 1 & 0 & 1 & 0 \\ 0 & 1 & 0 & 1 \\ -1 & 0 & 1 & 0 \\...

行列余因子行列逆行列行列式
2025/7/11

与えられた行列AとBについて、それぞれの余因子行列と逆行列を求めます。行列Aは3x3行列で、行列Bは4x4行列です。

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

2次関数 $y = -x^2 + 2x - 3$ のグラフとx軸との共有点の有無を2つの方法で判定し、空欄を埋める問題。

二次関数グラフ判別式平方完成
2025/7/11

分数の分母を有理化する問題です。与えられた分数は $\frac{4}{\sqrt{7}}$ です。

分数の有理化平方根
2025/7/11

定義域が $1 \le x \le 4$ のとき、グラフから最大値と最小値を求めよ。また、$x=1$ および $x=4$ のときの $y$ の値を求めよ。

グラフ最大値最小値関数の定義域
2025/7/11

与えられた二次不等式を解き、空欄を埋める問題です。

二次不等式因数分解判別式
2025/7/11

与えられた行列 $A = \begin{pmatrix} 1 & 3 & 0 \\ 1 & 4 & -2 \\ 3 & 0 & 2 \end{pmatrix}$ の余因子行列と逆行列を求める。

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

$(\sqrt{6} + 3)(\sqrt{6} - 3)$ を計算します。

平方根展開式の計算
2025/7/11