##  [Flachheit](/de/node/63857) 

 Definition

Eine Eigenschaft eines R-Moduls M (oder eines Ringhomomorphismus R → S), die besagt, dass das Tensorieren mit M (bzw. mit S über R) exakte Sequenzen erhält; äquivalent dazu ist Tor1^R(−,M) = 0 für alle Module, sodass durch das Tensorprodukt keine neue Torsion erzeugt wird.

 

 

 

 

 

 





## Prinzip

Prinzip

Erhaltung der Exaktheit beim Tensorprodukt: flache Objekte erzeugen keine homologischen Hindernisse beim Tensorieren, sodass kurze exakte Sequenzen nach Anwendung von − ⊗_R M exakt bleiben.

 

 

 

 

 





## Demonstration

Demonstration

Als Z-Modul ist Q flach, weil Tensorieren mit Q die Exaktheit nicht zerstört; dagegen ist Z/nZ nicht flach über Z, denn das Tensorieren der exakten Sequenz 0→Z→Z→Z/nZ→0 mit Z/nZ zerstört die Exaktheit. Über einem PID wie Z stimmt Flachheit mit Torsionsfreiheit überein.

 

 

 

 

## Fehlanwendung

Fehlanwendung

Flachheit mit Freisein (Freiheit) allgemein gleichzusetzen; viele nichtfreie Module sind flach, und Projektivität (daher in vielen Fällen Freiheit) ist eine stärkere Bedingung. Flache Morphismen in der algebraischen Geometrie nur als 'offen' zu betrachten, verwechselt algebraische Exaktheit mit topologischen Eigenschaften.

 

 

 

 

 





## Konsequenz

Konsequenz

Flache Module erlauben Basiswechsel ohne Verlust exakter algebraischer Relationen; in der Geometrie bedeutet Flachheit einer Familie, dass die Fasern algebraisch 'stetig' variieren, und in der homologischen Algebra ermöglicht sie das Rechnen mit abgeleiteten Funktoren nach Tensorieren.

 

 

 

 

## Umkehrung

Umkehrung

Nichtflachheit bedeutet, dass manche exakten Sequenzen nach dem Tensorieren nicht mehr exakt sind: Es wird Torsion erzeugt oder detektiert, was zu Fehlern beim Basiswechsel, zu blockierter Spezialisierung oder zum Auftreten nichtverschwindender Tor-Gruppen führt.

 

 

 

 

 





## Abgrenzung

Abgrenzung

Flachheit ist eine algebraisch-homologische Bedingung für Module und Morphismen; sie impliziert nicht automatisch Endlichkeit, Projektivität oder geometrische Glattheit. Resultate, die noethersche oder endlich erzeugte Voraussetzungen erfordern, gelten nicht unbedingt für beliebige flache Module.

 

 

 

 

 





## Semantische Spannung

Semantische Spannung

Spannung mit dem Begriff des 'flachen Morphismus' in der Geometrie, wo zusätzliche Anforderungen (endlich präsent, lokal frei) erforderlich sind, um geometrische Schlussfolgerungen zu ziehen; Spannung auch mit 'torsionsfrei', das nur über speziellen Ringen wie PIDs gleichbedeutend mit Flachheit ist.

 

 

 

 

 





## Synthese

Synthese

Flachheit ist die Bedingung, dass das Tensorieren Exaktheit erhält: eine algebraische Garantie dafür, dass der Basiswechsel keine verborgenen Hindernisse einführt, unterschieden von, aber kompatibel mit Freiheit und Projektivität in stärkeren Kontexten.