If is purely inseparable, an embedding of into an algebraic closure has at most one extension to : if , the image of must be the unique th root of the image of . Existence in a normal overfield therefore implies uniqueness.
Articles by others on the same topic
There are currently no matching articles.