## 問題3

代数学置換巡回表示符号行列式余因子展開
2025/7/31
## 問題3
### (1) 以下の問いに答えよ。
(1-a) あみだくじで表される置換 σ\sigma を巡回表示する。
(1-b) 置換 σ\sigma の符号 ϵ(σ)\epsilon(\sigma) を求める。
(1-c) στ=(1)\sigma \circ \tau = (1) を満たす置換 τ\tau(12345)\left( \begin{array}{ccccc} 1 & 2 & 3 & 4 & 5 \\ * & * & * & * & * \end{array} \right) の形式で与える。
(1-d) 置換 φ=(3,4)(1,2)(2,5)(1,3)\varphi = (3,4) \circ (1,2) \circ (2,5) \circ (1,3) のとき、φφ\varphi \circ \varphi(12345)\left( \begin{array}{ccccc} 1 & 2 & 3 & 4 & 5 \\ * & * & * & * & * \end{array} \right) の形式で与える。
### (2)
行列 A=(1abb001023+2aa62b35+3a243b)A = \begin{pmatrix} 1 & a & b & -b \\ 0 & 0 & 1 & 0 \\ 2 & 3+2a & a & 6-2b \\ 3 & -5+3a & -2 & -4-3b \end{pmatrix} の行列式を第2行での余因子展開により求める。
## 解き方の手順
### (1)
(1-a) あみだくじをたどると、
1 → 1
2 → 3
3 → 2
4 → 5
5 → 4
となる。したがって、置換 σ\sigmaσ=(1234513254)\sigma = \begin{pmatrix} 1 & 2 & 3 & 4 & 5 \\ 1 & 3 & 2 & 5 & 4 \end{pmatrix} と表される。巡回置換で表すと、σ=(2,3)(4,5)\sigma = (2,3)(4,5) である。
(1-b) σ=(2,3)(4,5)\sigma = (2,3)(4,5) は互換2つの積なので、ϵ(σ)=(1)2=1\epsilon(\sigma) = (-1)^2 = 1 となる。
(1-c) στ=(1)\sigma \circ \tau = (1) より、τ=σ1\tau = \sigma^{-1} である。σ=(2,3)(4,5)\sigma = (2,3)(4,5) より、σ1=(2,3)(4,5)\sigma^{-1} = (2,3)(4,5) である。したがって、τ=(2,3)(4,5)=(1234513254)\tau = (2,3)(4,5) = \begin{pmatrix} 1 & 2 & 3 & 4 & 5 \\ 1 & 3 & 2 & 5 & 4 \end{pmatrix} である。
τ=(1234513254)\tau = \begin{pmatrix} 1 & 2 & 3 & 4 & 5 \\ 1 & 3 & 2 & 5 & 4 \end{pmatrix}
(1-d) φ=(3,4)(1,2)(2,5)(1,3)\varphi = (3,4) \circ (1,2) \circ (2,5) \circ (1,3) について、
φ(1)=(3,4)(1,2)(2,5)(1,3)(1)=(3,4)(1,2)(2,5)(3)=(3,4)(1,2)(3)=(3,4)(3)=4\varphi(1) = (3,4)(1,2)(2,5)(1,3)(1) = (3,4)(1,2)(2,5)(3) = (3,4)(1,2)(3) = (3,4)(3) = 4
φ(2)=(3,4)(1,2)(2,5)(1,3)(2)=(3,4)(1,2)(2,5)(2)=(3,4)(1,2)(5)=(3,4)(5)=5\varphi(2) = (3,4)(1,2)(2,5)(1,3)(2) = (3,4)(1,2)(2,5)(2) = (3,4)(1,2)(5) = (3,4)(5) = 5
φ(3)=(3,4)(1,2)(2,5)(1,3)(3)=(3,4)(1,2)(2,5)(1)=(3,4)(1,2)(1)=(3,4)(2)=2\varphi(3) = (3,4)(1,2)(2,5)(1,3)(3) = (3,4)(1,2)(2,5)(1) = (3,4)(1,2)(1) = (3,4)(2) = 2
φ(4)=(3,4)(1,2)(2,5)(1,3)(4)=(3,4)(1,2)(2,5)(4)=(3,4)(1,2)(4)=(3,4)(4)=3\varphi(4) = (3,4)(1,2)(2,5)(1,3)(4) = (3,4)(1,2)(2,5)(4) = (3,4)(1,2)(4) = (3,4)(4) = 3
φ(5)=(3,4)(1,2)(2,5)(1,3)(5)=(3,4)(1,2)(2,5)(5)=(3,4)(1,2)(2)=(3,4)(1)=1\varphi(5) = (3,4)(1,2)(2,5)(1,3)(5) = (3,4)(1,2)(2,5)(5) = (3,4)(1,2)(2) = (3,4)(1) = 1
したがって、φ=(1234545231)\varphi = \begin{pmatrix} 1 & 2 & 3 & 4 & 5 \\ 4 & 5 & 2 & 3 & 1 \end{pmatrix} である。
φφ(1)=φ(4)=3\varphi \circ \varphi(1) = \varphi(4) = 3
φφ(2)=φ(5)=1\varphi \circ \varphi(2) = \varphi(5) = 1
φφ(3)=φ(2)=5\varphi \circ \varphi(3) = \varphi(2) = 5
φφ(4)=φ(3)=2\varphi \circ \varphi(4) = \varphi(3) = 2
φφ(5)=φ(1)=4\varphi \circ \varphi(5) = \varphi(1) = 4
φφ=(1234531524)\varphi \circ \varphi = \begin{pmatrix} 1 & 2 & 3 & 4 & 5 \\ 3 & 1 & 5 & 2 & 4 \end{pmatrix}
### (2)
行列式を第2行で余因子展開すると、
A=(1)2+10M21+(1)2+20M22+(1)2+31M23+(1)2+40M24|A| = (-1)^{2+1} \cdot 0 \cdot M_{21} + (-1)^{2+2} \cdot 0 \cdot M_{22} + (-1)^{2+3} \cdot 1 \cdot M_{23} + (-1)^{2+4} \cdot 0 \cdot M_{24}
=M23= - M_{23}
ここで、M23M_{23} は第2行と第3列を取り除いた行列の行列式である。
M23=1ab23+2a62b35+3a43bM_{23} = \begin{vmatrix} 1 & a & -b \\ 2 & 3+2a & 6-2b \\ 3 & -5+3a & -4-3b \end{vmatrix}
M23=13+2a62b5+3a43ba262b343bb23+2a35+3aM_{23} = 1 \cdot \begin{vmatrix} 3+2a & 6-2b \\ -5+3a & -4-3b \end{vmatrix} - a \cdot \begin{vmatrix} 2 & 6-2b \\ 3 & -4-3b \end{vmatrix} - b \cdot \begin{vmatrix} 2 & 3+2a \\ 3 & -5+3a \end{vmatrix}
=(3+2a)(43b)(62b)(5+3a)a[2(43b)3(62b)]b[2(5+3a)3(3+2a)]= (3+2a)(-4-3b) - (6-2b)(-5+3a) - a[2(-4-3b) - 3(6-2b)] - b[2(-5+3a) - 3(3+2a)]
=129b8a6ab(30+18a+10b6ab)a(86b18+6b)b(10+6a96a)= -12-9b-8a-6ab - (-30+18a+10b-6ab) - a(-8-6b-18+6b) - b(-10+6a-9-6a)
=129b8a6ab+3018a10b+6aba(26)b(19)= -12-9b-8a-6ab + 30 - 18a - 10b + 6ab - a(-26) - b(-19)
=1819b26a+26a+19b= 18-19b-26a + 26a + 19b
=18= 18
したがって、A=M23=18|A| = -M_{23} = -18
## 最終的な答え
(1-a) σ=(2,3)(4,5)\sigma = (2,3)(4,5)
(1-b) ϵ(σ)=1\epsilon(\sigma) = 1
(1-c) τ=(1234513254)\tau = \begin{pmatrix} 1 & 2 & 3 & 4 & 5 \\ 1 & 3 & 2 & 5 & 4 \end{pmatrix}
(1-d) φφ=(1234531524)\varphi \circ \varphi = \begin{pmatrix} 1 & 2 & 3 & 4 & 5 \\ 3 & 1 & 5 & 2 & 4 \end{pmatrix}
(2) A=18|A| = -18

