# Inductive proof methods for the ascending series corresponding to a subgroup-defining function

This page is a survey article about a proof method or constellation of methods commonly used in group theory. The method is sufficiently vague that it cannot be classed as a "fact" or abstracted into a "theorem" but sufficiently precise that we can still make reasonably unambiguous identifications of proofs that use the method. It builds on the paradigm of the principle of mathematical induction.

View other survey articles about proof methods|View survey articles about proof methods that build on the principle of mathematical induction

Suppose is a subgroup-defining function and is a group. We can define an **ascending series** of subgroups of corresponding to as follows: is trivial, , and each for is such that . In other words, the series is constructed by *quotient-iteration*. If we define as the quotient-defining function corresponding to , then the quotient by can be identified with (with the occurring times).

The purpose of this survey article is to consider the various inductive methods one might use to establish facts about the subgroups and quotients for the ascending series.

## Contents

## Using inductive methods for group and subgroup properties

### Using quotient-transitivity for subgroup properties

The following is specific enough to be used as a lemma in its own right, but obvious enough that the effort may not be justified:

If is a subgroup property and is a subgroup-defining function satisfying the following conditions:

- For any group , satisfies in
- is a quotient-transitive subgroup property: if are groups such that is a normal subgroup of , satisfies in , and satisfies in , then satisfies in .

Then, for any group , all the members of the ascending series for also satisfy .

Some examples are given below.

Subgroup-defining function | Associated quotient-defining function | Ascending series | Subgroup property | Proof that satisfies | Proof that is quotient-transitive | Conclusion |
---|---|---|---|---|---|---|

center | inner automorphism group | upper central series | strictly characteristic subgroup | strict characteristicity is quotient-transitive | center is strictly characteristic | upper central series members are strictly characteristic |

center | inner automorphism group | upper central series | quotient-powering-invariant subgroup | center is quotient-powering-invariant | quotient-powering-invariance is quotient-transitive | upper central series members are quotient-powering-invariant |

The proof can be executed inductively in any of a number of ways. In particular, it could be executed upward or downward. Explicitly, if the ascending series is :

- The
*upward*method would move up the ascending series of a fixed group, using the inductive hypothesis and the fact of quotient-transitivity to go from one member of the ascending series to the next. - The
*downward*method, if aiming to prove the result for member , will induct on as a subgroup of with moving down from to .

### Using extension-closedness for group properties

The following is specific enough to be used as a lemma in its own right, but obvious enough that the effort may not be justified:

If is a group property and is a subgroup-defining function satisfying the following conditions:

- For any group , satisfies as a group.
- is an extension-closed group property: if is a normal subgroup of a group such that both and satisfy as groups, then satisfies .

Then, for any group , all the members of the ascending series of corresponding to also satisfy .

The proof can be executed inductively in any of a number of ways. In particular, it could be executed upward or downward. Explicitly, if the ascending series is ::

- The
*upward*method would move up the ascending series of a fixed group, using the inductive hypothesis and the fact of quotient-transitivity to go from one member of the ascending series to the next. - The
*downward*method, if aiming to prove the result for member , will induct on as a subgroup of with moving down from to .

### Using extension-closedness or quotient-transitivity with respect to extensions of only a certain sort

In some cases, there are limitations on the sort of extension for which you can use the group property or subgroup property in the subgroup and quotient to deduce it for the extension.

- The restriction may be of the sort that only allows for drawing conclusions in the case that the normal subgroup satisfies a property that must satisfy. In the upper central series case, for instance, this might be the restriction to central extensions. In this case, the induction needs to be done
*downward*, i.e., we will induct on as a subgroup of with moving down from to . - The restriction may be of the sort that only allows for drawing conclusions in the case that the quotient group satisfies a property that must satisfy. In this case, the induction needs to be done
*upward*, i.e., we go from proving the result from to proving the result for .