Intersection-closed subgroup property
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
BEWARE! This term is nonstandard and is being used locally within the wiki. [SHOW MORE]
This article is about a general term. A list of important particular cases (instances) is available at Category: Intersection-closed subgroup properties
The observations that an arbitrary intersection of subgroups is a subgroup, and that an arbitrary intersection of normal subgroups is a normal subgroup, date back to the beginning of group theory. Whenever new subgroup properties were encountered, two questions occurred naturally:
- Does a finite intersection of subgroups (each with the property) also have the property?
- Does an arbitrary intersection of subgroups (each with the property) also have the property?
Definition with symbols
A subgroup property is termed intersection-closed if whenever is a nonempty indexing set, and are subgroups of with ranging over , such that each satisfies property in , then the intersection of all the s also satisfies in .
Relation with other metaproperties
A slight change in definition
A subgroup property closed under finite intersections of subgroups is termed a finite-intersection-closed subgroup property.
We call a subgroup property strongly intersection-closed if it is both intersection-closed and identity-true. The property of being strongly intersection-closed is equivalent to the property of being closed under arbitrary intersections, including the possibility of the empty intersection. Further information: strongly intersection-closed subgroup property
Similarly we define being strongly finite-intersection-closed as being both finite-intersection-closed and identity-true. This is the same as being t.i. with respect to the intersection operator. Further information: strongly finite-intersection-closed subgroup property
Metaproperties stronger than the metaproperty of being intersection-closed:
- Strongly intersection-closed subgroup property: See the above discussion
- Invariance property: In fact, any invariance property is strongly intersection-closed For full proof, refer: Invariance implies strongly intersection-closed
- UL-intersection-closed subgroup property
- Left-hereditary subgroup property: Any left-hereditary subgroup property is intersection-closed, though, unless it is the tautology, it is not strongly intersection-closed.
- Finite-intersection-closed subgroup property
- Conjugate-intersection-closed subgroup property
- Normal core-closed subgroup property
- Characteristic core-closed subgroup property
This subgroup metaproperty is conjunction-closed: an arbitrary conjunction (AND) of subgroup properties satisfying this metaproperty, also satisfies this metaproperty
View conjunction-closed subgroup metaproperties
Effect of left residuals
This subgroup metaproperty is left residual-preserved: the left residual of any subgroup property satisfying this metaproperty, by any subgroup property, also satisfies this metaproperty.
View a complete list of such metaproperties
Naturally arising intersection-closed subgroup properties
Because of invariance
Further information: Invariance property
Any invariance property with respect to the function restriction formalism is invariance-closed. Thus, the properties of being normal, characteristic, fully characteristic, and strictly characteristic are all intersection-closed.
Because the subgroup property is left hereditary
Any left hereditary property is automatically intersection-closed.
Properties that are not intersection-closed
Further information: Disproving intersection-closedness
Left antihereditary properties
The only way a left antihereditary property can be intersection-closed is if for every group, there is only one subgroup having that property. Since any minimal property and any maximal property is left antihereditary, this gives plenty of examples of properties that are not intersection-closed.
Properties opposing normality
We know that any intersection-closed property must be a normal core-closed subgroup property, and in fact, a characteristic core-closed subgroup property. Thus, to prove that a subgroup property is not intersection-closed, it suffices to find a subgroup satisfying the property, whose normal core, or characteristic core, does not satisfy the property.
In particular, any NCT-subgroup property or CCT-subgroup property that is satisfied by at least one proper subgroup is not normal core-closed (respectively characteristic core-closed) and hence it is not intersection-closed.
Direct factors and retracts
An intersection of direct factors need not be a direct factor. This is demonstrated by looking at the direct product of a cyclic group of order with a cyclic group of order and considering the intersection of any two automorphic copies of the cyclic group of order .
Incidentally, this also shows that an intersection of two retracts may not be a retract.