P-simple IAPS
From Apstheory
Contents |
Definition
Symbol-free definition
An IAPS of groups is termed p-simple if it has no strongly proper nontrivial sub-IAPS.
Property theory
Relation with i-simplicity
From the fact that any saturated proper sub-APS is in fact strongly proper, any p-simple IAPS is i-simple.
Relation with eventual simplicity
Any eventually simple IAPS is p-simple.
