記事ソース/群の中心
メニュー現在 4 名がオンラインです。 最新の25件2023-12-12
2023-11-11
2023-11-06
2023-07-15
2022-09-14
2022-07-01
2022-06-12
2022-04-13
2021-12-03
2021-10-07
2021-08-12
2021-07-26
2021-06-30
2021-06-06
2021-05-02
2021-04-17
2021-03-20
2021-03-19
2021-03-11
|
記事ソース/群の中心†これはrst2hooktailの記事ソース保存・変換用です（詳細）． コンバート公開・更新メニュー ▼▲記事ソースの内容========================================
群の中心
========================================
群 $G$ のある元 $a$ が、 $G$ の任意の元 $c$ に対して $ac=ca$ となる場合、 $a$ は全ての元と *交換可能* だと言います。この条件を $a=cac^{-1}$ と書き直せば、交換可能な元は *自己共役* (自分自身と共役であること)だと言い替えることもできます。
群 $G$ の元と交換可能な元を全て集めた集合 $C$ を *中心* と呼びます。
.. [*] 一般に群の演算は非可換ですから、全ての元で $ac=ca$ がなりたつことはありません。(むしろ、 $\{e\}$ 以外で交換可能な元は珍しいはずです。)一方、可換群では $ac=ca$ が常になりたちますので、 **可換群の中心は可換群自身** になります。
.. [*] 群 $G$ のある共役類に、たった一つの元 $a$ しか含まれない場合、この $a$ は、 $G$ に含まれる任意の元 $g$ に対して $a=gag^{-1}$ を満たすはずです(もしも $gag^{-1}$ が $a$ 以外になれば、共役類には二つ以上の元が含まれるはずだからです)。これは、取りも直さず $\{a \}$ が群 $G$ の中心だということです。元を一個しか含まない共役類は常に群の中心になります。群の中心とは、 *一個しか元を含まない共役類の和集合だ* と考えることもできます。
中心の性質
-----------------------------------------------------
一般に、中心は部分群になります。単位元が中心に含まれるのは明らかでしょう。群になる条件として、演算が閉じていることと、逆元も中心に含まれることを以下に示します。
もし群 $G$ の中心に、単位元でない二つの元 $g_{1},g_{2}$ が含まれる場合、中心の定義より、任意の $G$ の元 $h$ に対して $g_{1}h=hg_{1},g_{2}h=hg_{2}$ がなりたつはずです。これより次式が言え、 $g_{1}g_{2}$ も中心に含まれると言えます。
<tex>
(g_{1}g_{2})h=g_{1}(g_{2}h)=g_{1}(hg_{2})=(hg_{2})g_{1}=h(g_{2}g_{1})=h(g_{1}g_{2})
</tex>
また、 $gh$ と $hg$ の逆元はそれぞれ $(gh)^{-1}=h^{-1}g^{-1}$ , $(hg)^{-1}=g^{-1}h^{-1}$ ですが、 $gh=hg$ より $h^{-1}g^{-1}=g^{-1}h^{-1}$ がなりたつことも言え、中心の元の逆元も中心に含まれることが示せました。
一般に、 **中心は部分群になります** 。
.. [*] この次に勉強することですが、中心は他の全てと交換可能なので、ただの部分群ではなく、正規部分群と呼ばれる部分群になります。
群の位数と中心
--------------------------------------------------
群が非可換群ならば、直観的にはいかにも中心には単位元しか含まれないような感じがしますが、そんなことはありません。次の定理があります。
.. admonition:: theorem
有限群 $G$ の位数が素数 $p$ の冪 $p^{k}$ で表わせる場合、 $G$ の中心は単位元以外の元を持ちます。
群 $G$ が集合 $M$ に作用するとき、 $M$ はG-軌道によって過不足なく分けられるのでした(全部で $n$ 個の軌道があるとします。互いに独立なG-軌道は交わらないということと、 $G$ が有限群であることから、一般性を失うことなくこのように仮定できます)。
<tex>
M=G(x_{1})\cup G(x_{2})\cup \cdot \cdot \cdot \cup G(x_{n})
</tex>
<tex>
\phi =G(x_{1})\cap G(x_{2})\cap \cdot \cdot \cdot \cap G(x_{n})
</tex>
共通集合が無いことより、 $M$ の元の個数についても加法がなりたちます。
<tex>
|M|=|G(x_{1})|+ |G(x_{2})|+ \cdot \cdot \cdot +|G(x_{n}))|
</tex>
ここまでは軌道の復習です。次に $M=G$ として、 $G$ の自分自身に対する作用を見てみます。 $G$ の作用としては、共役作用だけを考えます( 群が集合の上で働くということ_ 参照)。 $G$ が $G$ 自身の元全てに、共役を取るように作用し、元は軌道ごとに(すなわち共役類ごとに)類別されるわけですが、これらの軌道のうちの幾つかは中心 $Z$ になるはずですから、まとめて $Z$ と置けて、次式が書けます。(これを *類方程式* と呼びます。中心は一個しか元を含まない共役類の和集合であることも思い出して下さい。)
<tex>
|G|=|Z|+ |G(x_{2})|+ |G(x_{3})|+ ....
</tex>
一方、 $G$ の各元のG-軌道に含まれる元の個数は、 $|G|$ の約数だという定理がありました。 $|G|=p^{k}$ なので、各G-軌道に含まれる元の個数は、 $1$ もしくは $p$ の冪となります。
<tex>
p^{k}=|Z|+ p+p^{2}+p^{3}+ ...
</tex>
もし、中心が単位元だけからなる群だとすると、 $p^{k}=1+ p+p^{2}+p^{3}+ ... $ となり、右辺は $p$ で割れませんから矛盾です。よって、中心は単位元以外の元も持ちます。■
.. [*] 位数が素数 $p$ の冪乗である群を" $p$ 群"と呼びます。
例１
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
三次の対称群を考えます。
<tex>
S_{3}=\Big\{ \Big( \begin{array}{ccc} 1 & 2 & 3 \\ 1 & 2 & 3 \\ \end{array} \Big) , \Big( \begin{array}{ccc} 1 & 2 & 3 \\ 1 & 3 & 2 \\ \end{array} \Big) , \Big( \begin{array}{ccc} 1 & 2 & 3 \\ 2 & 1 & 3 \\ \end{array} \Big) , \Big( \begin{array}{ccc} 1 & 2 & 3 \\ 2 & 3 & 1 \\ \end{array} \Big) , \Big( \begin{array}{ccc} 1 & 2 & 3 \\ 3 & 1 & 2 \\ \end{array} \Big) , \Big( \begin{array}{ccc} 1 & 2 & 3 \\ 3 & 2 & 1 \\ \end{array} \Big) \Big\}
</tex>
どの元に対しても、 $ac=ca$ のように可換になる元 $c$ があるでしょうか？色々試して見てください。実は単位元 $\Big( \begin{array}{ccc} 1 & 2 & 3 \\ 1 & 2 & 3 \\ \end{array} \Big)$ 以外に、そのような元はありません。三次の対称群の中心は、単位置換だけだということが分かります。一般に、 $3$ 次以上の対称群の中心は、単位置換だけです。
.. [*] さきほどの定理と併せて考えれば『 $3$ 次以上の対称群の位数は素数の冪にはならない』という定理も導けます。
.. _群が集合の上で働くということ: http://www12.plala.or.jp/ksp/algebra/GroupAction/
@@author:Joh@@
@@accept: 2006-04-23@@
@@category: 代数学@@
@@id: GroupCentre@@
|
