二面体群(dihedral group)一种具体的群。保持平面上正n(n}2)边形R不变的线性变换所成的群。群是一种只有一个运算的、比较简单的代数结构；是可用来建立许多其他代数系统的一种基本结构。1770年，拉格朗日在讨论代数方程根之间的置换时，首先引入群的概念，而它的名称，是埃瓦里斯特·伽罗瓦在1830年首先提出的。

二面体群(dihedral group)是一种具体的群。保持平面上正边形R不变的线性变换所成的群。它由保持R不变的n个旋转和n个反射所组成。通常记为。是阶的非交换群。从生成的角度来定义，二面体群是由两个不同的特殊元所生成的群，即它有如下的定义关系：

群是一种只有一个运算的、比较简单的代数结构；是可用来建立许多其他代数系统的一种基本结构。

设G为一个非空集合，a、b、c为它的任意元素。如果对G所定义的一种代数运算“·”(称为“乘法”，运算结果称为“乘积”)满足：

(1)封闭性，;

(2)结合律，即;

(3)对G中任意元素a、b，在G中存在惟一的元素，使得，则称G对于所定义的运算“·”构成一个群。例如，所有不等于零的实数，关于通常的乘法构成一个群；时针转动(关于模12加法)，构成一个群。

满足交换律的群，称为交换群。

群是数学最重要的概念之一，已渗透到现代数学的所有分支及其他学科中。凡是涉及对称，就存在群。例如，可以用研究图形在变换群下保持不变的性质，来定义各种几何学，即利用变换群对几何学进行分类。可以说，不了解群，就不可能理解现代数学。

线性代数的重要概念之一。设σ是数域P上的线性空间V的一个变换。若对于V中的任意向量α，β与P中的任意数k，有，则称σ是V的一个线性变换。设σ是线性空间V的一个变换，若对于V中任意向量α，有，则σ是V的线性变换，称为恒等变换，亦称单位变换，记为I.若V的变换σ对于V中的任意向量α，有，则σ是V的线性变换，称为零变换，记为0.线性变换是欧氏几何中的变换、解析几何中的某些坐标变换、数学分析中的某些变量代换以及其他数学分支中某些类似的变换的抽象、概括与推广。数域上线性空间的线性变换可以推广为同一个域上的两个不同线性空间的线性映射。线性变换不仅是线性代数的主要研究对象之一，也是数学中的一个重要的概念。近代数学中的许多分支的研究对象，如泛函分析中的线性算子。同调代数中的模同态等都与线性变换有密切的联系。

如果对于线性空间V中任意的元素和数，都有

那么我们把变换A叫做线性变换。或代表元素α在变换A下的映象。

性质1：二面体群是非可换p群。

我们知道，群与关于四个文字对称群的子群同构，后者是非可换群，故性质1成立。

性质2：二面体群与其自同构群同构。

我们可以直接验证，二面体群可以由两个生成元分别记做和，且满足关系：生成的，式中1表示四个文字的恒等置换。

综合以上所述。二面体群共有十个子群，两个平凡子群，八个真子群。这些真子群就同构意义而言，五个二阶子群同构，仅表示一个同构子群，两个四阶子群与同构，代表另一个子群，再添上一个四阶循环子群C，总共三个非同构子群。如从置换群的可迁性来说，虽说与是同构子群，但它们的可迁性不同，子群N,是非可迁的，而子群NZ是可迁的。于是有两个真子群和C可迁的，其余六个子群不可迁的。

我们感兴趣的是对的真子群进行分类。近世代数教科书已指出和Z都是正规子群且z是的中心，还是换位子群。

点群是由旋转、反演、反映、象转、镜转等点对称操作构成的对称群。这些点对称操作所凭藉的对称要素交于一点，在进行对称操作时至少保持有一点不动，故称为点群。

在晶体中，由于晶体对称定律的限制，只能有1、2、3、4、6五种旋转轴，并且各对称要素的组合必须服从对称要素组合定律，因此，晶体中的点群个数是有限的，共32种，称为32晶体学点群，或简称为32点群。这32种晶体学点群是：

群- , 共5种.

群一一由加上与其垂直的反映面构成, 有共5种.此处下标h是英文“水平的”一词的词头.

群一一由加上与其平行的反映面构成, 此处下标 是英文“竖直的”一词的词头.新的群有 四种，而

群一一新的群有 S_{2}, S_{4}, S_{6} 三种， 而 .

群一一由 加上与其垂直的构成， 此处D是英文“二面体的”一词的词头.新的群有 四种， 而 .

群一一由 加上与主轴 垂直的 构成.新的群有四种，而 .

群一一由 加上平分每两个相邻轴交角的反映面构成. 此处下标 是英文“对角的”一词的词头. 新的群有 两种.

T群―正四面体所具有的对称群，有三种，称为四面体群，此处T是英文“四面体”一词的词头.

O群―正八面体所具有的对称群，有两种，称为八面体群.此处O是英文“面体”一词的词头.

以上总共32种。其中, 和 具有单一的轴，称为单轴群；称为二面体群。T群和O群的共同特点是具有四个互相交成 "角的 轴, 它们都属于立方晶系，所以合称立方群。

全部由正常旋转操作构成的点群，称为正常点群；否则称为非正常点群。

具有相同点群对称性的晶体，属于同一个晶类。于是，所有晶体可划分为32种晶类。