結晶族点群とその部分群

結晶族点群とは

 点群は無数に存在します。例えば回転操作を元に含むような点群であれば、回転角度を適当に変えることでいくらでも新しいものを作り出すことが出来ます。ところが、対象を結晶に限定した場合、回転角度は自由に設定することは出来ません。結晶は単位格子並進によって空間を埋め尽くす必要があるため、許される回転(回反)角度は、0°, 60°, 90°, 120°, 180°, 240°, 270°, 300°のいずれかであることが要請されます。この要請は、「回転あるいは回反の次数は 1, 2, 3, 4, 6 に限定される」という表現と等価です。次数が 1, 2, 3, 4, 6 の回転あるいは回反操作1を、いろいろと向きを変えながら組み合わせて群を作ると、全部で32種類しか生み出されません。この32種類を、結晶族点群といいます2

 以下に32種類の結晶族点群の表記を結晶系 (Crystal system) ごとに紹介します。

Triclinic 三斜晶系

Sch.HM (short)HM (full)
\(C_1\)\(1\)\(1\)
\(C_i\)\(\bar{1}\)\(\bar{1}\)

Monoclinic 単斜晶系

Sch.HM (short)HM (full)
\(C_2\)\(2\)\(2\)
\(C_s\)\(m\)\(m\)
\(C_{2h}\)\(2/m\)\(2/m\)

Triclinic 直方晶系

Sch.HM (short)HM (full)
\(D_2\)\(222\)\(2\ 2\ 2\)
\(C_{2v}\)\(mm2\)\(m\ m\ 2\)
\(D_2h\)\(mmm\)\(2/m\ 2/m\ 2/m\)

Tetragonal 正方晶系

Sch.HM (short)HM (full)
\(C_4\)\(1\)\(1\)
\(S_4\)\(\bar{1}\)\(\bar{1}\)
\(C_{4h}\)\(\bar{4}\)\(\bar{4}\)
\(D_4\)\(422\)\(4\ 2\ 2\)
\(C_{4v}\)\(4mm\)\(4\ m\ m\)
\(D_{2d}\)\(\bar{4}2m\)\(\bar{4}\ 2\ m\)
\(D_{4h}\)\(4/mmm\)\(4/m\ 2/m\ 2/m\)

Trigonal 三方晶系

Sch.HM (short)HM (full)
\(C_3\)\(3\)\(3\)
\(C_{3i}\)\(\bar{3}\)\(\bar{3}\)
\(D_3\)\(32\)\(3\ 2\)
\(C_{3v}\)\(3m\)\(3\ m\)
\(D_{3d}\)\(\bar{3}m\)\(\bar{3}\ 2/m\)

Hexagonal 六方晶系

Sch.HM (short)HM (full)
\(C_6\)\(6\)\(6\)
\(C_{3h}\)\(\bar{6}\)\(\bar{6}\)
\(C_{6h}\)\(6/m\)\(6/m\)
\(D_{6}\)\(622\)\(6\ 2\ 2\)
\(C_{6v}\)\(6mm\)\(6\ m\ m\)
\(D_{3h}\)\(\bar{6}m2\)\(\bar{6}\ m\ 2\)
\(D_{6h}\)\(6/mmm\)\(6/m\ m\ m\)

Cubic 立方晶系

Sch.HM (short)HM (full)
\(T\)\(23\)\(2\ 3\)
\(T_h\)\(m\bar{3}\)\(2/m\ \bar{3}\)
\(O\)\(432\)\(4\ 3\ 2\)
\(T_d\)\(\bar{4}3m\)\(\bar{4}\ 3\ m\)
\(O_h\)\(m\bar{3}m\)\(4/m\ \bar{3}\ 2/m\)

結晶族点群の部分群

 以下に、32種類の結晶族点群について、部分群・超群の関係を示します。

 すべての結晶族点群の中で点群 \(1\) は最下部に位置し、その位数は1です。単位行列だけからなる点群です。一方、立方晶系 (cubic) に属する点群 \(m\bar{3}m\) は最も対称性の高い点群であり、その位数は48です。ただし、点群 \(m\bar{3}m\) がすべての点群の超群になるというわけではありません。点群 \(6/mmm\) を局所的な頂点とする六方晶系 (hexagonal) の点群たちは、どのような対称操作を加えたり減らしたりしても直接立方晶系の点群たちへたどり着けません。立方晶系に属する点群と六方晶系も属する点群との間には、超群/部分群の関係はないのです。一方、三方晶系 (trigonal) は、立方晶系と六方晶系のどちらの部分群にもなり得ます。このあたりの事情は、別ページの解説をご覧ください。以下、図中の用語解説です。


