Steenrod代数上简单模的充要条件

设为连通分次Z_p代数,使由元Q生成,且Q~2=0,用Q右乘导出恰当序列。对p=2,Wall定义上简单模为上自由模和若干G型模(同构于)的直和。在文献4]中还引进了较易掌握的近似简单模,并证明了当满足条件C,简单模和近似简单模等价,从而得出mod2 Steenrod代数A_2上简单模的一个等价条件。但是,对奇素数p,mod p Steenrod代数A_p不满足条件C,因此得不出A_p上简单模的充要条件。本文讨论一般不满足条件C的(如上)上的简单模M,得出了:若加上适当的有关同