Finite implies subnormal join property

From Groupprops
Jump to: navigation, search
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., finite group) 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 finite group|Get more facts about group satisfying subnormal join property

Statement

Verbal statement

Any finite group satisfies the subnormal join property. In other words, a join of finitely many subnormal subgroups of a finite group is again subnormal. Note that since a finite group has only finitely many subnormal subgroups, this also shows that any finite group satisfies the generalized subnormal join property.

Related facts

Stronger facts

Other related facts

Facts used

  1. Any finite group is a group satisfying ascending chain condition on subnormal subgroups, i.e., it cannot have an infinite ascending chain of subnormal subgroups.
  2. Ascending chain condition on subnormal subgroups implies subnormal join property

Proof

The proof follows directly from facts (1) and (2).