例: \(4/m\)の部分群

点群 \(4/m\) の 8 個の対称操作を元とする群です。対称操作をザイツ記号3で表現して乗積表4を書き下すと以下のようになります。

\(1\)\(2_{001}\)\(4^+_{001}\)\(4^-_{001}\)\(m_{001}\)\(\bar{1}\)\(\bar{4}^+_{001}\)\(\bar{4}^-_{001}\)
\(1\)\(1\)\(2_{001}\)\(4^+_{001}\)\(4^-_{001}\)\(m_{001}\)\(\bar{1}\)\(\bar{4}^+_{001}\)\(\bar{4}^-_{001}\)
\(2_{001}\)\(2_{001}\)\(1\)\(4^-_{001}\)\(4^+_{001}\)\(\bar{1}\)\(m_{001}\)\(\bar{4}^-_{001}\)\(\bar{4}^+_{001}\)
\(4^+_{001}\)\(4^+_{001}\)\(4^-_{001}\)\(2_{001}\)\(1\)\(\bar{4}^-_{001}\)\(\bar{4}^-_{001}\)\(m_{001}\)\(\bar{1}\)
\(4^-_{001}\)\(4^-_{001}\)\(4^+_{001}\)\(1\)\(2_{001}\)\(\bar{4}^+_{001}\)\(\bar{4}^+_{001}\)\(\bar{1}\)\(m_{001}\)
\(m_{001}\)\(m_{001}\)\(\bar{1}\)\(\bar{4}^-_{001}\)\(\bar{4}^+_{001}\)\(1\)\(2_{001}\)\(4^-_{001}\)\(4^+_{001}\)
\(\bar{1}\)\(\bar{1}\)\(m_{001}\)\(\bar{4}^-_{001}\)\(\bar{4}^+_{001}\)\(2_{001}\)\(1\)\(4^+_{001}\)\(4^-_{001}\)
\(\bar{4}^+_{001}\)\(\bar{4}^+_{001}\)\(\bar{4}^-_{001}\)\(m_{001}\)\(\bar{1}\)\(4^-_{001}\)\(4^+_{001}\)\(2_{001}\)\(1\)
\(\bar{4}^-_{001}\)\(\bar{4}^-_{001}\)\(\bar{4}^+_{001}\)\(\bar{1}\)\(m_{001}\)\(4^+_{001}\)\(4^-_{001}\)\(1\)\(2_{001}\)

上の乗積表から、群としての要件を満たしつつ、なるべく多くの元を選んでみましょう。まず、以下のように赤く囲った操作(元)を選び出して作られる群が、点群 \(4\)です。

\(1\)\(2_{001}\)\(4^+_{001}\)\(4^-_{001}\)\(m_{001}\)\(\bar{1}\)\(\bar{4}^+_{001}\)\(\bar{4}^-_{001}\)
\(1\)\(1\)\(2_{001}\)\(4^+_{001}\)\(4^-_{001}\)\(m_{001}\)\(\bar{1}\)\(\bar{4}^+_{001}\)\(\bar{4}^-_{001}\)
\(2_{001}\)\(2_{001}\)\(1\)\(4^-_{001}\)\(4^+_{001}\)\(\bar{1}\)\(m_{001}\)\(\bar{4}^-_{001}\)\(\bar{4}^+_{001}\)
\(4^+_{001}\)\(4^+_{001}\)\(4^-_{001}\)\(2_{001}\)\(1\)\(\bar{4}^-_{001}\)\(\bar{4}^-_{001}\)\(m_{001}\)\(\bar{1}\)
\(4^-_{001}\)\(4^-_{001}\)\(4^+_{001}\)\(1\)\(2_{001}\)\(\bar{4}^+_{001}\)\(\bar{4}^+_{001}\)\(\bar{1}\)\(m_{001}\)
\(m_{001}\)\(m_{001}\)\(\bar{1}\)\(\bar{4}^-_{001}\)\(\bar{4}^+_{001}\)\(1\)\(2_{001}\)\(4^-_{001}\)\(4^+_{001}\)
\(\bar{1}\)\(\bar{1}\)\(m_{001}\)\(\bar{4}^-_{001}\)\(\bar{4}^+_{001}\)\(2_{001}\)\(1\)\(4^+_{001}\)\(4^-_{001}\)
\(\bar{4}^+_{001}\)\(\bar{4}^+_{001}\)\(\bar{4}^-_{001}\)\(m_{001}\)\(\bar{1}\)\(4^-_{001}\)\(4^+_{001}\)\(2_{001}\)\(1\)
\(\bar{4}^-_{001}\)\(\bar{4}^-_{001}\)\(\bar{4}^+_{001}\)\(\bar{1}\)\(m_{001}\)\(4^+_{001}\)\(4^-_{001}\)\(1\)\(2_{001}\)

