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

From Groupprops

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 is a finite abelian group and is a subgroup of . Then, there exists a finite abelian group containing and having no prime factors other than those of , such that is a verbal subgroup of .

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

- Central implies finite-pi-potentially verbal in finite
- Cyclic normal implies finite-pi-potentially verbal in finite
- Homocyclic normal implies finite-pi-potentially fully invariant in finite

### Opposite facts

- Subgroup of abelian group not implies abelian-potentially characteristic, subgroup of abelian group not implies abelian-extensible automorphism-invariant

## Proof

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