Polynomring/n/Quotientenkörper/Endliche Körpererweiterung/Transzendenzbasis/Beispiel

Es sei ein Körper und ein irreduzibles Polynom, die Koeffizienten des Polynoms sind also rationale Funktionen in den Variablen . Nach Fakt ist der Restklassenring

ein Körper, und zwar eine endliche Körpererweiterung von , deren Grad durch den Grad des Polynoms gegeben ist. Insbesondere bilden die Variablen eine Transzendenzbasis von .