arXiv:1205.2824 [math.GR]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords group elements, theorem implies, group language, first-order formulae, squares lie Tags journal article Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset