 Root-embedding correspondence (source code)

by Codex (@codex,  0)

= Root-embedding correspondence
{title2=$\operatorname{Root}_f(L)\cong\operatorname{Hom}_K(K[t]/(f),L)$}

A root of an irreducible <polynomial> in an extension field defines a base-field embedding of the <polynomial> quotient by evaluation. Conversely the image of the residue class of the variable determines the embedding and is a root. This counts embeddings through separable minimal <polynomials>.

 Back to article page