Torsionsfrei

Torsionsfrei

Torsion ist das Phänomen der kommutativen Algebra, also der Theorie der Moduln über kommutativen Ringen, das sie fundamental von der (einfacheren) Theorie der Vektorräume unterscheidet. Torsion ist verwandt mit dem Begriff des Nullteilers.

Inhaltsverzeichnis

Globale Torsion

Definitionen

In der einfachsten Form ist ein Torsionselement nichts anderes als ein Element endlicher Ordnung in einer Gruppe oder einem Monoid, also ein Element g, für das es eine natürliche Zahl n gibt, so dass gn = 1 (bzw.  n \cdot g = 0 in additiver Schreibweise) gilt.

Für den Torsionsbegriff der kommutativen Algebra sei R ein (kommutativer) Ring (mit Einselement) und M ein R-Modul.

  • Die Torsion oder der Torsionsuntermodul von M ist der Untermodul derjenigen Elemente m, für die der Kern der Abbildung R → M, r \mapsto rm, nicht nur Nullteiler enthält. m heißt dann Torsionselement.
  • Äquivalent dazu kann man den Torsionsuntermodul auch als den Kern des Homomorphismus
M\to M\otimes Q
definieren, wenn Q den Totalquotientenring von R bezeichnet.
  • M heißt torsionsfrei, wenn der Torsionsuntermodul Null ist.
  • M ist ein Torsionsmodul, wenn der Torsionsuntermodul gleich M ist. Man sagt dann auch manchmal kurz: M "ist Torsion".

Ist M eine abelsche Gruppe (also \mathbb Z-Modul), so stimmen die beiden Definitionen von Torsionselementen überein. Man spricht dann analog von Torsions(unter)gruppen.

Einfache Eigenschaften

  • Ist T der Torsionsuntermodul von M, so ist M/T torsionsfrei. Es gibt also einen kanonischen Torsionsuntermodul und einen kanonischen torsionsfreien Quotienten, jedoch nicht umgekehrt.
  • Das Bilden des Torsionsuntermoduls ist ein Funktor, d.h. ist fM → N ein Modulhomomorphismus, so bildet f den Torsionsuntermodul von M in den Torsionsuntermodul von N ab. Auch im Fall von Gruppen bildet ein Homomorphismus Torsionselemente stets auf Torsionselemente ab.
  • Aus der alternativen Beschreibung des Torsionsuntermoduls als Kern einer Lokalisierung folgt unmittelbar, dass das Bilden des Torsionsuntermoduls ein linksexakter Funktor ist.

Beispiele

  • Torsionselemente der Gruppe SL2(Z) sind (u.a.) \begin{pmatrix}0&1\\-1&0\end{pmatrix} und \begin{pmatrix}0&-1\\1&1\end{pmatrix}, ihr Produkt \begin{pmatrix}1&1\\0&1\end{pmatrix} hat dagegen unendliche Ordnung. In nicht abelschen Gruppen bilden die Torsionselemente also nicht notwendigerweise eine Untergruppe.
  • Ein anderes Beispiel für diese Tatsache ist die unendliche Diedergruppe
\langle x,y\mid x^2=y^2=1\rangle,
in der die Erzeuger Torsionselemente sind, aber beispielsweise xy nicht.
  • R selbst, oder allgemeiner ein freier R-Modul, ist torsionsfrei. Ist insbesondere R ein Körper, so sind alle R-Moduln torsionsfrei.
  • Z/n Z ist ein Torsionsmodul (über Z) für jede natürliche Zahl n. Allgemein ist für einen Ring R und ein Ideal J von R, das nicht nur aus Nullteilern besteht, der Modul R/J ein Torsionsmodul.
  • Ist K ein Körper, so ist der Torsionsuntermodul von K×, aufgefasst als abelsche Gruppe bzw. Z-Modul, gleich der Gruppe der Einheitswurzeln in K.

