This survey article is about proof techniques for or related to: subgroup metaproperty satisfaction
Find other survey articles about subgroup metaproperty satisfaction
This article discusses techniques used to prove that a given subgroup property is not transitive.
- Proving transitivity: A survey article on methods to prove that a given subgroup property is transitive.
- Using transitivity to prove subgroup property satisfaction: A survey article discussing how to use the fact that a subgroup property is transitive to establish that certain subgroups have the property.
- All transitive subgroup properties
- All subgroup properties that are not transitive
Quick discussion on transitivity and subordination
Given a subgroup property , we define the subordination of as the following property: has the property in if there exists an ascending chain of subgroups:
such that each satisfies property in . By definition, any group satisfies the subordination of in itself, since we can take and take a chain of length .
The subordination of any property is a t.i. subgroup property (it is both transitive and identity-true) and a t.i. subgroup property equals its own subordination.
Here are some quick points on the subordination operator:
- The subordination operator is an ascendant operator: If is a subgroup property, is stronger than its subordination.
- The subordination operator is a monotone operator: If are subgroup properties such that is stronger than , then the subordination of is stronger than the subordination of .
- If and are subgroup properties such that is t.i., then the subordination of is stronger than . In fact, the subordination of is the strongest t.i. subgroup property among those weaker than .
The basic proof idea
Suppose we want to prove that a given subgroup property is not transitive. One approach is as follows: find an identity-true subgroup property such that is stronger than but the subordination of is not stronger than . Let's now see how such can be chosen.
The subordination of the property of being a normal subgroup is commonly called the property of being a subnormal subgroup. Thus, one way of showing that a given property is not transitive is to show that every normal subgroup of a group satisfies , but there are subnormal subgroups that do not satisfy .
Here are some examples of subgroup properties that are satisfied by normal subgroups, but not satisfied by all subnormal subgroups, and hence are not transitive:
- All properties of being a -subnormal subgroup for finite (in other words, all the subgroups of a fixed subnormal depth). These properties are not transitive because there exist subgroups of arbitrarily large subnormal depth. For instance, 2-subnormality is not transitive, 3-subnormality is not transitive.
- The property of being a hypernormalized subgroup. Further information: normal implies hypernormalized, subnormal not implies hypernormalized, hypernormalized is not transitive
- Any property that is between normality and the property of being a subnormal-to-normal subgroup is not transitive. In other words, a subgroup property that is true for normal subgroups but is not true for any non-normal subnormal subgroup cannot be transitive. Further information: Subgroup property between normal and subnormal-to-normal is not transitive, pronormality is not transitive, weak pronormality is not transitive, paranormality is not transitive, polynormality is not transitive, weak normality is not transitive
In a finite group, every subgroup is a submaximal subgroup -- there exists an ascending chain of subgroups starting from the subgroup and ending at the whole group such that each is a maximal subgroup of its successor. Thus, we have the following:
If an identity-true subgroup property is satisfied by every maximal subgroup, but there is a subgroup of a finite group not satisfying it, then the subgroup property is not transitive. Examples include, for instance:
Looking at specific examples
This section discusses some general ideas for how to come up with specific examples to prove that a particular subgroup property is not transitive.
First, eliminate the kinds of groups where the property is transitive
To make the search for a counterexample efficient, it is helpful to first remove from consideration all groups where the property is transitive for obvious reasons.
- Suppose is a trim subgroup property: it is always satisfied by the whole group as a subgroup of itself, and by the trivial subgroup. Then, the trivial group cannot provide a counterexample. A group of prime order cannot provide a counterexample, and a group whose order is of the form or (where are primes) cannot provide a counterexample. Thus, to start looking for groups where is not transitive, the place to start looking is groups of order , , or , where are primes.
- Find properties stronger than that are transitive, and eliminate all groups where the subgroups with property also have property : For instance, the property of being a central subgroup (or more generally, a central factor) is transitive, and it is stronger than the property of being a normal subgroup. Thus, to look for examples of groups where normality is not transitive, we should look at groups where it is not true that all normal subgroups are central (or, where all normal subgroups are central factors). In particular, we should not look at abelian groups. We should also not look at simple groups, quasisimple groups, and characteristically simple groups.
- Try to find the precise left transiter for the property, and then show that the property does not imply its left transiter: The left transiter of a property is the unique property such that satisfies in if and only if, for every containing , whenever satisfies in , satisfies in . Showing that is not transitive is then equivalent to finding a subgroup of a group that satisfies but not . Once we have such a pair, we find a containing such that satisfies in but does not satisfy in . An example of this is showing that normality is not transitive. One way of doing this is to show that left transiter of normal is characteristic, and combine this with the fact that normal not implies characteristic.
Selecting the better examples to begin with
As remarked above, we should start with groups of order when trying to prove that a trim subgroup property is not transitive. There are some general rules for what groups to prefer:
- The cyclic group of order (and more generally, any cyclic group) is a very bad place to start looking. This is because subgroups of a cyclic group satisfy some very strong subgroup properties, and countering transitivity is in general extremely hard.
- The other abelian groups of order (and more generally, of order ) are good places to start looking if there is no reason to believe that the property is transitive for all abelian groups. This includes the elementary abelian group and the product of the cyclic group of order and the cyclic group of order .
- Among the non-abelian -groups, the quaternion group (exists only for ) is a very bad place to start looking. This is because it has only one subgroup of order , and this subgroup satisfies some very strong subgroup properties.
- The dihedral group of order eight, and the two non-abelian groups for odd primes (prime-cube order group:U3p and prime-cube order group:p2byp) are good places to start looking.
Among groups of order and higher orders, here are some general ideas:
- Looking at the direct product of a group of order and a group of order is in general a bad idea. Rather, it is better to look at a group where at least one of the Sylow subgroups is not normal.
- A good starting point is the alternating group of degree four. Also useful is the symmetric group of degree four.
- Suppose we are looking at the property of being a normal subgroup. Since normality is a trim subgroup property, it is useless to look at groups whose order is a product of zero, one or two primes. Thus, we can start by looking at groups of order . Among these, it is useless to look at abelian groups. Thus, we need to look at groups of order that are non-abelian. For , there are two such groups up to isomorphism. One of them, the quaternion group, fails to provide a counterexample. The other, the dihedral group, does provide a counterexample. Further information: Normality is not transitive
- Another approach to proving that normality is not transitive begins by proving that the left transiter of normal is characteristic. Then, a simple construction shows normal not implies characteristic. The smallest example of the general construction is where the big group is a Klein four-group and the subgroup is a subgroup of order two. We now need to find a bigger group containing in which is normal but is not. This can be done explicitly by taking the semidirect product of with an automorphism that does not preserve . There are many ways of doing this, yielding different examples of the fact that normality is not transitive. These include the dihedral group of size eight, alternating group of degree four, and symmetric group of degree four. Further information: Normality is not transitive
- Consider the property of being an intermediately characteristic subgroup: a subgroup that is characteristic in every intermediate subgroup. Since this is a trim subgroup property, it suffices to start by looking at groups of order . Setting , we try the quaternion group and the dihedral group of order eight. As usual, the quaternion group fails to provide a counterexample, whereas the dihedral group does. Further information: Intermediate characteristicity is not transitive
- Consider the property of being an intermediately fully characteristic subgroup: a subgroup that is fully characteristic in every intermediate subgroup. Since this is a trim subgroup property, it suffices to start by looking at groups of order . fails to yield a counterexample, but for odd , the prime-cube order group:p2byp provides a counterexample. For full proof, refer: Intermediate full characteristicity is not transitive
- Consider the property of being a permutably complemented subgroup: a subgroup that has a permutable complement in the whole group. Since this is a trim subgroup property, it suffices to start by looking at groups of order . Once again, the smallest counterexample is furnished by the dihedral group with eight elements. Further information: Permutably complemented is not transitive