Die Operation, ein algebraisches Objekt (Modul, Algebra, Garbe, Schema, Darstellung) entlang eines Basis-Homomorphismus f: R → S zu übertragen, gewöhnlich realisiert durch Tensorisierung mit S (S ⊗_R −) oder durch Rückzug (Pullback) entlang f; das Objekt wird über der neuen Basis S neu aufgefasst.

Prinzip

Das Prinzip ist Funktorialität und Adjunktion: Strukturtransport entlang einer Basismorphismus wird durch universelle Konstruktionen (Tensorprodukt, Pullback) geregelt und steht in Relation zur Skalareinschränkung als Adjunkt; Exaktheit und Kommutation mit Limiten hängen von Flachheits- und Endlichkeitsbedingungen ab.

Demonstration

Für einen Ringhomomorphismus R → S und ein R-Modul M ist die Basisänderung S ⊗_R M, ein S-Modul, dessen S-Wirkung und Relationen durch das Tensorprodukt entstehen; für einen Morphismus von Schemata X → Spec R ist die Basisänderung X_S = X ×_{Spec R} Spec S das Faserprodukt über S.

Fehlanwendung

Base change fälschlich als stets eigenschaftserhaltend anzunehmen — etwa zu behaupten, S ⊗_R − sei für beliebige R → S exakt — führt zu Fehlern, wenn S nicht flach ist (Tor-Begriffe treten auf); oder Basiswechsel von nicht endlich präsentierten Objekten ohne Prüfung mit beliebigen Limiten zu verwechseln.

Konsequenz

Unter Voraussetzungen wie Flachheit, endlicher Präsentation oder Properheit erhält der Basiswechsel exakte Sequenzen, Endlichkeitsbedingungen oder Kohomologie in kontrollierter Weise; er erlaubt den Vergleich von Invarianten über verschiedene Basen und den Transport von Strukturen entlang von Morphismen.

Umkehrung

Umgekehrt steht die Skalareinschränkung (Restriction of Scalars), die ein S-Objekt als R-Objekt auffasst; Basiswechsel ist nicht in der Regel invertierbar und vergrößert oft die Menge verfügbarer Morphismen und Schnitte.

Abgrenzung

Gilt in algebraischen Kontexten mit Basismorphismen (Ringe, Schemata) und Konstruktionen (Tensor, Faserprodukt, Pullback); er erzeugt keine analytischen oder topologischen Komplettierungen und eliminiert nicht die abgeleiteten Phänomene, wenn Flachheit fehlt.

Semantische Spannung

Basiswechsel überschneidet sich mit den Begriffen „Skalarerweiterung“ und „Pullback“ — gelegentlich synonym verwendet — doch besteht Spannung: Skalarerweiterung betont das Tensorisieren mit einem größeren Ring, während der schematische Basiswechsel das Faserprodukt und geometrische Fasern hervorhebt; abgeleiteter Basiswechsel steht im Wettbewerb mit der unterived-Version.

Synthese

Basiswechsel ist der funktorielle Transport algebraischer Strukturen entlang eines Basismorphismus, meist durch Tensorprodukt oder Faserprodukt realisiert; er folgt universellen Eigenschaften und bedingt exaktheitseinschränkungen, weshalb auf Flachheit und Endlichkeit zu achten ist.