## 問題の解答

代数学置換置換の積巡回置換互換置換の符号置換群
2025/7/21
## 問題の解答
###

1. 問題の内容

与えられた置換について、以下の問題を解きます。

1. 置換の積を計算する。

2. 置換を巡回置換の積に分解する。

3. 置換を互換の積に分解し、各置換の符号を求める。

###

2. 解き方の手順

**

1. 置換の積の計算**

(1)
(123312)(123312)\begin{pmatrix} 1 & 2 & 3 \\ 3 & 1 & 2 \end{pmatrix} \begin{pmatrix} 1 & 2 & 3 \\ 3 & 1 & 2 \end{pmatrix}
右側の置換によって 13,21,321 \mapsto 3, 2 \mapsto 1, 3 \mapsto 2 となります。
次に、左側の置換によって 32,13,213 \mapsto 2, 1 \mapsto 3, 2 \mapsto 1 となります。
したがって、合成された置換は 12,23,311 \mapsto 2, 2 \mapsto 3, 3 \mapsto 1 となり、これは (123231)\begin{pmatrix} 1 & 2 & 3 \\ 2 & 3 & 1 \end{pmatrix} と表されます。
(2)
(12343421)(12344321)\begin{pmatrix} 1 & 2 & 3 & 4 \\ 3 & 4 & 2 & 1 \end{pmatrix} \begin{pmatrix} 1 & 2 & 3 & 4 \\ 4 & 3 & 2 & 1 \end{pmatrix}
右側の置換によって 14,23,32,411 \mapsto 4, 2 \mapsto 3, 3 \mapsto 2, 4 \mapsto 1 となります。
次に、左側の置換によって 41,32,24,134 \mapsto 1, 3 \mapsto 2, 2 \mapsto 4, 1 \mapsto 3 となります。
したがって、合成された置換は 13,22,34,411 \mapsto 3, 2 \mapsto 2, 3 \mapsto 4, 4 \mapsto 1 となり、これは (12343241)\begin{pmatrix} 1 & 2 & 3 & 4 \\ 3 & 2 & 4 & 1 \end{pmatrix} と表されます。
(3)
(1 3)(2 3)(2 4)(1\ 3)(2\ 3)(2\ 4)
右から順に適用します。
(2 4)(2\ 4)24,422 \mapsto 4, 4 \mapsto 2 であり、他の要素は変わりません。
(2 3)(2 4)(2\ 3)(2\ 4)23,322 \mapsto 3, 3 \mapsto 224,422 \mapsto 4, 4 \mapsto 2 の合成です。
2442 \mapsto 4 \mapsto 4, 3323 \mapsto 3 \mapsto 2, 4234 \mapsto 2 \mapsto 3 となるので (2 3)(2 4)=(2 4 3)(2\ 3)(2\ 4)=(2\ 4\ 3).
(1 3)(2 4 3)(1\ 3)(2\ 4\ 3) を計算します。
1331 \mapsto 3 \mapsto 3, 2242 \mapsto 2 \mapsto 4, 3113 \mapsto 1 \mapsto 1, 4424 \mapsto 4 \mapsto 2 となります。
したがって (1 3)(2 4 3)=(12343412)(1\ 3)(2\ 4\ 3) = \begin{pmatrix} 1 & 2 & 3 & 4 \\ 3 & 4 & 1 & 2 \end{pmatrix}
巡回置換の記法では(1 3)(2 4 3)=(1 3)(2 4 3)=(1 3)(2 4 3)=(1 3)(2 4 3)(1\ 3)(2\ 4\ 3)=(1\ 3)(2\ 4\ 3) = (1\ 3)(2\ 4\ 3) = (1\ 3)(2\ 4\ 3)
これは巡回置換でいうと(1 3)(2 4 3)(1\ 3)(2\ 4\ 3)で表されます。
(4)
(1 4)(2 3)(1 2 4 3)(2 3)(1\ 4)(2\ 3)(1\ 2\ 4\ 3)(2\ 3)
右から順に適用します。
(2 3)(2\ 3)23,322 \mapsto 3, 3 \mapsto 2 であり、他の要素は変わりません。
(1 2 4 3)(2 3)=(1 2 4 3)(2 3)(1\ 2\ 4\ 3)(2\ 3) = (1\ 2\ 4\ 3)(2\ 3). 2322 \mapsto 3 \mapsto 2, 3243 \mapsto 2 \mapsto 4, 4434 \mapsto 4 \mapsto 3.
(1 2 4 3)(2 3)=(1 2 4)(3)(1\ 2\ 4\ 3)(2\ 3) = (1\ 2\ 4)(3).
(2 3)(2\ 3)なので11,23,32,441 \mapsto 1, 2 \mapsto 3, 3 \mapsto 2, 4 \mapsto 4
(1 4)(2 3)(1 2 43)(2 3)=(1 4)(2 3)(1 2 4)(2 3)(1\ 4)(2\ 3)(1\ 2\ 4 3) (2\ 3) = (1\ 4)(2\ 3)(1\ 2\ 4)(2\ 3)
**

