|
|
|
|
|
The torsion of a group $G$ is the set$$ \Tor(G) = \{ g \in G : g^n = e \mbox{ for some $n \in \Nset$}\}.$$ A group is said to be torsion-free if $\Tor(G) = \{e\}$ , i.e. the torsion consists only of the identity element.
If $G$ is abelian (or, more generally, locally nilpotent) then $\Tor(G)$ is a subgroup (the torsion subgroup) of $G$ . Whenever $\Tor(G)$ is a subgroup of $G$ , then it is fully invariant and $G/\Tor(G)$ is torsion-free.
Example 1 (Torsion of a finite group)
For any finite group $G$ , $\Tor(G) = G$ .
Example 2 (Torsion of the circle group)
The torsion of the circle group $\Rset/\Zset$ is $\Tor(\Rset/\Zset) = \Qset/\Zset$ .
|
"torsion" is owned by mhale. [ full author list (2) ]
|
|
(view preamble | get metadata)
See Also: periodic group
| Other names: |
group torsion |
| Also defines: |
torsion-free, torsion group, torsion subgroup, torsion free |
|
|
Cross-references: circle, finite group, fully invariant, subgroup, locally nilpotent, abelian, identity element, group
There are 29 references to this entry.
This is version 5 of torsion, born on 2003-01-07, modified 2006-02-16.
Object id is 3885, canonical name is Torsion3.
Accessed 13115 times total.
Classification:
| AMS MSC: | 20K10 (Group theory and generalizations :: Abelian groups :: Torsion groups, primary groups and generalized primary groups) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|
