Subgroup of finite abelian group implies finite-abelian-pi-potentially verbal

From Groupprops
Jump to: navigation, search
This article gives the statement and possibly, proof, of an implication relation between two subgroup properties. That is, it states that every subgroup satisfying the first subgroup property (i.e., subgroup of finite abelian group) must also satisfy the second subgroup property (i.e., abelian-potentially verbal subgroup)
View all subgroup property implications | View all subgroup property non-implications
Get more facts about subgroup of finite abelian group|Get more facts about abelian-potentially verbal subgroup

Statement

Suppose G is a finite abelian group and H is a subgroup of G. Then, there exists a finite abelian group K containing G and having no prime factors other than those of G, such that H is a verbal subgroup of K.

In particular, every Subgroup of finite abelian group (?) is an Abelian-potentially verbal subgroup (?), Abelian-potentially fully invariant subgroup (?), and Abelian-potentially characteristic subgroup (?).

Related facts

Similar facts

Opposite facts

Proof

PLACEHOLDER FOR INFORMATION TO BE FILLED IN: [SHOW MORE]