# Dedekind-theorem(2)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

on linear independence of field homomorphisms, Dedekind lemma

Any set of field homomorphisms of a field $E$ into another field $F$ is linearly independent over $F$ (see also Homomorphism; Linear independence). I.e., if $\sigma _ { 1 } , \ldots , \sigma _ { t }$ are distinct homomorphisms $E \rightarrow F$, then for all $a _ { 1 } , \dots , a _ { t }$ in $F$, not all zero, there is an $u \in E$ such that

\begin{equation*} a _ { 1 } \sigma _ { 1 } ( u ) + \ldots + a _ { t } \sigma _ { t } ( u ) \neq 0. \end{equation*}

An immediate consequence is a basic estimate in Galois theory: If $E$, $F$ are field extensions of a field $K$ and the degree $[ E : K ]$ of $E$ over $K$ is $n$ (cf. Extension of a field), than there are at most $n$ $K$-homomorphisms of fields $E \rightarrow F$.

#### References

 [a1] P.M. Cohn, "Algebra" , 2 , Wiley (1989) pp. 81 (Edition: Second) [a2] K.-H. Sprindler, "Abstract algebra with applications" , 2 , M. Dekker (1994) pp. 395 [a3] N. Jacobson, "Lectures in abstract algebra: Theory of fields and Galois theory" , 3 , v. Nostrand (1964) pp. Chap. I, §3
How to Cite This Entry:
Dedekind-theorem(2). Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Dedekind-theorem(2)&oldid=50075
This article was adapted from an original article by M. Hazewinkel (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article