| 【中文题名】 | 可表示置换群的2-可表示性 |
| 【英文题名】 | |
| 【学科专业】 | |
| 【论文级别】 | 硕士论文 |
| 【投稿时间】 | 2002-5-8 |
| 【中关键词】 | k－可表示,2－可表示,不变群,k－值布尔函数,可表示, |
| 【英关键词】 | 2-representabe,k-representable and boolean functions, |
| 【分类导航】 | 数理科学和化学>数学>代数、数论、组合理论>群论>有限群论> |
| 【论文摘要】 |
随着计算机应用技术的发展，在形式语言的并行计算复杂度的研究中逐渐引入了布尔函数不变群的概念，置换群的可表示理论也逐渐引起人们注意。近几十年，人们从简单的置换群入手，再通过各种运算(如直积、圈积等)来合成其它较复杂的置换群并对它们的可表示性加以讨论，已经得出了一些有效的结论。但因为置换群的可表示性仅在置换同构意义下(并非在一般的抽象群同构意义下)保持其性质不变的，这样就使得许多有关置换群的完美理论在此也是无能为力的。所以，至此人们还没有找到一个有效的方法来判定一个置换群是否可表示。
人们在研究可表示理论的过程中，解决了一些问题，但发现了更多的新问题，例如置换群的可表示性与2-可表示性并不等价。本文就是从这一个新问题入手，最终得到一个基本的事实。(参阅本文的定理2．3)
下面简单介绍一下我在本文得到这一事实的过程。首先得感谢Andrzej Kisielewiez在文献[3]中用一个重要的例子D(?)S_4提出了置换群的可表示性与2-可表示性并不等价的问题。通过对D的进一步的思考，我发现如果把D放在S_5中，那么它却是2-可表示的。最后，我推广D的特殊性到一般情况，得到本文的主要... |
| 【论文题纲】 |
|
序言 |
3-5 |
|
§1 主要定义和基本事实 |
5-10 |
|
§2 问题的提出 |
10-15 |
|
§3 定理2．3的证明 |
15-22 |
|
参考文献 |
22-23 |
|
致谢 |
23 |
|
| 【DOI】 | LunWen.ID:2.2008.10978 |
