可表示置换群的2-可表示性.pdfVIP

专≯乙： 序言 随着计算机应用技术的发展，在形式语言的并行计算复杂度的研究 中逐渐引入了布尔函数不变群的概念，置换群的可表示理论也逐渐引起 ， 人们注意。随几十年，人们从简单的置换群入手，再通过各种运算(如 ＼ 直积、圈积等)来合成其它较复杂的置换群并对它们的可表示性加以讨 论，已经得出了一些有效的结论。但因为置换群的可表示性仅在置换同 构意义下(并非在一般的抽象群同构意义下)保持其性质不变的，这样 就使得许多有关置换群的完美理论在此也是无能为力的。所以，至此人 、 们还没有找到一个有效的方法来判定一个置换群是否可表示。厂～矿。 人们在研究可表示理论的过程中，解决了一些问题，但发现了更多 的新问题，例如置换群的可表示性与2一可表示性并不等价。本文就是 ， 从这一个新问题入手，最终得到一个基本的事实。，(参阅本文的定理 ≮ 2．3) 下面简单介绍一下我在本文得到这一事实的过程。首先得感谢 、，∥一 Andrzej 的可表示性与2．可表示性并不等价的问题。通过对D的进一步的思考， 我发现如果把D放在Js中，那么它却是2．可表示的。最后，我推广D 的特殊性到一般情况，得到本文的主要结论。 得到此结论的主要难点在于构造2．值布尔函数。分了二种情况， 用了二种构造方法加以讨论，最终达到了目的。 §1主要定义和基本事实 一、 置换群、轨道与传递群 设集合Q={1，2，3，…，门}，Q上的一个置换就是Q到自身的一个一一 映射。 置换常用小写的拉丁字母表示，如用d4或盯(口)表示点aEQ在置 换CT下的象。 置换盯可表示为盯=[；]，置换也可表示为轮换的形式，如 rl 2 3 4 5 6 7、 123 1 5 4 6 7J一 定义1．1 Q上的两个置换p和q的乘法定义为4”=09)9，则Q上 的全部置换构成了一个群，称为Q上的对称群，记为s。。 邑的子群称为Q上的置换群；置换群常用大写字母来表示，如G、 H等。 置换群的单位元为保持Q上每个点不动的恒等映射1；仅由恒等置 换构成的群称为单位群，记为L。 定义1．2给定Q上的置换群G￡只，我们可在Q上规定一个如下 等价关系“≈”： 日≈6车争存召电∈G，使}导口。=6 则称集合dG=仁。Ig∈G}是G的一个轨道。 定义1．3 设G￡S。，若G在Q上仅有一个轨道，即Q本身，则 称G为Q上的传递群，否则称G为Q上的非传递群。 二、布尔函数，不变群与司表不群 定义1．4若函数f=，G．，x：，…，k)为萝蛳，则称f为k．值 布尔函数。 k={o，1，…，k-1}。 定义1．5设，=，b．，％，…，_)是n个变量的k值布尔函数， 如下集合： s(，)=扛∈s。t／(x，，x：，-一，x。)=，k。，，，工。。：，，…，x。《。))} 是对称群S。的一个子群；称s(f)为k值布尔函数f的不变群。 定义1．6对于给定的置换群G￡只，若存在某一有n个变量的k一 函数可表示群，简称G为k．可表示的。 若G是k-可表示的取≥2)，则称G是可表示的。 三、 置换群作用于集合r的轨道 对于置换群G￡S．，现在我们来考察G是如何作用在集合?的。对 于x∈2“，盯∈G作用于x为： x=“，b…，％)斗x。=b州)，h2)，…，Xaf．))； 定义1．7集合x。=。l盯∈G}称为G作用于2rf上的一个轨道。 l G作用于?上的所有轨道的集合记为O(G)--扛6z∈2“J。 显然，对于轨道x。：一I盯∈G}中的任意一个n维向量都含有相 同个数“1”，因此我