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)$.