Purely inseparable extension without a primitive element

ID: purely-inseparable-extension-without-a-primitive-element

Let and for algebraically independent . The monomials with form a basis, whereas every satisfies . Thus but , so no primitive element of a field extension exists.

New to topics? Read the docs here!