Körpererweiterung/Separabel erzeugt/Definition

Separabel erzeugt (Körpererweiterung)

Eine Körpererweiterung heißt separabel erzeugt, wenn sie eine separierende Transzendenzbasis besitzt.