next up previous
Next: About this document ...

1=4     

代数学 演習IA問題 No.4

\fbox{有限置換群編}

簡単な操作の例に、置換があります。「置き換え」ると言う意味を明確にするために、定義を確認しておきましょう。たとえば、元

$\displaystyle a=
\begin{pmatrix}
1&2&3&4 \\
3&1&2&4
\end{pmatrix}$

は、$ 1,2,3,4$ をならびかえて $ 3,1,2,4$ にすると言う意味ですが、そう覚えておくと後で混乱することがあるので、$ 1,2,3,4$ がそれぞれ《変身》して $ 3,1,2,4$ になると覚えておくのが良いと思います。$ a$ は《変身》と言う操作であって、これを、

$\displaystyle a(1)=3, a(2)=1,a(3)=2,a(4)=4
$

というようにも書きます。 ただし、違うものが同じものに変身してしまったり、あるものに変身するものがなかったりすると、《置き換え》になりませんから、それは除かなければなりません。

問題 4.1   無限個の元を持つ集合 $ S$ からそれ自身 $ S$ への写像では、一般に単射と全射は 同値ではありません。そこで整数全体の集合 $ S={\mbox{${\mathbb{Z}}$}}$ からそれ自身への写像 $ f:S\to S$ に対して、全射であるが、単射ではないもの例と、単射であるが、全射でないものの例を挙げなさい。

さて、二つの置換の結合(演算)は通常《後ろから読》みます。たとえば、

% latex2html id marker 987
$\displaystyle a=
\begin{pmatrix}
1&2&3&4 \\
2&3&4&1
\end{pmatrix},
\quad
b=
\begin{pmatrix}
1&2&3&4 \\
3&1&2&4
\end{pmatrix}$

の掛け算 $ ab$ は、

$\displaystyle ab=
\begin{pmatrix}
1&2&3&4 \\
2&3&4&1
\end{pmatrix}\begin{pmatr...
...&4 \\
3&1&2&4
\end{pmatrix}=
\begin{pmatrix}
1&2&3&4 \\
4&2&3&1
\end{pmatrix}$

つまり、例えば $ 1$$ b$$ 3$ に化けて、次に $ a$$ 3$$ 4$ に化けるので、結果として $ 1$$ ab$ によって $ 4$ に化けることになります。

問題 4.2   上の 状況のもとで、$ ba$ を求めなさい。

問題 4.3  

$\displaystyle a(b(1))=(ab)(1),
a(b(2))=(ab)(2) ,
a(b(3))=(ab)(3) ,
a(b(4))=(ab)(4)
$

を直接計算して示しなさい。 $ a(b(x))=(ab)(x)$ は置換一般について成り立ちます。

問題 4.4   三つの元 $ 1,2,3$ の置換をすべて求めなさい。(全部で $ 6$ 個あるはずです。)

任意の置換は互いに同じ文字を含まない巡回置換の積として表すことができます。例えば 、置換

$\displaystyle \sigma=
\begin{pmatrix}
1&2&3&4&5&6&7&8&9\\
4&5&7&6&2&1&8&9&3
\end{pmatrix}$

をよくみてみると、次のような変身の様子が分かります。

  % latex2html id marker 1037
$\displaystyle 3\overset{\sigma}{\mapsto} 7\overset...
...igma}{\mapsto} 1 \qquad 2\overset{\sigma}{\mapsto} 5\overset{\sigma}{\mapsto} 2$    

したがって、

$\displaystyle \sigma=
(3 7 6 8)
(1  4  6 )(2 5)
$

であることが分かります。

問題 4.5 (各1)   次の各置換を互いに同じ文字を含まない巡回置換の積として表しなさい。
  1. $ (1\ 2\ 3)(4\ 5)(1\ 2\ 3\ 6\ 7)$
  2. $ (1\ 2)(1\ 2\ 3\ 4)(1\ 2)(2\ 3\ 5\ 6)$
  3. $ (1\ 2\ 3)(1\ 2\ 4)(1\ 3\ 2) $

