乗積表
ある群から任意の元を二つ選び、それらの演算結果 (積)を並べた表を、乗積表 (Cayley1 table )といいます。例えば 元として恒等変換 (1) と対称心 (1¯) を含む点群 1¯ の乗積表は、以下のようになります。
点群 m (主軸は b) の乗積表は、以下のようになります。なお、対称操作の記号にはザイツ記号 (こちらを参照) しています。
点群 4¯ (主軸は c) の乗積表は、以下のようになります。
| 1 | 2001 | 4¯+001 | 4¯−001 |
| 1 | 1 | 2001 | 4¯+001 | 4¯−001 |
| 2001 | 2001 | 1 | 4¯−001 | 4¯+001 |
| 4¯+001 | 4¯+001 | 4¯−001 | 2001 | 1 |
| 4¯−001 | 4¯−001 | 4¯+001 | 1 | 2001 |
点群 222 の乗積表は、以下のようになります。
| 1 | 2100 | 2010 | 2001 |
| 1 | 1 | 2100 | 2010 | 2001 |
| 2100 | 2100 | 1 | 2001 | 2010 |
| 2010 | 2010 | 2001 | 1 | 2100 |
| 2001 | 2001 | 2010 | 2100 | 1 |
乗積表では、任意の列あるいは行をひとつ選んだとき、全て元が一回ずつ現れるという性質があります。
群の同型
2つの群 G,H の間に同型写像が存在するとき、G,H の関係を同型 (isomorphism)であるといいます。同型写像とは、Gの元をHの元に写すような関数 f が、f(ab)=f(a)f(b) (ただし a,b はG の任意の元)という性質を満たし、なおかつ全単射である2ような写像のことです。2つの群が同型であるということは、群としての構造が全く同じであることを意味します。言い換えると、同型な群の乗積表は、適切に記号を置き換えると一致するということです。
点群 (有限群)の場合
たとえば点群 1¯ と m の乗積表を比べてみると、1¯↔m010 という置換で等しくなることが分かります。すなわち、点群 1¯ と m は同型です。位数(元の数)が2の群の乗積表は、単位元をE, それ以外の元をAとして、以下のパターンしか有り得ません。位数が2の点群は 1¯,m,2があり、これらは全て同型ということになります。
一方、点群 4¯ の乗積表の記号をどのように置換したとしても、点群 222 の乗積表と一致させることは出来ません。したがって点群 4¯ と 222 は同型ではありません。位数が4の群の乗積表は、単位元をE, それ以外の元をA,B,Cとして、以下の2つのパターンがあります。
前者は点群 4,4¯ が該当し、後者は点群 2/m,222,mm2 が該当します。位数が有限である群 (有限群) に関する同型の分類についてはこちら (信州大学・花木先生の資料)に詳しくまとめられています。
空間群 (無限群) の場合
さて、点群 1¯ と m は同型であることが分かりました。それでは、空間群 P1¯ と Pm は同型でしょうか？「格子並進が加わっただけだから同型のままなんじゃない？」 と思われる方がいるかもしれませんが、実は違います。乗積表を書き下して検討してみましょう (空間群は位数が無限なので一部だけ書くことにします)。
P1¯の乗積表
| {1|0,0,0} | {1¯|0,0,0} | {1|1,0,0} | {1¯|1,0,0} | {1|0,1,0} | {1¯|0,1,0} | ⋯ |
| {1|0,0,0} | {1|0,0,0} | {1¯|0,0,0} | {1|1,0,0} | {1¯|1,0,0} | {1|0,1,0} | {1¯|0,1,0} | ⋯ |
| {1¯|0,0,0} | {1¯|0,0,0} | {1|0,0,0} | {1¯|1,0,0} | {1|1,0,0} | {1¯|0,1,0} | {1|0,1,0} | ⋯ |
| {1|1,0,0} | {1|1,0,0} | {1¯|1¯,0,0} | {1|2,0,0} | {1¯|0,0,0} | {1|1,1,0} | {1¯|1¯,1,0} | ⋯ |
| {1¯|1,0,0} | {1¯|1,0,0} | {1|1¯,0,0} | {1¯|2,0,0} | {1|0,0,0} | {1¯|1,1,0} | {1|1¯,1,0} | ⋯ |
| {1|0,1,0} | {1|0,1,0} | {1¯|0,1¯,0} | {1|1,1,0} | {1¯|1,1¯,0} | {1|0,2,0} | {1¯|0,0,0} | ⋯ |
| {1¯|0,1,0} | {1¯|0,1,0} | {1|0,1¯,0} | {1¯|1,1,0} | {1|1,1¯,0} | {1¯|0,2,0} | {1|0,0,0} | ⋯ |
| ⋮ | ⋮ | ⋮ | ⋮ | ⋮ | ⋮ | ⋮ | ⋱ |
Pm (主軸b)の乗積表
| {1|0,0,0} | {m010|0,0,0} | {1|1,0,0} | {m010|1,0,0} | {1|0,1,0} | {m010|0,1,0} | ⋯ |
| {1|0,0,0} | {1|0,0,0} | {m010|0,0,0} | {1|1,0,0} | {m010|1,0,0} | {1|0,1,0} | {m010|0,1,0} | ⋯ |
| {m010|0,0,0} | {m010|0,0,0} | {1|0,0,0} | {m010|1,0,0} | {1|1,0,0} | {m010|0,1,0} | {1|0,1,0} | ⋯ |
| {1|1,0,0} | {1|1,0,0} | {m010|1,0,0} | {1|2,0,0} | {m010|2,0,0} | {1|1,1,0} | {m010|1,1,0} | ⋯ |
| {m010|1,0,0} | {m010|1,0,0} | {1|1,0,0} | {m010|2,0,0} | {1|2,0,0} | {m010|1,1,0} | {1|1,1,0} | ⋯ |
| {1|0,1,0} | {1|0,1,0} | {m010|0,1¯,0} | {1|1,1,0} | {m010|1,1¯,0} | {1|0,2,0} | {m010|0,0,0} | ⋯ |
| {m010|0,1,0} | {m010|0,1,0} | {1|0,1¯,0} | {m010|1,1,0} | {1|1,1¯,0} | {m010|0,2,0} | {1|0,0,0} | ⋯ |
| ⋮ | ⋮ | ⋮ | ⋮ | ⋮ | ⋮ | ⋮ | ⋱ |
白抜きの部分は線形部分が1の操作(つまり単純な平行移動操作)を表しており、当然ながら完全に一致します。注目すべきは背景が青色の部分です。この部分に注目してじっくり比較してみましょう。すると、記号の置き換えによって両者を等しくすることは出来ないことに気付くはずです。なぜなら、例えば空間群 P1¯の場合 {1¯|u,v,w} を二乗すると必ず {1|0,0,0}になりますが、 空間群 P2 の場合 {m010|u,v,w}を二乗しても {1|0,0,0}になるとは限らない3からです。したがって、点群 1¯ と 2 は同型ですが、空間群 P1¯ と P2 は同型ではありません。同型な点群だったとしても、並進操作を加えると同型ではなくなってしまうというのは、群の一般的な性質です。
同型の空間群
基本的に表記の異なる空間群は、非同型な(同型ではない)関係にあるのですが、例外があります。230種類の3次元空間群のうち、次に示す11のペアは互いに同型です。
- 正方晶系: P41とP43、P4122とP4322、P41212とP43212
- 三方晶系: P31とP32、P3121とP3221、P3112とP3212
- 六方晶系: P61とP65、P62とP64、P6122とP6522、P6222とP6422
- 立方晶系: P4132とP4332
各ペアは enantiomorphic (鏡像異形) の関係を持っています。これら11ペアの同型重複を除いた219種類の空間群をaffine space-group typesといいます。一方同型重複を許した230種類をproper affine space-group typesといいます。
脚注