Grundkörper

Grundkörper bezeichnet in der Mathematik den zugrunde liegenden Körper, über dem Objekte wie Vektorräume, Ringe, Polynomringe, algebraische Varietäten oder Schemata definiert sind. Er legt die Skalaroperation fest und bestimmt, welche Koeffizienten in Definitionen auftreten. Üblicherweise wird K als Grundkörper bezeichnet; man sagt, ein Objekt sei „über K definiert“ oder „über K aufgebaut“.

Beispiele und Bedeutung: Ein Vektorraum V über dem Körper R hat R als Grundkörper. Die Polynomringe R[x1, ..., xn] sind über R definiert. Eine algebraische Varietät V wird durch Gleichungen mit Koeffizienten in K beschrieben und ist damit eine Konstruktion über dem Grundkörper K. In der Zahl- und Funktionentheorie beeinflusst die Wahl des Grundkörpers die Menge der rationalen Punkte und die Galois-Struktur. Gleichzeitig bleiben viele abstrakte Strukturen unter Basisaustausch erhalten, während geometrische Eigenschaften oft als geometrisch oder base-change-abhängig beschrieben werden.

Basiswechsel und Erweiterungen: In der algebraischen Geometrie spricht man vom Basiswechsel (Base Change), wenn ein Objekt durch Erweiterung des Grundkörpers zu V_L über L wird. Formal heißt das häufig V ⊗_K L oder V_L; so entstehen neue Objekte mit teils anderen Eigenschaften, während die zugrunde liegende Struktur erhalten bleibt.

Typische Grundkörper: In der Praxis stehen K oft für das Feld der rationalen Zahlen Q, das reelle Feld R oder das komplexe Feld C; in der Zahlentheorie und Geometrie treten auch endliche Körper oder Funktionenkörper auf.

Zusammenfassung: Der Grundkörper ist der Referenzrahmen für Skalare und Koeffizienten, auf dem mathematische Objekte definiert sind. Die Wahl des Grundkörpers bestimmt bestimmte Eigenschaften der Objekte, während viele Strukturen durch Basiswechsel in andere Kontexte übertragen werden können.