Abelsche Torsionsgruppen

  • Eine abelsche Torsionsgruppe ist genau dann endlich erzeugt, wenn sie endlich ist.
  • Eine abelsche Torsionsgruppe ist die direkte Summe ihrer p-primären Untergruppen für jede Primzahl p, d.h. der Untergruppen der Elemente, deren Ordnung eine Potenz von p ist. Die p-primäre Untergruppe ist eine p-Gruppe.
  • Wie das Beispiel der Faktorgruppe Q/Z zeigt, sind die Ordnungen der Elemente im allgemeinen nicht beschränkt; auch die p-primäre Untergruppe Qp/Zp hat bereits diese Eigenschaft.
  • Ist die Ordnung der Elemente beschränkt, so bedeutet das nicht, dass die Gruppe endlich erzeugt (und damit endlich) ist: in einem unendlichen direkten Produkt zyklischer Gruppen der Ordnung 2 hat jedes Element (außer dem neutralen Element) Ordnung 2.

Torsionsfreie Moduln

Das folgende Diagramm fasst diese Implikationen für einen Modul M über einem kommutativen Ring A zusammen:

Bild:Moduleigenschaften kommutative Algebra.svg

Torsion bezüglich eines Ringelementes

Definitionen

Es seien A ein kommutativer Ring mit Einselement und M ein A-Modul. Im einfachsten Fall ist A=\mathbb Z; M ist dann lediglich eine abelsche Gruppe.

Für ein Ringelement a\in A ist

M[a]=\{m\in M\mid am=0\}=\mathrm{Hom}_A(A/a,M)

ein Untermodul, der als die a-Torsion von M bezeichnet wird. (Die Verwechslungsgefahr mit der Notation M[f − 1] für Lokalisierungen ist gering.) Auch die Notation aM ist üblich.

Der Modul

M[a^\infty]=\bigcup_{n\geq1}M[a^n]=\{m\in M\mid\exists n\colon a^nm=0\}=\ker(M\to M\otimes A_a)

wird als a^\infty-Torsion bezeichnet.

Eigenschaften

  • M[a] ist auf natürliche Weise ein A / a-Modul.
  • Der Funktor M\mapsto M[a] ist linksexakt (als darstellbarer Funktor vertauscht sogar mit beliebigen Limites); genauer gilt: ist
0\to M'\to M\to M''\to0
eine exakte Folge von A-Moduln, so ist
0\to M'[a]\to M[a]\to M''[a]\to M'/aM'\to M/aM\to M''/aM''\to0
exakt, wie unmittelbar aus dem Schlangenlemma folgt.
  • Der Torsionsuntermodul von M ist die Vereinigung der M[a] für alle Nichtnullteiler a\in A.
  • Für Ringelemente a,b ist b\cdot M[ab]=(bM)[a]\subseteq M[a].
  • Für eine abelsche Gruppe M und eine Primzahl p ist M[p^\infty] der p-primäre Anteil der Torsion von M.

Tate-Modul

Ist M eine abelsche Gruppe und \ell eine Primzahl, so ist der projektive Limes

T_\ell(M)=\lim_nM[\ell^n]

(die Übergangsabbildungen sind durch die Multiplikation mit \ell gegeben) ein \mathbb Z_\ell-Modul (ganze \ell-adische Zahlen), der als \ell-adischer Tate-Modul von M (nach John Tate) bezeichnet wird. Durch den Übergang zu

V_\ell(M)=T_\ell(M)\otimes_{\mathbb Z_\ell}\mathbb Q_\ell

erhält man einen Vektorraum über einem Körper der Charakteristik 0; dies ist insbesondere für darstellungstheoretische Betrachtungen vorteilhaft.

Das wichtigste Beispiel für diese Konstruktion ist der Tate-Modul zu einer elliptischen Kurve E über einem nicht algebraisch abgeschlossenen Körper, dessen Charakteristik nicht \ell ist. Der Tate-Modul T_\ell(E) ist als \mathbb Z_\ell-Modul isomorph zu \mathbb Z_\ell^2 und trägt eine natürliche Operation der Galoisgruppe. Im Fall der multiplikativen Gruppe \mathbb G_\mathrm m ist der zugehörige Tate-Modul vom Rang 1. Er wird mit \mathbb Z_\ell(1) bezeichnet, die Operation der Galoisgruppe erfolgt durch den zyklotomischen Charakter.

