 A consequence of the primitive element theorem states that every finite separable extension has a primitive element (i.e.is simple).Given any field extension "L"/"K", we can consider its automorphism group Aut("L"/"K"), consisting of all field automorphisms "α"