Let be a field extension of a field. Two elements
of are algebraically dependent if there exists a non-zero polynomial such that
. If no such polynomial exists, and are said to be algebraically independent.
More generally, elements
are said to be algebraically dependent if there exists a non-zero polynomial
such that
. If no such polynomial exists, the collection of 's are said to be algebraically independent.