Körper/Grundkörper/Transzendenzbasis/Endlich/Definition

Transzendenzbasis

Es sei ${}K$ ein Grundkörper und ${}K\subseteq L$ eine Körpererweiterung. Man sagt, dass ${}f_{1},\ldots ,f_{n}\in L$ eine Transzendenzbasis von ${}L$ über ${}K$ ist, wenn die ${}f_{1},\ldots ,f_{n}$ algebraisch unabhängig sind und ${}K(f_{1},\ldots ,f_{n})\subseteq L$ eine algebraische Körpererweiterung ist.