# Ascending chain condition on subnormal subgroups implies subnormal join property

This article gives the statement and possibly, proof, of an implication relation between two group properties. That is, it states that every group satisfying the first group property (i.e., group satisfying ascending chain condition on subnormal subgroups) must also satisfy the second group property (i.e., group satisfying subnormal join property)

View all group property implications | View all group property non-implications

Get more facts about group satisfying ascending chain condition on subnormal subgroups|Get more facts about group satisfying subnormal join property

This article gives the statement and possibly, proof, of an implication relation between two group properties. That is, it states that every group satisfying the first group property (i.e., group satisfying ascending chain condition on subnormal subgroups) must also satisfy the second group property (i.e., group satisfying generalized subnormal join property)

View all group property implications | View all group property non-implications

Get more facts about group satisfying ascending chain condition on subnormal subgroups|Get more facts about group satisfying generalized subnormal join property

## Contents

## Statement

Any group satisfying ascending chain condition on subnormal subgroups, i.e., any group in which there is no infinite ascending chain of subnormal subgroups, also satisfies the following two conditions:

- It is a group satisfying subnormal join property, i.e., the join of any two (and hence finitely many) subnormal subgroups of the group is again subnormal.
- It is a group satisfying generalized subnormal join property, i.e., the join of any, possibly infinite, collection of subnormal subgroups of the group is again subnormal.

## Related facts

### Applications

### Stronger facts

### Similar facts

- Nilpotent derived subgroup implies subnormal join property
- Join of normal and subnormal implies subnormal of same depth
- 2-subnormal implies join-transitively subnormal
- Subnormality is normalizing join-closed
- Subnormality is permuting join-closed

## Facts used

- Ascending chain condition on subnormal subgroups is normal subgroup-closed
- Join-transitively subnormal of normal implies finite-conjugate-join-closed subnormal
- Finite-conjugate-join-closed for a subgroup property in a group satisfying ascending chain condition on that subgroup property implies conjugate-join-closed for that subgroup property
- Conjugate-join-closed subnormal implies join-transitively subnormal

## Proof

### Proof of subnormal join property

This proof uses a tabular format for presentation. Provide feedback on tabular proof formats in a survey (opens in new window/tab) | Learn more about tabular proof formats|View all pages on facts with proofs in tabular format

This proof uses the principle of mathematical induction in a nontrivial way (i.e., it would be hard to write the proof clearly without explicitly using induction).

We prove the statement by induction on the subnormal depth of *one* of the two subgroups whose join we are taking. Specifically, we prove the following statement by induction on , for a nonnegative integer.

**Formulation to be proved by induction** on : Any subgroup of subnormal depth in a group satisfying the ascending chain condition on subnormal subgroups is join-transitively subnormal. In long form: Suppose satisfies the ascending chain condition on subnormal subgroups, is a subnormal subgroup of of subnormal depth , and is a subnormal subgroup of of subnormal depth . Then, the join of subgroups is also a subnormal subgroup of .

Note that when we apply this induction, the ambient group for which we use the inductive hypothesis is not the same as the ambient group for which we want to prove the goal of the inductive step.

**Base case for induction**: This is the case . In this case, , so is also subnormal. This settles the base case.

**Inductive step** ():

**Inductive hypothesis**: In a group satisfying the ascending chain condition on subnormal subgroups, any subnormal subgroup of subnormal depth at most is join-transitively subnormal. In other words, in any group satisfying ascending chain condition on subnormal subgroups, the join of any two subnormal subgroups is subnormal if either of them has subnormal depth at most .

**Inductive goal**:

**Given**: is a group satisfying the ascending chain condition on subnormal subgroups. is a subgroup of subnormal depth in

**To prove**: is join-transitively subnormal in .

**Proof**: The key proof idea is to use the inductive step within a smaller ambient group, namely the normal closure of the subgroup we are starting out with, and then bootstrap from this to the bigger group. There are two key places where the ascending chain condition on subnormal subgroups is used. The first is that this property is a normal subgroup-closed group property (Fact (1)), allowing the shift down to the normal closure. The second is that the property allows us to go from joins of finitely many conjugate subgroups to joins of infinitely many conjugate subgroups (Fact (3)).

Step no. | Assertion/construction | Facts used | Given data/assumptions used | Previous steps used | Explanation | Commentary |
---|---|---|---|---|---|---|

1 | Let be the normal closure of in . In particular, is normal and is generated by all the conjugate subgroups of . | Preparing ground for shifting ambient group down to normal closure. | ||||

2 | is -subnormal in | definition of subnormal depth | is -subnormal in . | Step (1) | [SHOW MORE] | Fixing subnormality in . |

3 | is a group satisfying ascending chain condition on subnormal subgroups | Fact (1) | satisfies ascending chain condition on subnormal subgroups | Step (1) | Fact+Step+Given direct | Fixing ambient group property of . |

5 | is join-transitively subnormal in , i.e., the join of and any subnormal subgroup of is subnormal in . | inductive hypothesis | Steps (2), (3) | [SHOW MORE] | Apply inductive hypothesis. | |

6 | is finite-conjugate-join-closed subnormal in , i.e., a join of finitely many conjugates of in is subnormal in . | Fact (2) | Step (5) | Fact+Step direct. | Move to ambient group . | |

7 | is conjugate-join-closed subnormal in , i.e., a join of arbitrarily many conjugates of in is subnormal in . | Fact (3) | satisfies ascending chain condition on subnormal subgroups. | Step (6) | [SHOW MORE] | Key step going from finite joins to arbitrary joins, use ascending chain condition on subnormal subgroups. |

8 | is join-transitively subnormal in , i.e., a join of and any subnormal subgroup of is subnormal in . | Fact (4) | Step (7) | Fact+Step direct | Clinch. |

### Proof of generalized subnormal join property

This follows directly from the ascending chain condition and the subnormal join property.