空間群

空間群（くうかんぐん、）は、結晶構造の対称性を記述するのに用いられる群である。群の元となる対称操作は、点群での対称操作（恒等操作、回転操作、鏡映操作、反転操作、回映操作、回反操作）に加え、並進操作（すべての点を平行に移動させる操作）である。
空間群は全部で230種類あり、すべての結晶はそのうちの1つに属している。ただし、原子の配列は原子の性質や化学結合によるため、大半の結晶構造は100種類程度の空間群に含まれる。
空間群を記述する方法には、ヘルマン・モーガン記号(Hermann-Mauguin)とシェーンフリース記号(Schoenflies)の2つがある。
シンモルフィック空間群.
230種類の空間群は「シンモルフィック空間群」と「ノンシンモルフィック空間群」に分類することができる。並進操作と両立する点群（結晶点群）に並進操作を加えて新しい集合（空間群）を作ることを考える。
まず、単純な並進操作と結晶点群を組み合わせによってできる群をシンモルフィック空間群(または共型空間群)と呼び、73種類ある。また、結晶点群に並進操作を加えることで、回転や鏡映などの対称操作に部分的な並進操作が加わって「らせん操作」や「映進操作（グライド操作）」といった新しい対称操作も生まれる。この新しい対称操作との組み合わせによってできる群をノンシンモルフィック空間群(または非共型空間群)と呼び、157種類ある。
空間群の構造とその表現.
ザイツ記号.
空間群における対称操作は、回転操作と並進操作が組み合わさっている。この操作を(|)と表す。これをザイツ記法(Seitz notation)、ザイツ記号(Seitz symbol)などと呼ぶ。回転なしの単なる並進を表す時は、の代わりにを用いて(|)と表す。
並進群.
基本並進ベクトルformula_2だけ結晶をずらす操作を並進操作と呼び、(|)と表記する。
並進操作の集まりは群をなし、並進群と呼ばれる。
並進群は3つの巡回群の直積である。
並進群の既約表現は全て1次元であり、空間群に属する操作が作用する逆格子空間のベクトルをとすると、formula_4と表される。
k点群.
空間群は、次のように並進群を法として剰余類に分解することができる。並進群は空間群の正規部分群(不変部分群)であり、右剰余類と左剰余類は一致する。
このは結晶点群になる。これを空間群の点群と呼ぶ。あるが与えられたとき、そのをもつ空間群の点群は、そのの晶系に属する点群に限られる。
ブリルアンゾーンの対称性の良い点では、≅(ただし≅は逆格子ベクトルだけの違いは許すことを表す)となる回転操作が存在する。このような回転操作は点群を形成する（数学的には小群や固定部分群などと呼ばれる）。この点群を点群と呼ぶ。
k群・kの星.
空間群を並進群を法として剰余類分解し、さらに点群に属する回転操作を持つ剰余類だけを集めてできたの部分群を群（または小群）と呼ぶ。並進群は、群の不変部分群になっている。
群を法として空間群を剰余類に分解すると、
ここで≠ならば、≇である。このの集合をの星と呼ぶ（数学的には軌道と呼ばれる）。
群の既約表現（小表現と呼ばれる）を求める際は、以下の3パターンに分けて考える必要がある。
1と2の場合は、群に属する元(|)の回転部分のみを集めて得られる点群の表現を()とすると、以下のように求まる。
3の場合は、通常の表現（線型表現）ではなく斜線表現（またはとも言う）を用いる必要がある。
群の既約表現が得られれば、そのとして空間群の既約表現を得ることができる。