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 Kommutative Algebra.

Definition

Ein Modul über einem Ring heißt flach, wenn der Funktor

$N\mapsto M\otimes _{A}N$

exakt ist. (Siehe Tensorprodukt von Moduln.)

Äquivalente Charakterisierungen sind:

$\operatorname {Tor}_{1}(N,M)=0$ für alle -Moduln . (Siehe Tor (Mathematik).)
Für jedes Ideal von ist $I\otimes _{A}M\to IM$ injektiv.
$\operatorname {Tor}_{1}(A/I,M)=0$ für alle Ideale von .

Eigenschaften

Alle projektiven und damit alle freien Moduln sind flach. Umgekehrt ist jeder endlich präsentierte flache Modul projektiv.
Flache Moduln sind torsionsfrei. Über Dedekindringen (insbesondere also über Hauptidealringen) stimmen die Begriffe „flach“ und „torsionsfrei“ sogar überein.
Es sei

$0\to N'\to N\to N''\to 0$

eine exakte Sequenz. Dann ist die Sequenz

$0\to M\otimes N'\to M\otimes N\to M\otimes N''\to 0$

exakt, falls oder N''

flach ist. Dies entspricht der Symmetrie des Funktors Tor.

Sind und flache -Moduln, so auch $M\otimes_R N$ .
Im Ring der dualen Zahlen ist flach äquivalent zu frei.
Sei $M=\bigoplus _{{i\in I}}M_{i}$ . Dann ist genau dann flach, wenn $M_{i}$ für alle $i\in I$ flach ist.

Beispiele

${\mathbb {Q}}$ ist ein flacher, aber nicht projektiver $\mathbb {Z}$ -Modul.
Für jeden Ring ist der -Modul flach.
Sei ein kommutativer Ring mit Einselement und $S\subseteq R$ eine multiplikativ abgeschlossene Menge, dann ist der -Modul $S^{-1}R$ flach.

Damit ist insbesondere $k(t_{1},\ldots ,t_{n})$ ein flacher $k[t_{1},\ldots ,t_{n}]$ -Modul

ist eine flache -Algebra.

Basierend auf einem Artikel in:

Wikipedia.de