具有几乎链条件的有限p-群

设t为正整数.若一个有限p-群的所有指数为p^(t)的子群皆交换,且它至少有一个指数为p^(t−1)的非交换子群,则称它为A_(t)-群.若一个A_(t)-群恰有s个指数为p^(t−1)的交换子群,其中s>0,则称它为A^(s)_(t-)群.显然,对于任意有限非交换p-群,一定可找到合适的整数s和t使得它是一个A^(s)_(t-)群.为了深入研究有限非交换p-群,结合A^(s)_(t-)群的结构特点,本文描述具有A^(0)_(t-1)-子群的A_(t)-群的结构,并证明对于任意的A^(s)_(t-)群,若s>1,则s≡1(mod p),进一步地,完全分类所有的A1 t-群.