Es sei ${\displaystyle {}K}$ ein Körper und ${\displaystyle {}A}$ eine kommutative ${\displaystyle {}K}$-Algebra. Es sei ${\displaystyle {}f\in A}$ ein Element. Dann heißt ${\displaystyle {}f}$ algebraisch über ${\displaystyle {}K}$, wenn es ein von ${\displaystyle {}0}$ verschiedenes Polynom ${\displaystyle {}P\in K[X]}$ mit ${\displaystyle {}P(f)=0}$ gibt.