Algebraische Menge

In der Mathematik, genauer in der Algebraischen Geometrie, ist eine algebraische Menge ein Gebilde in der Ebene, im Raum, oder allgemeiner im ${\displaystyle n}$-dimensionalen Raum, die durch eine oder mehrere Polynomgleichungen gegeben ist. Das heißt, eine algebraische Menge ist die Lösungsmenge eines Systems von Polynomgleichungen.

Im dreidimensionalen Raum zum Beispiel ist der Kreis in der Ebene ${\displaystyle z=1}$ mit Mittelpunkt ${\displaystyle (0,0,1)}$ und Radius 2 eine algebraische Menge, denn es handelt sich um die Lösungsmenge der beiden Gleichungen ${\displaystyle x^{2}+y^{2}=4}$ und ${\displaystyle z=1}$.

In älteren Quellen und auch in einigen modernen Einführungen werden algebraische Mengen auch Varietäten genannt. Nach dem modernen Gebrauch aber gelten nur die irreduziblen algebraischen Mengen als Varietäten.