Kommutative Algebra/R/Algebraische Relation/Definition

Algebraische Relation

Es sei ${}R$ ein kommutativer Ring, ${}A$ eine kommutative ${}R$-Algebra und ${}f_{1},\ldots ,f_{n}\in A$ Elemente. Ein Polynom ${}P\in R[X_{1},\ldots ,X_{n}]$ mit ${}P(f_{1},\ldots ,f_{n})=0$ heißt Relation (oder algebraische Relation) für die Elemente.