##  [Basiswechsel](/de/node/63367) 

 Definition

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

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

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

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

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

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

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

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

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.