Let F be a locally defined formation consisting of locally solvable groups, G a hyper-( cyclic or finite) locally solvable group and A a noetherian ZG-module with all irreducible ZG-factors being finite. The followi...Let F be a locally defined formation consisting of locally solvable groups, G a hyper-( cyclic or finite) locally solvable group and A a noetherian ZG-module with all irreducible ZG-factors being finite. The following conclusion is obtained: if G∈F, f( ∞ ) include f(p), f(p) ≠φ for each p∈π, and A has no nonzero F central ZG- images, then any extension E of A by G splits conjugately over A, and A has no nonzero F central ZG-factors.展开更多
文摘Let F be a locally defined formation consisting of locally solvable groups, G a hyper-( cyclic or finite) locally solvable group and A a noetherian ZG-module with all irreducible ZG-factors being finite. The following conclusion is obtained: if G∈F, f( ∞ ) include f(p), f(p) ≠φ for each p∈π, and A has no nonzero F central ZG- images, then any extension E of A by G splits conjugately over A, and A has no nonzero F central ZG-factors.