# Solvable and generated by finitely many periodic elements not implies periodic

From Groupprops

This article gives the statement and possibly, proof, of a non-implication relation between two group properties. That is, it states that every group satisfying the first group property (i.e., solvable group generated by finitely many periodic elements) neednotsatisfy the second group property (i.e., periodic group)

View a complete list of group property non-implications | View a complete list of group property implications

Get more facts about solvable group generated by finitely many periodic elements|Get more facts about periodic group

## Statement

It is possible to have a group that is a solvable group and is also a group generated by finitely many periodic elements, i.e., has a generating set all of whose elements have finite order, but is *not* a periodic group, and hence *not* a periodic solvable group.

This also shows that a solvable group generated by periodic elements need not be periodic.

## Proof

Consider the infinite dihedral group:

- The group is solvable: It has an abelian normal subgroup with a quotient group that is abelian, isomorphic to cyclic group:Z2.
- The group is generated by periodic elements: The elements and form a generating set comprising elements of finite order (both elements have order two).
- The group is not periodic: However, the element in the group (which generates the cyclic maximal subgroup) has infinite order.