「代数学」の関連問題

2次関数 $y = -\frac{1}{2}x^2 + 2ax - a^2 + 4a$ について、以下の問いに答える問題です。 (1) グラフの軸の方程式を求める。 (2) $0 \le x \le ...

二次関数最大値最小値場合分け
2025/8/1

はい、承知いたしました。画像にある数学の問題を解いていきます。

二次関数グラフ最大値最小値判別式平方完成
2025/8/1

$\sqrt{6}$ の小数部分を $a$ とするとき、 $(a+2)^2$ の値を求めよ。

平方根計算数式展開
2025/8/1

以下の連立方程式を解きます。 $2.5x - 0.7y = 32$ $0.15x + 0.24y = -0.9$

連立方程式線形方程式代入法方程式の解法
2025/8/1

連続する3つの整数があり、それらの和が141です。最も小さい整数を $x$ としたとき、方程式を作って、その3つの整数を求めなさい。

方程式整数一次方程式連続する整数
2025/8/1

$x = 1 + \sqrt{6}$、 $y = 1 - \sqrt{6}$のとき、$xy^2 + x^2y$の値を求めよ。

式の計算因数分解平方根式の値
2025/8/1

置換 $\sigma$ と $\tau$ が互換の積で与えられている。 $\sigma = (1, 2) \circ (4, 5) \circ (2, 6) \circ (6, 4) \circ (3...

置換群論
2025/8/1

一の位が4である2桁の整数がある。この整数の十の位と一の位の数字を入れ替えてできる整数は、元の整数より27小さくなるという。元の2桁の整数を求めよ。ただし、十の位の数字を $x$ とし、方程式を作って...

方程式2桁の整数文章題
2025/8/1

与えられた置換 $\sigma$ と $\tau$ について、以下の問いに答えます。 (a) $\sigma$ と $\tau$ をそれぞれ $ \begin{pmatrix} 1 & 2 & 3 &...

置換置換の積逆置換
2025/8/1

与えられた連立一次方程式が非自明な解を持つための条件を求め、非自明な解を持つ場合に、基本解が何個の元からなるかを求める問題です。方程式は以下の通りです。 $\begin{pmatrix} 1 & 0 ...

線形代数連立一次方程式行列ランク解の存在条件基本解
2025/8/1