The word "torsion" and its connection to geometry and homology - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T19:08:04Z http://mathoverflow.net/feeds/question/25865 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/25865/the-word-torsion-and-its-connection-to-geometry-and-homology The word "torsion" and its connection to geometry and homology Akela 2010-05-25T12:05:46Z 2010-05-25T14:10:12Z <p>In an $R$-module $M$, an element $m \in M$ is said to be torsion if $am = 0$ for some $a \in R$ with $a \neq 0$.</p> <p>Also, for a non-orientable (closed) surface such as the projective plane or the Klein bottle, there is a $\mathbb Z/2$ term in the first homology. This part is said to detect the "twisting" in the surface. </p> <p>So this leads to the plausible notion that the origin of the word "torsion" in algebra is related to this "torsion" or "twisting" from topology.</p> <p>Unfortunately the difficulty is that this is not exactly true. For example, the Möbius band is surely a twisted object. But it deformation retracts to the circle, and therefore its homology is very normal.</p> <p>I hope somebody can shed more light on this terminology.</p> http://mathoverflow.net/questions/25865/the-word-torsion-and-its-connection-to-geometry-and-homology/25869#25869 Answer by Charles Matthews for The word "torsion" and its connection to geometry and homology Charles Matthews 2010-05-25T13:05:13Z 2010-05-25T13:30:39Z <p>The terminology in topology seems to go back a long way: <em>Über die Torsionszahlen von Produktmannigfaltigkeiten</em> (Mathematische Annalen 1924) is the paper in which Künneth sets out to show how the torsion in homology behaves in a product, and there he footnotes earlier work of Poincaré and Tietze (his advisor) on the "Torsionszahlen". So it is a fair bet the terminology goes back at least to Tietze. In terms of the question "algebra or topology first?", I'd therefore lay bets on topology, bearing in mind that homology wasn't clearly formulated as taking values in abelian groups until a little later. The more general idea of "twisting" probably awaited the theory of bundles, a little later again.</p> <p>There is some quite detailed discussion of the history and Emmy Noether's intervention in <a href="http://math.unice.fr/~nbasbois/Articles/groupe_homologie2.pdf" rel="nofollow">http://math.unice.fr/~nbasbois/Articles/groupe_homologie2.pdf</a>. A very interesting point, for algebraists, is that the issue is tied up with the structure theory of finitely-generated abelian groups and the chicken-and-egg question of whether you derive it from the theory of elementary divisors of integral matrices, or <em>vice versa</em> (which would be the modern approach in abstract algebra, despite what is said on "Is there a slick proof of the classification of finitely generated abelian groups?"). Psychologically this makes quite a difference to what one is looking for as a canonical form. Poincaré definitely approached it from elementary divisors, and as the paper explains, the introduction of abelian groups as adjuncts to the incidence matrix had to be "justified" to topologists.</p> http://mathoverflow.net/questions/25865/the-word-torsion-and-its-connection-to-geometry-and-homology/25879#25879 Answer by KConrad for The word "torsion" and its connection to geometry and homology KConrad 2010-05-25T14:10:12Z 2010-05-25T14:10:12Z <p>See Stillwell's Classical Topology and Combinatorial Group Theory, pp. 170--171 for a discussion of the historical origins of torsion, which of course is in algebraic topology, not abstract algebra. Find the title on Google books and search for the word torsion.</p>