Measuring deviation from normality
This is a survey article related to:normal subgroup
View other survey articles about normal subgroup
Normality is one of the most pivotal subgroup properties. It traces its origins to the very beginnings of group theory, in fact, to even before that. Since a lot of subgroups aren't normal, attempts have naturally been made to determine, given a subgroup, how far it deviates from being normal. Here, we look at some subgroup operators that measure the extent to which a subgroup deviates from normality, aswell as some abstract groups we can associate with the given subgroup that again measure the deviation.
- 1 Subgroup operators measuring the deviation
- 2 Opposites of normality via this deviation
- 3 Iteration of these operators and factorization
- 4 Abstract groups measuring deviation from normality
Subgroup operators measuring the deviation
Further information: normal closure
Recall the following important fact:
An arbitrary intersection of normal subgroups is a normal subgroup. In other words, normality is an intersection-closed subgroup property.
Thus, given a subgroup we can look at the set of all normal subgroups of containing , and take their intersection. This intersection will itself be a normal subgroup, and it will contain . The intersection is termed the normal closure of . The normal closure of in is denoted as .
A subgroup is normal if and only if it equals its normal closure.
The normal closure of can be viewed as a normal approximation to it from above, that is, a normal approximation that is bigger than it.
Another way of viewing the normal closure is as the smallest subgroup that contains as well as all the conjugates of . This can be thought of as a constructive way of making the normal closure, starting from and moving upwards (as opposed to the intersection route that goes downwards).
Further information: normal core
Recall the following important fact:
An arbitrary join of normal subgroups is a normal subgroup. In other words, normality is a join-closed subgroup property.
Thus, given a subgroup , we can take the join of all normal subgroups of contained inside . The join will itself be a normal subgroup, and it will contain . This join is termed the normal core of in . The normal core of in is denoted as .
A subgroup is normal if and only if it equals its normal core.
The normal core of a subgroup can be viewed as a normal approximation to it from below, that is, a normal approximation that is smaller than it.
Another way of viewing the normal core is as the intersection of and all the conjugates of .
Further information: normalizer
Recall the following definition of normality: is normal if and only if for every .
The normalizer of a subgroup is defined as the set of all elements that commute with the subgroup. In other words, the normalizer of a subgroup , denoted as , is defined as the set of all such that .
Clearly, is normal in , and any subgroup in which is normal must lie inside . Thus, is the largest subgroup in which is normal.
A subgroup is normal if and only if its normalizer equals the whole group.
Opposites of normality via this deviation
Further information: contranormal subgroup
A subgroup of a group is termed contranormal if its normal closure is the whole group. In other words, the subgorup generated by all its conjugates is the whole group, or equivalently, there is no proper normal subgroup containing it.
The property of being contranormal is a NCI-subgroup property, that is, no proper normal subgroup can be contranormal. In fact, no proper subnormal subgroup can be contranormal either, because if is a subnormal series then is a proper normal subgroup containing .
Note that the condition of being contranormal does not imply that every element of the group is conjugate to some element in the subgroup, rather, it says that every element in the group can be expressed as a product of elements in the subgroup and their conjugates. The stronger condition of every element in the group being conjugate to some element in the subgroup, is termed the condition of being conjugate-dense.
Further, it is true that in a simple group, every nontrivial subgroup is contranormal, because its normal closure must be a nontrivial normal subgroup, and hence the whole group.
Further information: core-free subgroup
A subgroup of a group is termed core-free if its normal core is the trivial subgroup. In other words, the intersection of all its conjugates is trivial, or equivalently, there is no nontrivial normal subgroup contained inside it.
The property of being core-free is a NCT-subgroup property, that is, no nontrivial normal subgroup can be core-free. It may, however, happen that there is a subnormal core-free subgroup.
It is also true that in a simple group, any proper subgroup is core-free. This follows from the fact that the normal core of any proper subgroup must be a proper normal subgroup, and hence, trivial.
There are a number of stronger conditions than being core-free. For instance, there is the condition of being a malnormal subgroup, viz a subgroup such that the intersection with any conjugate by an outside element is trivial. (Any proper malnormal subgroup is core-free).
Further information: self-normalizing subgroup
A subgroup of a group is termed self-normalizing if it equals its own normalizer. In other words, a subgroup of a group is termed self-normalizing if there is no subgroup properly containing it in which it is normal.
The property of being self-normalizing is a NCI-subgroup property, that is, no proper normal subgroup can be self-normalizing. In fact, no proper subnormal subgroup can be self-normalizing, because if is a subnormal series for , then is normal in .
Unlike the other two cases (viz contranormal and core-free subgroup) it is not true that most subgroups of a simple group are self-normalizing. This can essentially be viewed as because of the fact that the normalizer is local more to the nature of the subgroup than to the nature of the whole group.
Comparison between all the three properties
The properties of being self-normalizing, core-free and contranormal are all closely related, thoguh none of them implies any of the others. Here are some facts.
Properties which imply both self-normalizing and core-free:
- Proper malnormal subgroup
Properties which imply both self-normalizing and contranormal:
Properties which imply both contranormal and core-free:
Iteration of these operators and factorization
Given a subgroup , consider the sequence of subgroups defined as follows:
- is the normal closure of in for any ordinal
- if is a limit ordinal
This is a descending series of subgroups and must eventually stabilize at some ordinal . Clearly, we will then have the following:
- is a descendant subgroup of (in finite groups, this is the same as saying that is a subnormal subgroup of )
- is a contranormal subgroup of
Moreover, is the only intermediate subgroup for which both these conditions hold.
Given a subgroup , we have:
Moreover is the unique subgroup for which both these hold.
Given a subgroup , we can find an intermediate subgroup such that:
- is an ascendant subgroup of (in finite groups, this is the same as requiring that is a subnormal subgroup of )
- is a self-normalizing subgroup of
Abstract groups measuring deviation from normality
Further information: quotient-by-core operator
Given a subgroup , we consider the group where denotes the normal core of . Note that this group is trivial when is normal, so the size of this group measures the extent to which the subgroup deviates from normality.
For a core-free subgroup, the quotient-by-core is the same as the subgroup.
Certain interesting results are known on the quotient by the normal core. For instance, the quotient-by-core of a permutable subgroup, and more generally, of a modular subgroup in a finite group, is a nilpotent group.
Further information: closure-by-core operator
Given a subgroup , the closure-by-core operator gives the abstract group , where is the normal closure of in and is the normal core of in . In other words, the closure-by-core operator outputs the quotient of the normal closure by the normal core.
Note that, like the quotient-by-core, this group is trivial when the subgroup is normal, so the size of this group measures deviation from normality.
Further information: normalizer-by-self operator
Given a subgroup , the normalizer-by-self operator gives the abstract group . Note that this is well-defined because is normal in its normalizer.
The normalizer-by-self of a normal subgroup is the corresponding quotient group.