I-simple IAPS
From Apstheory
Contents |
[edit] Definition
[edit] Symbol-free definition
An IAPS of groups is termed i-simple if it has no proper nontrivial saturated sub-IAPS. Equivalently, it is a simple object in the category of IAPSes with IAPS homomorphisms.
[edit] Definition
[edit] Relation with other forms of simplicity
i-simplicity is among the weakest notions of simplicity. Any p-simple IAPS, and hence any eventually simple IAPS, is i-simple.