ACU-closed subgroup property: Difference between revisions
No edit summary |
|||
| Line 10: | Line 10: | ||
===Definition with symbols=== | ===Definition with symbols=== | ||
A [[subgroup property]] <math>p</math> is termed '''ACU-closed''' if, for any group <math>G</math>, any totally ordered set <math>I</math>, and any ascending chain <math>H_i</math> of subgroups of <math>G</math> indexed by ordinals <math>i \in I</math> such that <math>H_i \le H_j</math> for <math>i < j</math>, the subgroup: | A [[subgroup property]] <math>p</math> is termed '''ACU-closed''' if, for any group <math>G</math>, any nonempty totally ordered set <math>I</math>, and any ascending chain <math>H_i</math> of subgroups of <math>G</math> indexed by ordinals <math>i \in I</math> such that <math>H_i \le H_j</math> for <math>i < j</math>, the subgroup: | ||
<math>\bigcup_{i \in I} H_i</math> | <math>\bigcup_{i \in I} H_i</math> | ||
Latest revision as of 17:10, 7 September 2008
BEWARE! This term is nonstandard and is being used locally within the wiki. [SHOW MORE]
This article defines a subgroup metaproperty: a property that can be evaluated to true/false for any subgroup property
View a complete list of subgroup metaproperties
View subgroup properties satisfying this metaproperty| View subgroup properties dissatisfying this metaproperty
VIEW RELATED: subgroup metaproperty satisfactions| subgroup metaproperty dissatisfactions
Definition
Symbol-free definition
A subgroup property is termed ACU-closed (or closed under ascending chain unions) if given any ascending chain of subgroups, each of which has the property, the union of those subgroups also has the property. The ascending chain here is indexed by natural numbers.
Definition with symbols
A subgroup property is termed ACU-closed if, for any group , any nonempty totally ordered set , and any ascending chain of subgroups of indexed by ordinals such that for , the subgroup:
also satisfies property .