BEWARE! This term is nonstandard and is being used locally within the wiki. [SHOW MORE]
This article defines a property that can be evaluated for an IAPS of groups
ANALOGY: This is an analogue in IAPS of a property encountered in group. Specifically, it is a IAPS property analogous to the group property: simple group
View other analogues of simple group | View other analogues in IAPSs of group properties (OR, View as a tabulated list)
I-simple Abelian IAPSes
I-simple non-Abelian IAPSes
I-simple non-Abelian IAPSes satisfy a similar principle as simple non-Abelian groups. Namely, any sub-IAPS-defining function on such a thing must either give a contrasaturated sub-IAPS, or the trivial sub-IAPS. This principle shows, in particular, that any i-simple IAPS is i-perfect.