以下のように赤く囲った操作(元)を選び出して作られる群が、点群 \(\bar{4}\)です。

\(1\)\(2_{001}\)\(4^+_{001}\)\(4^-_{001}\)\(m_{001}\)\(\bar{1}\)\(\bar{4}^+_{001}\)\(\bar{4}^-_{001}\)
\(1\)\(1\)\(2_{001}\)\(4^+_{001}\)\(4^-_{001}\)\(m_{001}\)\(\bar{1}\)\(\bar{4}^+_{001}\)\(\bar{4}^-_{001}\)
\(2_{001}\)\(2_{001}\)\(1\)\(4^-_{001}\)\(4^+_{001}\)\(\bar{1}\)\(m_{001}\)\(\bar{4}^-_{001}\)\(\bar{4}^+_{001}\)
\(4^+_{001}\)\(4^+_{001}\)\(4^-_{001}\)\(2_{001}\)\(1\)\(\bar{4}^-_{001}\)\(\bar{4}^-_{001}\)\(m_{001}\)\(\bar{1}\)
\(4^-_{001}\)\(4^-_{001}\)\(4^+_{001}\)\(1\)\(2_{001}\)\(\bar{4}^+_{001}\)\(\bar{4}^+_{001}\)\(\bar{1}\)\(m_{001}\)
\(m_{001}\)\(m_{001}\)\(\bar{1}\)\(\bar{4}^-_{001}\)\(\bar{4}^+_{001}\)\(1\)\(2_{001}\)\(4^-_{001}\)\(4^+_{001}\)
\(\bar{1}\)\(\bar{1}\)\(m_{001}\)\(\bar{4}^-_{001}\)\(\bar{4}^+_{001}\)\(2_{001}\)\(1\)\(4^+_{001}\)\(4^-_{001}\)
\(\bar{4}^+_{001}\)\(\bar{4}^+_{001}\)\(\bar{4}^-_{001}\)\(m_{001}\)\(\bar{1}\)\(4^-_{001}\)\(4^+_{001}\)\(2_{001}\)\(1\)
\(\bar{4}^-_{001}\)\(\bar{4}^-_{001}\)\(\bar{4}^+_{001}\)\(\bar{1}\)\(m_{001}\)\(4^+_{001}\)\(4^-_{001}\)\(1\)\(2_{001}\)

以下のように赤く囲った操作(元)を選び出して作られる群が、点群 \(2/m\)です。

\(1\)\(2_{001}\)\(4^+_{001}\)\(4^-_{001}\)\(m_{001}\)\(\bar{1}\)\(\bar{4}^+_{001}\)\(\bar{4}^-_{001}\)
\(1\)\(1\)\(2_{001}\)\(4^+_{001}\)\(4^-_{001}\)\(m_{001}\)\(\bar{1}\)\(\bar{4}^+_{001}\)\(\bar{4}^-_{001}\)
\(2_{001}\)\(2_{001}\)\(1\)\(4^-_{001}\)\(4^+_{001}\)\(\bar{1}\)\(m_{001}\)\(\bar{4}^-_{001}\)\(\bar{4}^+_{001}\)
\(4^+_{001}\)\(4^+_{001}\)\(4^-_{001}\)\(2_{001}\)\(1\)\(\bar{4}^-_{001}\)\(\bar{4}^-_{001}\)\(m_{001}\)\(\bar{1}\)
\(4^-_{001}\)\(4^-_{001}\)\(4^+_{001}\)\(1\)\(2_{001}\)\(\bar{4}^+_{001}\)\(\bar{4}^+_{001}\)\(\bar{1}\)\(m_{001}\)
\(m_{001}\)\(m_{001}\)\(\bar{1}\)\(\bar{4}^-_{001}\)\(\bar{4}^+_{001}\)\(1\)\(2_{001}\)\(4^-_{001}\)\(4^+_{001}\)
\(\bar{1}\)\(\bar{1}\)\(m_{001}\)\(\bar{4}^-_{001}\)\(\bar{4}^+_{001}\)\(2_{001}\)\(1\)\(4^+_{001}\)\(4^-_{001}\)
\(\bar{4}^+_{001}\)\(\bar{4}^+_{001}\)\(\bar{4}^-_{001}\)\(m_{001}\)\(\bar{1}\)\(4^-_{001}\)\(4^+_{001}\)\(2_{001}\)\(1\)
\(\bar{4}^-_{001}\)\(\bar{4}^-_{001}\)\(\bar{4}^+_{001}\)\(\bar{1}\)\(m_{001}\)\(4^+_{001}\)\(4^-_{001}\)\(1\)\(2_{001}\)

