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