Ein Modul, der eine Basis besitzt: er ist isomorph zu einer (möglicherweise unendlichen) direkten Summe von Kopien seines Koeffizientrings R mit einer ausgezeichneten Menge von Elementen (Basis), so dass jedes Element als eindeutige endliche R-lineare Kombination der Basis dargestellt werden kann.

Prinzip

Freiheit = Existenz einer freien Erzeugendensystem mit eindeutigen endlichen linearen Darstellungen; äquivalent dazu ist der Modul isomorph zu R^{(I)} für eine Indexmenge I, sodass Abbildungen aus einem freien Modul durch die Bilder der Basis bestimmt werden.

Demonstration

R^n mit den Standardkoordinatenvektoren e1,…,en ist ein freier R-Modul vom Rang n. Für R=Z sind Z^I (endliche direkte Summen) freie abelsche Gruppen; die kanonische Basis liefert Koordinaten und eine universelle Abbildungseigenschaft.

Fehlanwendung

Anzunehmen, Untermoduln freier Moduln seien über beliebigen Ringen wieder frei (dies gilt für Hauptidealbereiche, aber nicht allgemein), oder zu behaupten, alle projektiven Module seien frei, ohne Ringbedingungen zu prüfen.

Konsequenz

Freie Module vereinfachen lineare Probleme: Basen liefern Koordinaten, Hom-Berechnungen reduzieren sich auf Tupel, und universelle Eigenschaften machen Konstruktionen explizit; Freiheit impliziert Projektivität und Flachheit, ist aber in vielen Ringen stärker als Projektivität.

Umkehrung

Ein projektiver Modul verallgemeinert die Freiheit durch Zerlegung exakter Folgen, doch muss ein projektiver Modul keine Basis besitzen; umgekehrt fallen projektiv und frei in bestimmten Ringen (z. B. Körpern oder Hauptidealbereichen) zusammen.

Abgrenzung

Die Definition setzt einen einheitlichen Ring und endliche lineare Kombinationen der Basis voraus; schließt Module aus, die nur 'generisch' erzeugt sind oder unendliche lineare Kombinationen ohne Endlichkeitsbedingung benötigen, und unterscheidet nicht-kommutative Fälle, in denen die Seite der Aktion relevant ist.

Semantische Spannung

Die Spannung entsteht zwischen den Begriffen frei, projektiv und flach: alle freien Module sind projektiv und flach, die Umkehrung kann jedoch fehlschlagen; ferner besteht Spannung bei unendlichem Rang zwischen Darstellung als direkte Summe versus direktes Produkt.

Synthese

Ein freier Modul ist ein Modul mit einer Basis, konkret isomorph zu einer direkten Summe von Kopien seines Rings; er liefert Koordinaten und universelle Eigenschaften, die viele algebraische Konstruktionen explizit machen, und stellt eine stärkere Bedingung als Projektivität dar.