なお、\(4/m\) にとって\(4, \bar{4}, 2/m\) は全て正規部分群ですから剰余群をつくることができます5。\(4/m\) に対して、\(4\) を法とした剰余群は \(m\) となり、\(\bar{4}\) を法とした剰余群は \(\bar{1}\) となり、\(2/m\) を法とした剰余群は \(2\) となります。


例: 点群 \(2\ 2\ 2\) の部分群

点群 \(2\ 2\ 2\) の構造は以下のような乗積表で表現できます。

\(1\)\(2_{100}\)\(2_{010}\)\(2_{001}\)
\(1\)\(1\)\(2_{100}\)\(2_{010}\)\(2_{001}\)
\(2_{100}\)\(2_{100}\)\(1\)\(2_{001}\)\(2_{010}\)
\(2_{010}\)\(2_{010}\)\(2_{001}\)\(1\)\(2_{100}\)
\(2_{001}\)\(2_{001}\)\(2_{010}\)\(2_{100}\)\(1\)

上の乗積表から群としての要件を満たすように部分群を選び出すやり方には、以下の三通りがあります。

\(1\)\(2_{100}\)\(2_{010}\)\(2_{001}\)
\(1\)\(1\)\(2_{100}\)\(2_{010}\)\(2_{001}\)
\(2_{100}\)\(2_{100}\)\(1\)\(2_{001}\)\(2_{010}\)
\(2_{010}\)\(2_{010}\)\(2_{001}\)\(1\)\(2_{100}\)
\(2_{001}\)\(2_{001}\)\(2_{010}\)\(2_{100}\)\(1\)
\(1\)\(2_{100}\)\(2_{010}\)\(2_{001}\)
\(1\)\(1\)\(2_{100}\)\(2_{010}\)\(2_{001}\)
\(2_{100}\)\(2_{100}\)\(1\)\(2_{001}\)\(2_{010}\)
\(2_{010}\)\(2_{010}\)\(2_{001}\)\(1\)\(2_{100}\)
\(2_{001}\)\(2_{001}\)\(2_{010}\)\(2_{100}\)\(1\)
\(1\)\(2_{100}\)\(2_{010}\)\(2_{001}\)
\(1\)\(1\)\(2_{100}\)\(2_{010}\)\(2_{001}\)
\(2_{100}\)\(2_{100}\)\(1\)\(2_{001}\)\(2_{010}\)
\(2_{010}\)\(2_{010}\)\(2_{001}\)\(1\)\(2_{100}\)
\(2_{001}\)\(2_{001}\)\(2_{010}\)\(2_{100}\)\(1\)

これらは全て表記としては 「点群 \(2\) 」なのですが、2回回転軸の方向は異なります。つまり、\(222\)の極大部分群は方位の異なる三つの \(2\) であり、これらはすべて正規部分群です。このページで最初に示した図では、このような状況が3本の線で表現されています。


脚注

  1. 対称中心や鏡映は回反操作の一種 (対称中心は1回回反、鏡映は2回回反)なので、ここでは挙げていません。 ↩︎
  2. 一方、空間群は必ず部分群として並進群を含み、そして並進対称操作を持つことが結晶の定義ですから、わざわざ 「結晶族空間群」 とは言わず単に「空間群」といいます。 ↩︎
  3. ザイツ記号についてはこちらをご覧ください。 ↩︎
  4. 乗積表ってなに?という方はこちらをご覧ください ↩︎
  5. 正規部分群や剰余群の概念については、こちらをご覧ください。 ↩︎

contents