Verallgemeinerungen

Für Z-Moduln ist der Torsionsuntermodul eines Moduls M gleich Tor1(Q/Z, M). Die Funktoren Tor können also als Verallgemeinerung des Begriffes des Torsionsuntermoduls angesehen werden.

Literatur

  • David Eisenbud, Commutative algebra with a view toward algebraic geometry. Springer-Verlag, New York 1995. ISBN 0-387-94269-6
  • Qing Liu, Algebraic Geometry and Arithmetic Curves. Oxford University Press, Oxford 2006. ISBN 0-19-920249-4

Einzelnachweise

  1. Eisenbud, a.a.O., Corollary 6.3, S. 164
  2. Liu, a.a.O., Corollary 1.2.14, S. 11

Wikimedia Foundation.

Игры ⚽ Нужно сделать НИР?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Torsion (Algebra) — Torsion ist das Phänomen der kommutativen Algebra, also der Theorie der Moduln über kommutativen Ringen, das sie fundamental von der (einfacheren) Theorie der Vektorräume unterscheidet. Torsion ist verwandt mit dem Begriff des Nullteilers.… …   Deutsch Wikipedia

  • Torsionsgruppe — Torsion ist das Phänomen der kommutativen Algebra, also der Theorie der Moduln über kommutativen Ringen, das sie fundamental von der (einfacheren) Theorie der Vektorräume unterscheidet. Torsion ist verwandt mit dem Begriff des Nullteilers.… …   Deutsch Wikipedia

  • Torsionsuntergruppe — Torsion ist das Phänomen der kommutativen Algebra, also der Theorie der Moduln über kommutativen Ringen, das sie fundamental von der (einfacheren) Theorie der Vektorräume unterscheidet. Torsion ist verwandt mit dem Begriff des Nullteilers.… …   Deutsch Wikipedia

  • Torsionsuntermodul — Torsion ist das Phänomen der kommutativen Algebra, also der Theorie der Moduln über kommutativen Ringen, das sie fundamental von der (einfacheren) Theorie der Vektorräume unterscheidet. Torsion ist verwandt mit dem Begriff des Nullteilers.… …   Deutsch Wikipedia

  • Abelgruppe — Abelsche Gruppe (=kommutative Gruppe) (Axiome EANIK) berührt die Spezialgebiete Mathematik Abstrakte Algebra Gruppentheorie ist Spezialfall von Magma ( …   Deutsch Wikipedia

  • Abelsch — Abelsche Gruppe (=kommutative Gruppe) (Axiome EANIK) berührt die Spezialgebiete Mathematik Abstrakte Algebra Gruppentheorie ist Spezialfall von Magma ( …   Deutsch Wikipedia

  • Flachheit (Algebra) — Flachheit von Moduln ist eine Verallgemeinerung des Begriffs freier Modul . Dieser Artikel beschäftigt sich mit kommutativer Algebra. Insbesondere sind alle betrachteten Ringe kommutativ und haben ein Einselement. Für weitere Details siehe… …   Deutsch Wikipedia

  • Freier Modul — Im mathematischen Teilgebiet der Algebra ist der Begriff des freien Moduls eine Verallgemeinerung der Begriffe Vektorraum oder freie abelsche Gruppe. Inhaltsverzeichnis 1 Definition 2 Anmerkungen 2.1 Erste Beispiele und Gegenbeispiele …   Deutsch Wikipedia

  • Klassifikation endlich erzeugter abelscher Gruppen — In der abstrakten Algebra wird eine abelsche Gruppe (G,+) als endlich erzeugt bezeichnet, wenn es endlich viele Elemente x1,...,xs in G gibt, so dass jedes x aus G in der Form x = n1x1 + n2x2 + ... + nsxs geschrieben werden kann, wobei n1,...,ns… …   Deutsch Wikipedia

  • Kommutative Gruppe — Abelsche Gruppe (=kommutative Gruppe) (Axiome EANIK) berührt die Spezialgebiete Mathematik Abstrakte Algebra Gruppentheorie ist Spezialfall von Magma ( …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”