Is the identity a nontorsion element?
Do these form a subgroup? That is to say, as the inverse of a non-torsion element (an element of non-finite order) is non-torsion, basically the question is: If we multiply two non-torsion elements together do we get another non-torsion element?