This survey article is about proof techniques for or related to: subgroup metaproperty satisfaction
Find other survey articles about subgroup metaproperty satisfaction
This article lists some common techniques, ideas, and underlying themes, behind proofs that certain subgroup properties are not intersection-closed. While some of these techniques involve a direct construction of counterexamples, others simply use the fact that the subgroup does not satisfy various corollaries of being intersection-closed.
For strategies to prove the opposite (i.e., that a subgroup property is intersection-closed), refer proving intersection-closedness.
- 1 The various version of intersection-closed
- 2 The direct product technique
- 3 The core technique
- 4 Using left residuals
The various version of intersection-closed
- Intersection-closed subgroup property: This is a subgroup property that is closed under arbitrary nonempty intersections. In other words, is intersection-closed if the intersection of a nonempty collection of subgroups of , each satisfying property in , also satisfies property in . For a complete list, see Category:Intersection-closed subgroup properties.
- Strongly intersection-closed subgroup property: An intersection-closed subgroup property that is also identity-true, i.e., it is satisfied by any group as a subgroup of itself. In particular, this property is closed under intersection of arbitrary collections, including possibly the empty collection. (The intersection of an empty collection of subgroups is the whole group).
- Finite-intersection-closed subgroup property: A subgroup property that is closed under taking intersections of finite nonempty collections.
- Strongly finite-intersection-closed subgroup property: A subgroup property that is finite-intersection-closed and identity-true.
The direct product technique
Outline of the technique
This method is used to try to construct an example of an intersection of direct factors which does not satisfy a given property . It thus could work for properties that are implied by the property of being a direct factor but are not implied by the property of normality.
(If it is implied by normality, then any intersection of direct factors would have the property).
The idea is to take the direct product of with an abelian group , such that we have in mind a surjective homomorphism with kernel a subgroup of .
Now we consider the automorphism defined as . Note that this automorphism fixes pointwise.
Consider the subgroup . This is precisely where is the kernel of . Thus, it suffices to show that does not satisfy the property in .
How this technique is applied
Suppose is a property such that:
- Any direct factor satisfies property
- satisfies the intermediate subgroup condition
- There is a group with a normal subgroup that does not satisfy , and such that the quotient is abelian.
Then, the above technique constructs for us an intersection of direct factors which does not satisfy the property . More precisely, let be an abelian group isomorphic to . Construct a homomorphism with kernel , and obtain that is an intersection of direct factors of . Since every direct factor satisfies , satisfies in . Since satisfies the intermediate subgroup condition, satisfies in the intermediate subgroup , so satisfies in . This contradicts the assumption.
Another way of saying this is that if a subgroup property is satisfied by direct factors, satisfies the intermediate subgroup condition, and is intersection-closed, then it must be satisfied by every Abelian-quotient subgroup.
Examples of properties to which this technique can be applied:
The technique shows more
The two direct factors that we intersect are in fact automorphs, because the map is an automorphism of . Thus, the technique shows that the above properties are not finite-automorph-intersection-closed.
The core technique
The basic result
Application to NCI-subgroup properties
A subgroup property is termed a NCI-subgroup property if the only normal subgroup that satisfies it is the whole group. Clearly, if a subgroup property is NCI, then the only way it can be normal core-closed is if it is satisfied by the whole group only.
Thus, to show that a subgroup property is not normal core-closed, it suffices to show that it is a NCI-subgroup property and we can find an example of a group and a proper subgroup satisfying the property in it.
Examples of properties for which this approach works:
Using left residuals
This is a somewhat more sophisticated technique.
The basic idea: left residuals preserve behavior under intersections
Suppose and are two subgroup properties. The left residual of by is the subgroup property defined as follows. A subgroup of a group has property in if for any group containing as a subgroup with property , has property in .
The following turn out to be true:
- Intersection-closedness is left residual-preserved: If is intersection-closed, so is the left residual of by any property .
- Finite-intersection-closedness is left residual-preserved: If is closed under finite intersections, so is the left residual of by any property .
Thus, to prove that a property is not closed under intersections (finite or arbitrary), it suffices to prove that the left residual of by some property is not closed under intersections (finite or arbitrary).