"torsion group" Deutsche bedeutung