６　類別１
f-denshi.com  最終更新日： 04/02/29

　　この章では同値関係、もしくは類別と呼ばれる方法で、正四面体群を共通部分のない部分集合に分割することを学びます。この部分集合の性質から部分群が特徴づけられることを学びます。　

1．同値関係

［1］　　任意の集合の二つ元の間に定義される関係のひとつに同値関係があります．同値関係の定義は以下の通りです。

　集合の元の間に定義されるある関係 〜 が任意の元 a、b、c について次の関係を満たすとき、関係 〜 を同値関係と呼ぶ。

（1）　a 〜 a
（2）　a 〜 b            ⇒  b 〜 a
（3）　a 〜 b、b 〜 c　⇒  a 〜 c

　ここで、a 〜 b は「a と b は（ 関係〜において） 同値である」と呼びます。　
　例として日本人全体の集合を考えて、同値という言葉を「血液型が（ABO方式で）同じ」と読み替えてみるとよいでしょう。すると、

（1） a さんの血液型は a さんと同じ
（２） a さんの血液型は b さんと同じ　⇒  b さんの血液型は a さんと同じ
（３） a さんの血液型は b さんと同じ、かつ、b さんの血液型は c さんと同じ　⇒  a さんの血液型は c さんと同じ

となります。すなわち、日本人の集合において、「血液型が同じ」という”関係”は同値関係になります。さらにこの例でわかるように、日本人ひとりひとりは必ずある血液型の集合のどれか一つだけに属していますが、一般に同値関係を用いると、

「 同値関係を用いると、集合を共通部分のない部分集合に分割することが可能 」

であることが示せます。このことを次の定理としてまとめておきます。

定理
　同値関係 〜 の定義された集合 G は次の二つの条件を満たすような共通部分のない部分集合の和、H1U H2U・・・・・U Hn に分割することができる。

   （1） ｉ≠ｊ　ならば、任意の a∈Hi、b∈Hjについて　a 〜 b は成り立たない。
   （2） どの Hj についても任意の a、b∈Hj について a 〜 b  が成り立つ。

このような分類を類別といい、上のHjひとつひとつを同値類といいます。

２．部分群S1による類別

［1］　（矛盾が生じないように）　群に次のように同値関係 〜 を導入することができます。

　群 G の元 a、b について、G の部分群 S を用いて、

         a ＝ b ・ s、  ∃s∈S    　　 ←　ある元 s が集合 S の中に存在して」という意味

が成り立つとき、　a 〜 b　と定義すれば、〜 は同値関係である。　

　一般の場合はさておき、このような同値関係で、先に求めた正四面体群 G を類別してみましょう。
類別に用いる部分群 S を、S1＝｛e、a1、b1｝ とします。　まず、正四面体の群表より、

ｘ・s、　s∈S1＝｛e、a1、b1｝

の演算結果を抜き出します。

ｘ・s e a1 b1
a1 a1 b1 e
a2 a2 b3 hz
a3 a3 b4 hy
a4 a4 b2 hx
b1 b1 e a1
b2 b2 hx a4
b3 b3 hz a2
b4 b4 hy a3
hx hx a4 b2
hy hy a3 b4
hz hz a2 b3
e e a1 b1
並び替え
　　⇒
ｘ・s e a1 b1
a1 a1 b1 e
b1 b1 e a1
e e a1 b1
a2 a2 b3 hz
b3 b3 hz a2
hz hz a2 b3
a3 a3 b4 hy
b4 b4 hy a3
hy hy a3 b4
a4 a4 b2 hx
b2 b2 hx a4
hx hx a4 b2

［２］　ここで、元と集合の積（みたいな）記号を、
xS1＝｛x･s｜s∈S1｝、

と定義することにします。例えば、上（左）の右表の1行目の部分は、

a1S1＝｛a1･e、a1･a1、a1･b1｝＝｛a1、b1、e｝　　（　＝E　とおく　）

となります。さらに 2、3 行目を調べると、

b1S1＝｛a1、b1、e　｝
eS1 ＝｛a1、b1、e　｝　

となり、1行目と同じ集合、E　であることがわかります。同様に

a2S1＝b3S1＝hzS1＝｛a2、b3、hz｝＝Z
a3S1＝b4S1＝hyS1＝｛a3、b4、hy｝＝Y
a4S1＝b2S1＝hxS1＝｛a4、b2、hx｝＝X　　

となり、結局、x・S1を考えることで、４種類の集合 E、Z、Y、X に G が分割されます。この集合、E、Z、Y、X を G の S1 による同値類別（左剰余類とも言います）になっているのです。

ほとんどの教科書では、同値類に対して、X、Y、･･という記号を使わずに、a4S1、a3S1、･･のように書きます。そして、a4 を同値類 X の代表元といいます。もちろん、a4 でなくとも b2、hx も X の代表元に選べます。

［３］　この分割が元を同値なものどうしに分割していることは、たとえば、X＝｛ a4、b2、hx ｝に属する元が互いに同値関係にあることは、適当な s∈S1 を選べば、

（1）　a4＝a4・e　　　　　　　　　　　　　　　　　　　　　［ a 〜 a ］
（2）　a4＝hx・a1　　　　　　　　　⇒　hx＝a4・b1　　［ a 〜 b　　⇒　b 〜 a ］
（3）　a4＝hx・a1、hx＝b2・a1　⇒　a4＝b2・b1　［ a 〜 b、b 〜 c　⇒　a 〜 c ］
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　（e、a1、b1∈S）

と確かめられます。

したがって、G は S1 によって、

G ＝｛a1、b1、e｝∪｛a2、b3、hz｝∪｛a3、b4、hy｝∪｛a4、b2、hx｝

というように、重複も余すこともなく異なる４つの同値類の和で表せます（＝類別されています）。

　  G の S1 による同値類別によって得られる同値類の個数を G における S1 の指数といい、

｜G：S1｜＝4　

のように書きます。そして、S1 の位数とのあいだには、

｜G｜＝｜S1｜×｜G：S1｜  

が成り立ちます。

［４］　また、単なる表記法の問題ですが、G の S1 による類別を、

G＝a1S1＋a2S1＋a3S1＋a4S1
　＝S1＋a2S1＋a3S1＋a4S1
　＝S1＋hzS1＋hyS1＋hxS1
　＝・・・・・・・・・・・・・・

と、＋記号と代表元を使って書くこともあります。

［目次へ］