|
|
一个物件(如一维、二维或三维中的图像或信号)的对称群是指在复合函数运算下不变的所有等距同构所构成的群。其为所考虑之空间的等距同构群中的一个子群。
(若没有另外述叙，则本文可考虑在欧氏空间内的对称群，但此一概念亦可以被应用在更广义的用途上，见下文。)
「物件」可以是几何形状、图像及模式，如壁纸图样。其定义能够以详述图像或模式的方式，如将位置附上一组颜色的值的函数，来使其更为精确。对如三维物体的对称，可能亦会想要考量其物理上可能的组合。空间中等距同构的群可以产生一个作用於此群本身物件上的群作用。
对称群有时亦称为全对称群，以强调其会产生一个图像不会改变的反转定位之等距同构(如镜射、滑移镜射和不纯旋转)。会保留其定位之同距同构(如平移、旋转和此两者的组合)的子群则称为其纯对称群。一物件的纯对称群若等同于其全对称群，则称此物件为对掌的(也因此不存在使其不变的反转定位之等距同构。)
任何其元素有著相同个不动点的对称群都可以由选定其原点为不动点来被表示成一个正交群o(n)的子群，其对所有的有限对称群及有界图像之对称群皆为真的。
离散对称群可以分成三种类型：
1. 有限点群，其只包含有旋转、镜射、反演和不纯旋转，且实际上只是正交群o(n)的子群；
2. 无限晶格群，其只包括平移；和
3. 无限空间群，其结合有上述两种类型的元素，且亦包含有如螺旋轴和滑移镜射等额外的对称。
另外亦有著包含任意小角度的旋转或任意小距离的平移之「连续」对称群。一个球面o(3)的所有对称所组成的群即是一种连续对称群，而通常如此类的连续对称的群是在李群中所研究的对象。 对欧几里德群子群的分类会对应到对称群的分类。
两个几何形状被认为是有著相同的对称型，若其对称群为欧几里德群e(n)(rn的等距同构群)的共轭群，其中一个群g的两个子群h1和h2为共轭的，若存在一g内的元素g能使得h1=g-1h2g。例如：
* 两个三维图形有著镜面对称，但对应著不同的镜面。
* 两个三维图形有著旋转对称，但对应著不同的旋转轴。
* 两个二维图形有著平移对称，各在各的方面；此两者有著长度相同但方向不同的平移向量。
有时，「相同对称型」更广义的概念会被使用，而可以产生如17个壁纸群之类的类型。
当考虑等距同构群时，可以将其缩限在于等距同构下之图像的点皆为拓扑闭合的。如此便排除了如一维中以有理数之距离平移所构成的群。一个具有对称群的「图像」是不可伸缩的，且即使达到任意详尽的均匀，亦不会有真正的均匀。 |
|
其在等同构下之图像的点皆为拓扑闭合之一维等距同构群有：
* 当然群c1
* 由一点之镜射所产生之元素所组成的群；其同构於c2
* 由平移所产生之无限离散群：其同构於z
* 由平移和一点的镜射所产生之无限离散群：其同构於z的广义二面体群dih(z)，亦被标记为d∞(其为z与c2的半直积)。
* 由所有平移(同构於r)所产生的群；这个群不能是某一「图像」的对称群：它会是均匀的，因此亦能被镜面。但一个均匀一维向量场则可以有这种对称群。
* 由所以平移和一点之镜射所组成的群：其同构於r的广义二面体群dih(r)。
另见一维对称群。 |
|
以共轭来分，二维离散点群可以分成下列几种类型：
* c1、c2、c3、c4、…等循环群，其中cn包含著所有绕一固定点为306/n度的整倍数之旋转。
* d1、d2、d3、d4、…等二面体群，其中dn包含著所有在cn中的旋转和n个通过其固定点之轴的镜射。
c1是一个只包含有恒等运算的当然群，其产生於一图像没有任何的对称时，如字母f。c2为字母z的对称群，c3为三曲腿图的，c4为卐的，而c5、c6则为有五条及六条臂之类卐图像。
d1为一个含有恒等运算和单一个镜射之两个元素的群，其产生於一尽有一对称轴的图像中，如字母a。d2(同构於克莱因四元群)为一非等边长方形的对称群，而d3、d4则为正多边形的对称群。
两种类型的实际对称群对其旋转中心都有著两个自由度，而在二面体群中，多著一个镜面方位的自由度。
剩馀具有不动点之二维等距同构群，其所有在等距同构下之图像的点皆为拓扑闭合的有：
* 特殊正交群so(2)，其包括绕著一固定点的所有旋转；其亦称为圆群s1，为绝对值为1之复数所组成的乘法群。其为圆的「纯」对称群，且为cn在连续群中的等价。不存在一以圆群为「全」对称群之图像，但对於一向量场则存在著(见三维中的例子)。
* 正交群o(2)，其包括所有绕一固定点的旋转及对通过其固定点之轴的镜射。这是一个圆的对称群。其亦被可标记为dih(s1)，因其为s1的广义二面体群。
对於无界图像，其他的等距同构群还包括平移；其闭合对称群有：
* 7个彩带群
* 17个壁纸群
* 对每一个一维对称群，其於一方向上之群的所有对称及在其垂直方向上之所有平移的群所组成之对称群
* 同上，但再加上第一个方向的镜射 |
|
以共轭来分，其三维点群的集合包括7种包含无限多个群的类型和剩下的7个点群。在晶格学中，其被局限在需符合晶格的离散平移对称中。一般无限个点群中的晶体局限可以找出32种晶体点群(27种在7种类型中，5种在另7个点群中)。
见三维点群。
具一固定点的连续对称群包括如下：
* 没有垂直其轴之对称面的圆柱对称，这出现在如瓶子等物之上头
* 有垂直其轴之对称面的圆柱对称
* 球面对称
对物件和纯量场而言，圆柱对称意指其有著直立镜射面。但对向量场则不然：在相对於某一轴的圆柱座标中， mathbf = a_
hooldsymbol{hat
ho} + a_phioldsymbol{hat phi} + a_zoldsymbol{hat z} 有相对於此一轴的圆柱对称若且唯若aρ、aφ和az都有此一对称，即其都和φ无关。另外地，其存在著镜射对称若且唯若aφ=0。
对於球面对称，则不存在著如此差异，其皆意指著有镜射面。
没有固定点的连续对称群则包括具有如无限螺旋之螺旋轴对称的对称群。另见欧几里德群的子群。 |
|
在更广义的文句中，对称群可能为任一种类的变换群或同自构群。一旦知道了所关注的数学结构之种类，应该就够确定保留其结构之映射。相反地，知道其对称即可定义其结构，或至少能弄清其内之不变量；这是看爱尔兰根纲领的一种方式。
例如，有限几何某些模型的自同构群在一般意思下不是「对称群」，尽管其亦会保留对称性。其保留著点集族，而非点集(或「物件」)本身。见pattern groups。
如上面所述，空间自同构的群会形成一於其内物件之群作用。
对於一给定之几何空间内的一给定之几何形状，考虑如下之等价关系：两个空间自同构为等价的若且唯若两个形状的图样是相同的(此处所谓之「相同」并非为「在平移和旋转下是相同」的意思，而是指「精确地相同」)。然後，此一相同之等价类即为此形状的对称群，且每一等价类皆会对应到一个此形状的同构版本。
在每一对等价类之间都存在著一个双射：第一个等价类之代表的逆元素与第二个等价类之代表复合。
在整个空间的一有限自同构群里，其目为形状之对称群的目乘上此形状同构版本的数目。
例如：
* 欧氏空间的等距同构，其形状为长方形：其存在著无限多个等价类；每一个等价类都包括4个等距同构。
* 空间为具欧几里德度量的立方体；形状包括和此空间同样大小的立方体，其各面有著各式颜色或图像；此一空间的自同构为48个等距同构；其状形为各面有著不同颜色之立方体；此形状会有著8个等距同构的对称群，及6个各含8个等距同构的等价类，每个等价类都是此形状的一个同构版本。
比较拉格朗日定理 (群论)及其证明。 |