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.