Metabelian 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., metabelian 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 metabelian group|Get more facts about group satisfying subnormal join property

Statement

A metabelian group satisfies the group satisfying subnormal join property: the join of any two Subnormal subgroup (?)s of the group is subnormal.

Facts used

  1. Metabelian implies nilpotent commutator subgroup
  2. Nilpotent commutator subgroup implies subnormal join property

Proof

The proof follows directly by combining facts (1) and (2).