2. 巡回置換の積への分解**

(1)
(12345674765123)\begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 & 7 \\ 4 & 7 & 6 & 5 & 1 & 2 & 3 \end{pmatrix}
14,45,511 \mapsto 4, 4 \mapsto 5, 5 \mapsto 1 なので (1 4 5)(1\ 4\ 5)
27,73,36,622 \mapsto 7, 7 \mapsto 3, 3 \mapsto 6, 6 \mapsto 2 なので (2 7 3 6)(2\ 7\ 3\ 6)
したがって、(1 4 5)(2 7 3 6)(1\ 4\ 5)(2\ 7\ 3\ 6)
(2)
(1234567831582467)\begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 \\ 3 & 1 & 5 & 8 & 2 & 4 & 6 & 7 \end{pmatrix}
13,35,52,211 \mapsto 3, 3 \mapsto 5, 5 \mapsto 2, 2 \mapsto 1 なので (1 3 5 2)(1\ 3\ 5\ 2)
48,87,76,644 \mapsto 8, 8 \mapsto 7, 7 \mapsto 6, 6 \mapsto 4 なので (4 8 7 6)(4\ 8\ 7\ 6)
したがって、(1 3 5 2)(4 8 7 6)(1\ 3\ 5\ 2)(4\ 8\ 7\ 6)
**

3. 互換の積への分解と符号の計算**

(1) (1 3 6 4)=(1 4)(1 6)(1 3)(1\ 3\ 6\ 4) = (1\ 4)(1\ 6)(1\ 3)。互換の数は3なので、符号は (1)3=1(-1)^3 = -1
(2) (1 2 5 3 4)=(1 4)(1 3)(1 5)(1 2)(1\ 2\ 5\ 3\ 4) = (1\ 4)(1\ 3)(1\ 5)(1\ 2)。互換の数は4なので、符号は (1)4=1(-1)^4 = 1
(3) (2 4 6)=(2 6)(2 4)(2\ 4\ 6) = (2\ 6)(2\ 4)。互換の数は2なので、符号は (1)2=1(-1)^2 = 1
(4) (12345673741256)=(1 3 4)(2 7 6 5)=(1 4)(1 3)(2 5)(2 6)(2 7)\begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 & 7 \\ 3 & 7 & 4 & 1 & 2 & 5 & 6 \end{pmatrix} = (1\ 3\ 4)(2\ 7\ 6\ 5) = (1\ 4)(1\ 3)(2\ 5)(2\ 6)(2\ 7)。互換の数は5なので、符号は (1)5=1(-1)^5 = -1
(5) (123456789341986572)=(1 3)(2 4 9)(5 8 7 6)=(1 3)(2 9)(2 4)(5 6)(5 7)(5 8)\begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 \\ 3 & 4 & 1 & 9 & 8 & 6 & 5 & 7 & 2 \end{pmatrix} = (1\ 3)(2\ 4\ 9)(5\ 8\ 7\ 6) = (1\ 3)(2\ 9)(2\ 4)(5\ 6)(5\ 7)(5\ 8)。互換の数は6なので、符号は (1)6=1(-1)^6 = 1
###

3. 最終的な答え

1. (1) $\begin{pmatrix} 1 & 2 & 3 \\ 2 & 3 & 1 \end{pmatrix}$ (2) $\begin{pmatrix} 1 & 2 & 3 & 4 \\ 3 & 2 & 4 & 1 \end{pmatrix}$ (3) $\begin{pmatrix} 1 & 2 & 3 & 4 \\ 3 & 4 & 1 & 2 \end{pmatrix}$

2. (1) $(1\ 4\ 5)(2\ 7\ 3\ 6)$ (2) $(1\ 3\ 5\ 2)(4\ 8\ 7\ 6)$

3. (1) $(1\ 3\ 6\ 4) = (1\ 4)(1\ 6)(1\ 3)$, 符号: -1

(2) (1 2 5 3 4)=(1 4)(1 3)(1 5)(1 2)(1\ 2\ 5\ 3\ 4) = (1\ 4)(1\ 3)(1\ 5)(1\ 2), 符号: 1
(3) (2 4 6)=(2 6)(2 4)(2\ 4\ 6) = (2\ 6)(2\ 4), 符号: 1
(4) (12345673741256)=(1 4)(1 3)(2 5)(2 6)(2 7)\begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 & 7 \\ 3 & 7 & 4 & 1 & 2 & 5 & 6 \end{pmatrix} = (1\ 4)(1\ 3)(2\ 5)(2\ 6)(2\ 7), 符号: -1
(5) (123456789341986572)=(1 3)(2 9)(2 4)(5 6)(5 7)(5 8)\begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 \\ 3 & 4 & 1 & 9 & 8 & 6 & 5 & 7 & 2 \end{pmatrix} = (1\ 3)(2\ 9)(2\ 4)(5\ 6)(5\ 7)(5\ 8), 符号: 1