The statement of this article contains an assertion of the form that for a certain kind of group, either every element has finite order (i.e., the group is a Periodic group (?)) or every non-identity element has infinite order (i.e., the group is a Torsion-free group (?) or aperiodic group). The actual statement in this case may be considerably stronger.
View other such statements