Algebraically independent elements (source code)

= Algebraically independent elements

Elements $x_1,\ldots,x_n$ of a field extension of $K$ are algebraically independent over $K$ when no nonzero polynomial in $K[X_1,\ldots,X_n]$ vanishes at $(x_1,\ldots,x_n)$.