Locally finite not implies embeddable in finitary symmetric group
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., locally finite group) need not satisfy the second group property (i.e., group embeddable in a finitary symmetric group)
View a complete list of group property non-implications | View a complete list of group property implications
Get more facts about locally finite group|Get more facts about group embeddable in a finitary symmetric group
- Finitary symmetric group implies no non-identity element has arbitrarily large roots: see also group in which no non-identity element has arbitrarily large roots.
Example of the quasicyclic -group
Consider the quasicyclic group for a prime : the group of all roots of unity in the complex numbers. This is clearly locally finite. On the other hand, it cannot be embedded in a finitary symmetric group, because every element can be expressed as a power for arbitrarily large , whereas no non-identity element of a finitary symmetric group can be expressed as a power for arbitrarily large .