Linear independence of distinct field embeddings
ID: linear-independence-of-distinct-field-embeddings
Distinct field embeddings are linearly independent over as functions on . Thus a nontrivial linear combination cannot vanish on every element of .
For the proof, choose a vanishing relation with the fewest nonzero coefficients and normalize one coefficient to one. If , choose with . Evaluating at and subtracting times the relation evaluated at eliminates its th term but leaves a nonzero first coefficient, contradicting minimality.
New to topics? Read the docs here!