在数学里，尤其是在群表示理论里，一个群表示的特徵标（character）是指一个将群的每个元素连结至表示空间这个域内的每个元素之函式。特徵标蕴藏着群的许多重要性质，且因此可以用来做群的研究。特徵标理论是对有限简单群分类的一个有重要的工具。
基本介绍
- 中文名：特徵标理论
- 分类：群表示论
- 套用：数理科学
定义
设V为一个域F上的有限维向量空间且设
为一个群G于V上的表示。则ρ的特徵标即为如下给定之函式：
一个特徵标χρ若被称为是不可约的，即表示ρ是一个不可约表示。若被称为是线性的，则表示ρ的维度等于1。χρ的核为集合
其中
是χρ在群单位元上的值。当ρ是G的k维表示且1为G的单位元时，
拓扑群的情形
在调和分析中，通常定义局部紧阿贝尔拓扑群G的特徵标为连续群同态
；在此，
表示单位圆构成的群，等价地说就是
。
部分作者将特徵标的定义放宽为连续群同态
，而将取值在
则称作幺特徵标。其他人则保留原初定义，而将这类广义的特徵标称为拟特徵标。
G 的全体特徵标构成一个群
，群二元运算的定义是
，称为对偶群。庞特里雅金对偶性总结了对偶群的一般性质。
性质
1、特徵标是一个类函式，即为对一个共轭类内的所有元素来说，χ会是个常数。
2、两个同构的表示会有相同的特徵标。若係数域的特徵char(F)=0，则两个表示为同构的，若且唯若它们有着完全相同的特徵标。
3、若一个表示可以是多个子表示的直和：
，则其相对应的特徵标会是其所有子表示的特徵标之和：
4、在有限群的情况下，每个特徵标
都是n个m次单位根之和，其中n为表示内域的维度，m则是g的阶。
5、若F是代数封闭的且char(F)不可以整除G的阶|，则G的不可约特徵标之数量等于G的共轭类数：
。
算术性质
令
和
为G的两个表示，则有下列的等式成立：
特徵标的诱导与限制
设G 为有限群，
为其子群，而
为 G 的表示，其特徵标记为
。令
为诱导表示
的特徵标；根据弗罗贝尼乌斯互反定理，对所有 G 的特徵标
，恆有下述等式
特徵标表
一个有限群的不可约特徵标可以形成一个特徵标表，其蕴含着许多有关群G在紧緻形式时的有用资讯。每一行标记着一个不可约特徵标且包含着此一特徵标在每个G的共轭类上的值。
下面是有三个元素之循环群
的特徵标表：
其中的u为一个原三次单位根。特徵标表总会是正方的，因为不可约表示的数目总会相等于共轭类的数目。特徵标表的第一个行总会是1，其对应至群的当然表示上。
正交关係
有关特徵标表最重要的性质之一为其在行与列上都会有着正交关係。对特徵标(即对特徵标表中的行)的内积由下给出：
对于此一内积而言，不可约特徵标两两正规正交：
对表中的列的正交关係则由下列给出：
对
，其和为
其中相加的範围为所有G的不可约特徵标
，而符号
则表示为g的共轭类之大小。
此一正交关係可以帮助许多的运算，如：
- 将一个未知特徵标分解成不可约特徵标的线性组合。
- 当只有一些不可约特徵标为可知时，建构其完整的特徵标表。
- 求出群的共轭类的表示的中心化子的阶。
- 求出群的阶。
特徵标表性质
一个群G的某些性质可以由其特徵表中推导出来：
1、G的阶就是表上所有特徵标之在1上的取值的平方：(χ(1))2的总和（伯恩赛德公式）。
2、G是可换的若且唯若对每个在表上的特徵标，χ(1) = 1。
3、G有一个非当然正规子群(即G不是一个简单群)若且唯若对于某些表上的非当然特徵标χ和一些于G内的非单位元素g，会有χ(1) = χ(g)。
特徵标表通常不会将群分至同构：例如，四元群Q和有8个元素的二面体群D4会有同样的特徵标表。对有限群之特别例子，详见有限群表示理论。一维表示的特徵标会形成一个特徵标群，其和数论中有着很重要的关连。