P-simple IAPS
From Apstheory
Contents |
[edit] Definition
[edit] Symbol-free definition
An IAPS of groups is termed p-simple if it has no strongly proper nontrivial sub-IAPS.
[edit] Property theory
[edit] 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.
[edit] Relation with eventual simplicity
Any eventually simple IAPS is p-simple.