Funktionenkörper

(Algebraische) Funktionenkörper sind in der Mathematik algebraische Entsprechungen geometrischer Objekte. Funktionenkörper über endlichen Körpern spielen auch in der algebraischen Zahlentheorie eine wichtige Rolle.

Algebraische Definition

Es sei k {\displaystyle k} ein Körper. Dann heißt ein transzendenter Erweiterungskörper K / k {\displaystyle K/k} von endlichem Transzendenzgrad ein (algebraischer) Funktionenkörper.

Der algebraische Abschluss von k {\displaystyle k} in K {\displaystyle K} heißt Konstantenkörper.

Funktionenkörper im engeren Sinne sind Funktionenkörper vom Transzendenzgrad 1 über einem endlichen Körper. Zusammen mit den algebraischen Zahlkörpern bilden sie die Klasse der globalen Körper.

Geometrische Definition

Ist X {\displaystyle X} ein ganzes algebraisches Schema über einem Körper k {\displaystyle k} , so heißt der Halm der Strukturgarbe im generischen Punkt Funktionenkörper von X {\displaystyle X} . Er ist ein Funktionenkörper über k {\displaystyle k} im algebraischen Sinne.

Beispiel

Die rationalen Funktionen auf einer (irreduziblen) Varietät bilden einen Funktionenkörper.

Literatur

  • Jürgen Neukirch: Algebraische Zahlentheorie. Springer, 2006, ISBN 9783540376637, S. 99 ff.