Extension count for field embeddings
= Extension count for field embeddings
An embedding of $K(\alpha_1,\ldots,\alpha_i)$ extends across $\alpha_{i+1}$ by sending it to a root of its transformed minimal polynomial. There are between one and the relative degree many choices, with equality for a separable extension.