数学における点群（てんぐん、）とはある図形の形を保ったまま行う移動操作のうち、少なくとも1つの不動点を持つものを元とする群のこと。このような抽象的な群の概念を導入することによって、物理学や化学における結晶や分子対称性を数学的に記述することができる。そのような応用との関係からふつう3次元ユークリッド空間における変換の範疇で考えることが多い。正四面体を、ある面の重心を通る垂線の回りに120度回転させてももとの正四面体と区別はつかない。このようにある図形に対して、もとの図形と区別がつかないように移動を行う操作を対称操作という。このような、3次元ユークリッド空間における対称操作には以下の7つの種類がある。この中で並進操作以外では少なくとも1つの点が不動点となる。恒等操作では図形上のすべての点が、回転操作では回転軸上の点が、鏡映操作では鏡映面上の点が、反転操作では対称中心が、回映操作では回映軸上の1点が、回反操作では回反軸上の1点が不動点となっている。それぞれの操作を特徴付けている対称軸、対称面、対称中心、回映軸、回反軸は対称要素とよばれる。同じ図形に関するふたつの対称操作"a" と"b" との積"a×b" を、考えている図形に対し"a" に続いて"b" を施してえられる対称操作と定義する。そうすると、ある図形の並進操作以外の対称操作の集合は次のように群の公理を満たしている。この群のことを与えられた図形の点群という。よって対称性や対称操作について数学的に分析するには、群論の知識を用いて行うことができる。例えば底面が正三角形の三角錐（正四面体ではない）では、頂点から底面に下ろした垂線は3回軸である。また、この垂線と三角錐の稜線を含む面（3つある）は鏡映面である。したがって、この図形では、対称操作として、恒等操作、120度時計回りの回転操作、120度反時計回りの回転操作、3つの鏡映操作が可能である。この6つの対称操作が群をつくることは、どの2つの連続操作も1つの操作で表現されることからわかる。点群を記述するのには以下の2つの方法がある。例えば底面が正三角形の三角錐の点群はシェーンフリース記号では C、ヘルマン・モーガン記号では 3m と表記される。点群の対称操作の間の掛算関係に対応した関係をもつ行列を、その点群の表現行列といい、これらの対称操作に対応する一組の行列を、その点群の表現と呼ぶ。対称性という抽象的なものの集まりである点群は一見すると捉えどころがないように見えるので、それを目に見える具体的な形にする手段が「表現」である。一般にある1つの点群について、いくつもの表現が可能である。表現行列の性質は、その指標(トレース)によって特徴づけられる。指標をまとめて表にしたものを指標表と呼ぶ。ある表現がより簡単な表現に分解することができる場合、その表現を可約表現と呼ぶ。これ以上は分解できない表現を既約表現と呼ぶ。可約表現から既約表現への直和分解(簡約)は、適当な相似変換によって行うことができる。なお相似変換をしても指標は変化しない。考えている系がある対称性をもつ場合、その系の様々な特性は、最も基本的なものを合わせることで構成されていると考えられる。点群という数学的手法で対称性を取り扱うことで、その対称性における最も基本的なもの（既約表現）は何かを知ることができる。点群の既約表現を表す記号には3通りある。アンモニア分子をC対称性の既約表現に分解する。Cの対称操作は、"E"、"C"、"σ"である。まず適切な基底を用いて、点群の可約表現を作る。基底としてアンモニアの3つの水素原子H1、H2、H3を選んでみる。よってこの基底での可約表現Γの指標は次のように表される次に可約表現を既約表現に簡約する。Cの既約表現の指標表は次のように与えられる。ここで可約表現にそれぞれの既約表現が含まれる数は、簡約公式よりよって可約表現Γは2つの既約表現AとEに簡約される。正五角形で平面を埋め尽くすことはできない。例えば72度回転する回転操作は並進操作とは両立しない。このように点群の中で並進操作と両立するものは限られており、3次元の場合は32種しか存在しない。結晶においては並進操作が成り立たなければならないから、この32種の結晶に許される点群を特に結晶点群という。結晶点群に含まれる対称操作に並進操作を加えた場合も群を作る。これは空間群と呼ばれる。空間群は全部で230種類ある。

出典:wikipedia