第三百九十六章 伯恩赛德的表示理论（群论） (第2/2页)

伯恩赛德说：“没错，要解决一个重要的问题，往往需要理解与之相关的特定群组。但是大多数群组比等边三角形的对称群组更难理解。我们不可避免要面对表示理论的领域，它把有时神秘的群组的世界转换成充分约束的线性代数领域。”

乔迪说：“是的，它们编码质数、几何空间和几乎所有数学家最关心的东西的信息。”

伯恩赛德说：“只不过你要用矩阵，也就是线性代数来表示这些，里面就会出现扩大、平移、反转、剪切、选择和反射这样的词汇。这些就相当与我们数学中的加减乘除这样的东西一般。”

乔迪说：“我刚刚想多了，还以为你找到你加减乘除模之外的新的运算方式呢。”

伯恩赛德说：“表示理论根据一定的规则，为群组中的每个元素分配一个矩阵，从而在群组理论和线性代数之间架起了一座桥梁。例如，必须将群组中的单位元素分配为单位矩阵。分配还必须尊重群组中元素之间的关系。如果一个反射乘以给定的旋转等于第二次反射，那么分配给第一次反射的矩阵乘以分配给旋转的矩阵必须等于分配给第二次反射的矩阵。符合这些要求的矩阵集合称为群组的表示。该表示提供了一组简化的图像，就像黑白图像可以作为原始彩色图像的低成本模板。换句话说，它“记住”了关于这个群组的一些基本但重要的信息，却忽略了其他的信息。数学家的目标是避免纠缠于一个群组的全部复杂性；相反，他们通过观察它在转化为简化的线性变换格式时的行为来了解它的性质。”

乔迪说：“一个群组几乎总是可以以多种方式表示。例如，S_3在使用实数填充矩阵时有三种不同的表示：简单表示、反射表示和符号表示。”

伯恩赛德说：“我们进下来的工作就是将给定群组的表示形式整理成一个表，称为字符表，该表总结了有关组的信息。行引用每个不同的表示，列指的是这个表示中的重要矩阵：分配给组中的单位元素的矩阵，以及分配给组中“生成”元素的矩阵，这些元素一起产生所有其他元素。表中的条目是一个称为每个矩阵的“trace”的值，通过对从矩阵左上角到右下角的对角条目求和来计算。字符表提供了该组的简化图。其中的每个表示提供的信息略有不同。数学家将各种观点结合成一个整体印象。”

乔迪说：“你有很多不同的表征，它们记住不同的东西，当你把所有的信息放在一起时，你就能在某种意义上看到你的团队的这种万花筒般的画面。”

伯恩赛德说：“当然，我们肯定就是要把问题简化，所以一些最有效的表示法既不涉及实数也不涉及复数。相反，他们使用的是带有“模块化”数字系统的条目的矩阵。这是时钟算术的世界，在这个世界里，7 + 6环绕12小时的时钟等于1。具有相同字符表，使用实数表示的两组可能具有不同的字符表的使用模块化表示，从而允许你将它们区分开来。”

自一个多世纪以来，“表示理论”一直是许多最重要的数学发现的关键成分。然而，它的用处在一开始还是很难被察觉。

今天，“表示理论”是许多数学领域的中心工具（代数，拓扑，几何，数学物理和数论等）。这种表示理论的哲学在20世纪下半叶已经吞噬了大量的数学。

表示理论在安德鲁·怀尔斯1994年对费马最后定理的里程碑式证明中发挥了重要作用。问题是关于a^n + b^n = c^n这种形式的方程是否存在整数解。

怀尔斯证明当n大于2时，不存在这样的解。然而，直接证明它的不存在太困难了。

相反，怀尔斯使用的是一组模块表示，如果群组存在的话，这些表示就会被附加到组上。他证明了这一族模表示不存在，这意味着群组不存在，这意味着解也不存在。

这也就意味着，在威廉·伯恩赛德认为表征理论无用的100年后，它成为了20世纪最着名的证明理论的关键组成部分。

温斯坦说:“我无法想象费马最后定理的任何证明，都与表示理论无关。”