Definition Seperabilitaet:
Ein Polynom f heisst separabel, wenn jeder irreduzible Faktor von f in seinem Zerfaellungskoerper nur einfache Nullstellen hat.
Ein ueber dem Koerper K algebraisches Element a heisst separabel, wenn es ein separables Minimalpolynom besitzt.