Solvable and generated by finitely many periodic elements not implies periodic
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) need not satisfy 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
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.
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.