换位子群为p阶群的有限p-群自同构的开题报告.docxVIP

换位子群为p阶群的有限p-群自同构的开题报告

引言：

本文在探索有限p-群自同构的换位群为p阶群的问题。首先，本文会给出p-群和自同构的定义，并且会给出群同态和同构的定义以及它们的基本性质。其次，我们会介绍换位群和p-群的关系，并把它们联系到自同构上。接下来，我们给出换位群为p阶群的p-群自同构的一些基本结果，最后，我们会给出证明和定理的一些讨论。

1.p-群和自同构的定义

定义1.1：一个群G叫做p-群，若G的阶是p的幂次方，即|G|=p^k，其中k是正整数，p是一个质数。

定义1.2：一个自同构是一个从一个群到它自己的同构映射，这个映射满足乘法守恒律，即f(ab)=f(a)f(b)。

2.群同态和同构的基本定义和性质

定义2.1：设G和H是两个群，一个映射f：G→H叫做从G到H的一个群同态，当f满足f(ab)=f(a)f(b)。当f是一个双射时，我们称其为一个同构。

定义2.2：设G和H是两个群，一个从G到H的满同态f是一个同构当且仅当f是双射和单射。

性质2.1：设f:G-H和g:H-K为群同态，那么gof:G-K也是一个群同态。

性质2.2：设f:G-H是一个群同态，那么对于G的任意子群H，则f(H)是H的一个子群且f的限制f|H:H-f(H)是一个群同态。

3.群的换位群和p-群

定义3.1：群G的换位群Sym(G)是由所有的G上的双射构成的群。我们可以用符