P-simple IAPS

From Apstheory

Revision as of 11:19, 25 December 2006 by Vipul (Talk | contribs)
(diff) ←Older revision | view current revision (diff) | Newer revision→ (diff)

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.

Personal tools