极大子因子

若N是一个Ⅱ1型因子,G是一个有限群且在N上有一个真外作用α,则当G的阶是素数对,N是Ⅱ1型因子M=N(?)αG的极大子因子．另一方面,假设 N(?) M是Ⅱ1型因子的一个包含,M(?)M1是N(?)M的基本构造,[M:N]= p∈N是素数,N’∩ M=CI,N’∩M1是交换的,N,(?)M深度为2,则N是M的极大子因子．