問題 4.6   次の各々の場合に $ \rho \sigma \rho^{-1}$ を求めなさい。
  1. % latex2html id marker 1059
$ \sigma=(1\ 4)(2\ 5\ 6),\quad \rho=(3\ 4\ 5)$
  2. % latex2html id marker 1061
$ \sigma=(3\ 4\ 9)(2\ 1\ 6\ 8),\quad \rho=(5\ 7)(2\ 3\ 9)$

    なお、答えは互いに同じ文字を含まない巡回置換の積として書いてみなさい。

    (一般に、 $ \rho \sigma \rho^{-1}$$ \sigma$$ \rho$ による共役元と呼ばれます 。)

問題 4.7   置換の共役元の簡単な計算法を考えなさい。

問題 4.8   $ \sigma=(1 2 3)(4 5)$ とします。 $ \rho\sigma\rho^{-1}=(3 4 5)(1 2)$ となる ような $ \rho$ を一つ求めなさい。

定義 4.1   一般に、群 $ G$ の元 $ g$ の位数とは、$ g^n=e$ (単位元)となる最小の正の整数のことを 言います。また、群 $ G$ の位数と言うのは、$ G$ の元の数のことです。

問題 4.9   任意の群 $ G$ の任意の元 $ g$ について、その位数を $ n$ とするとき、
  1. $ G$ の部分群 $ H$$ g$ を含むならば、$ G$ は少なくとも $ n$ 個の 元を含むことを示しなさい。
  2. $ G$ の部分群で、$ g$ を含むようなもののうち、元の個数が $ n$ 個のものが 存在することを示しなさい。

問題 4.10   巡回置換 $ \sigma=(a_1,\dots,a_r)$ の位数を求めなさい。

問題 4.11 (各1)  
  1. $ (1 2 3)(4  5) $ および $ (1 2 3)(4  5  6) $ の位数を求めよ。
  2. $ (1 2 3  4)(5  6  7  8  9  10 ) $ および $ (1 2 3  4  5  6 )(7  8  9  10  11  12  13  14 ) $ の位数を求めよ。

問題 4.12   二つの巡回置換 $ \sigma=(a_1,\dots,a_r),\tau=(b_1,\dots,b_k)$ について、 $ a_i,b_j
$ に同じ文字がないとき、積 $ \sigma\tau$ の位数を求めなさい。

定義 4.2   $ n$ -個の元からなる集合 $ \{1,2,3,\dots,n\}$ の上の置換の全体のなす群を $ n$ -次対称 群と呼び、$ \frak S_n$ と書きます。

問題 4.13 (部分群一つにつき1点)   3次対称群 $ \frak S_3$ の部分群をすべて書きなさい。(全部で六つある筈です。)

問題 4.14   $ \frak S_3$ の部分群 $ H$ が、$ (1 2)$$ (1 2 3)$ を含むとすると、 $ H=\frak S_3$ であることを示しなさい。

問題 4.15   4次対称群の元のそれぞれを、互いに同じ文字を含まない巡回置換の積として表しなさい 。($ 4!=24$ 個あります!)

問題 4.16   $ \frak S_n$ の部分群 $ H$ が、 互換 $ (1 2)$ と巡回置換 $ (1 2 3 \dots n-1  n) $ を含むとすると、 $ H=\frak S_n$ であることを証明しなさい。

問題 4.17   5つの元 $ 1,2,3,4,5$ の置換はいくつあるか答えなさい。一般に $ n$ -個の元の置換の個数はいくつありますか?

問題 4.18   三つの元の置換のなす群 $ \frak S_3$ は正三角形の合同変換群 $ \Bbb D_3$ と 同型であること(群として同じであること)を示しなさい。

問題 4.19   4つの元の置換のなす群 $ \frak S_4$ と正方形の合同変換群 $ \Bbb D_4$ とは 同型でないことを示しなさい。

問題 4.20   $ \mathfrak{S}_5$ には位数 $ 10$ の元が存在しないことを示しなさい。


next up previous
Next: About this document ...
2012-05-07