Disproving intersection-closedness
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.
Contents
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
Further information: Finite-automorph-intersection-closed subgroup property that is weaker than direct factor and satisfies intermediate subgroup condition is weaker than abelian-quotient
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
If a subgroup property is intersection-closed, then the normal core of any subgroup with property
also has property
. So does the characteristic core.
Thus, in particular, any intersection-closed subgroup property is normal core-closed as well as characteristic core-closed.
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).