Algebraic set¶

A set of points defined as the simultaneous zero locus of a family of polynomial equations, without an irreducibility requirement.

Version: v1 · 2026-09-28 · History
Domain-specific #: 7920
Domain group: Formal Sciences
Origin domain: Mathematics
Subdomain: Algebraic Geometry → Mathematics

Core Idea¶

An algebraic set is a geometric solution set: choose an affine space over a field and a family of polynomial functions, then retain precisely the points at which every polynomial in the family is zero. Projective algebraic sets use the same construction in projective space with homogeneous polynomials. The defining relation is simultaneous vanishing, not merely that polynomial expressions happen to occur in a description.

Terminology matters. Under a common convention, an algebraic variety is an irreducible algebraic set, whereas an algebraic set may split into several irreducible components. Other authors use “variety” without the irreducibility restriction. This entry therefore treats algebraic set as the convention-stable broader identity and records irreducibility as an optional narrowing condition.

The zero-locus presentation is paired with an algebraic representation. Polynomials vanishing on the set form an ideal, and quotienting the ambient polynomial ring by that ideal gives the coordinate ring. Hilbert’s Nullstellensatz makes this passage between geometry and ideals especially strong over algebraically closed fields.

How would you explain it like I'm…

Everywhere All Rules Say Zero

Imagine you have a few equation rules, and you check every spot on a grid. You keep only the spots where all the rules come out exactly zero at the same time. The spots you kept make an algebraic set. It might be one curvy line, a few separate pieces, or just a few dots.

Where All Equations Hit Zero

An algebraic set is the collection of all points where a group of polynomial equations are all equal to zero at the same time. For example, x² + y² − 1 = 0 gives a circle, and adding the equation y = 0 cuts that down to just two points. A set counts as algebraic because of this 'all of them vanish together' rule, not just because some equation shows up somewhere in its description. An algebraic set can come in several separate pieces. Some mathematicians call a single unbreakable piece a 'variety,' while others use 'variety' more loosely.

Common Zero Set of Polynomials

An algebraic set is the set of points in an affine space over a field where every polynomial in a chosen family equals zero simultaneously. The key idea is simultaneous vanishing: it is the common solution set, not just any set whose description happens to involve polynomials. In projective space, the same construction uses homogeneous polynomials. An algebraic set can break into several irreducible components; under one common convention, a variety is an irreducible algebraic set, though other authors use 'variety' without that restriction, which is why 'algebraic set' is the safer broader term. The set also has an algebraic side: the polynomials that vanish on it form an ideal, and dividing the polynomial ring by that ideal gives the coordinate ring. Over algebraically closed fields, Hilbert's Nullstellensatz makes this correspondence between geometry and ideals especially tight.

An algebraic set is a zero locus: given an affine space over a field and a family of polynomials, it consists of exactly the points where every polynomial in the family vanishes. Projective algebraic sets are defined analogously in projective space using homogeneous polynomials. The defining relation is simultaneous vanishing, so a set whose description merely involves polynomial expressions is not thereby algebraic. Under one common convention an algebraic variety is an irreducible algebraic set, while an algebraic set may decompose into several irreducible components; other authors drop irreducibility from 'variety', so algebraic set is the convention-stable broader notion and irreducibility an optional narrowing. The zero-locus presentation pairs with an algebraic one: the polynomials vanishing on the set form an ideal I, and the quotient of the polynomial ring by I is the coordinate ring. Over algebraically closed fields, Hilbert's Nullstellensatz makes the passage between algebraic sets and (radical) ideals especially strong.

Structural Signature¶

Sig role-phrases:

Ambient space. Supplies the affine or projective points over a field in which solutions are sought. Constitutive: without an ambient space there is no typed solution locus. If altered: Changing the ambient field or space can change the point set even when the displayed equations are unchanged.
Polynomial family. States the algebraic constraints whose simultaneous satisfaction defines the set. Constitutive: the family provides the defining equations. If altered: Replacing polynomials with arbitrary predicates yields a general definable set, not specifically an algebraic set.
Common zero locus. Collects exactly those ambient points at which all defining polynomials vanish. Identity-bearing: this relation between equations and points is the object’s core. If altered: Allowing points that violate even one defining equation destroys membership in the specified zero locus.
Algebraic-set structure. Supports Zariski closure and the passage from vanishing ideals to coordinate rings. Consequential but diagnostic: it connects the geometric locus to its algebraic representation. If altered: Ignoring the vanishing ideal loses the standard algebra–geometry correspondence but not the raw point set itself.

What It Is Not¶

Not every subset of a coordinate space. Coordinates alone do not make a subset algebraic; one must exhibit polynomial equations whose common zeros are exactly the subset.
Not necessarily irreducible. A reducible zero locus remains an algebraic set even when a convention withholds the word variety from it.
Not a single equation requirement. A finite or infinite family of equations may define the same zero locus; the invariant is simultaneous vanishing, not the chosen presentation.
Not a differentiable manifold. An algebraic set may have singularities or multiple components, so manifold regularity is neither necessary nor sufficient.

Scope of Application¶

The abstraction is literal where polynomial equations cut out a locus in an algebraic-geometric ambient space.

Affine algebraic geometry. Sets of common zeros in affine space are the basic closed sets of the Zariski topology.
Projective algebraic geometry. Homogeneous equations define projective algebraic sets because vanishing is invariant under rescaling homogeneous coordinates.
Ideal–geometry correspondence. Vanishing ideals and coordinate rings translate geometric questions about a locus into commutative algebra.
Decomposition. Reducible sets can be studied through irreducible components without changing the identity of their union as an algebraic set.

Clarity¶

To identify an algebraic set, name the base field and ambient affine or projective space, state the defining polynomial family or vanishing ideal, and specify the convention being used for ‘variety.’ The decisive membership test is whether every defining polynomial evaluates to zero. Irreducibility, dimension, smoothness, and a particular generating family are additional properties, not substitutes for that test.

Manages Complexity¶

The abstraction compresses many equations and potentially complicated geometry into one locus. Different generating families can have the same vanishing set, and the vanishing ideal and coordinate ring provide presentation-resistant handles on it. Decomposition into irreducible components then exposes internal structure without confusing the whole locus with any one component.

Abstract Reasoning¶

Fix a field and an affine or projective ambient space; projective definitions require homogeneous equations.
Form the common zero locus of the proposed polynomial family and test equality with the candidate set in both directions.
Compute or characterize the ideal of all polynomials vanishing on the locus, distinguishing it from one convenient list of generators.
Check reducibility separately: failure of irreducibility may block the narrower label ‘variety’ under one convention but does not block ‘algebraic set.’
Use the coordinate ring or irreducible decomposition to compare presentations while preserving the same geometric carrier.

Knowledge Transfer¶

Within algebraic geometry, the zero-locus/vanishing-ideal duality transfers across affine and projective settings with the appropriate coordinate conventions. Outside that setting, phrases such as a ‘solution space’ or ‘constraint surface’ are only analogies unless the constraints are polynomial and the ambient algebraic structure is specified. The portable reasoning pattern is exact constraint-defined membership; the specialist name remains tied to polynomial vanishing.

Examples¶

Canonical¶

In affine three-space, the twisted cubic can be presented by polynomial equations such as y−x²=0 and z−x³=0; its points are exactly the simultaneous zeros.

Mapped back: ambient space → affine three-space; polynomial family → y−x² and z−x³; common zero locus → the twisted cubic; algebraic structure → its vanishing ideal and coordinate ring.

Applied / In Practice¶

The union of the two coordinate axes in the affine plane is cut out by xy=0. It is an algebraic set but is reducible into the loci x=0 and y=0.

Mapped back: ambient space → the affine plane; polynomial family → xy; common zero locus → both coordinate axes; algebraic structure → a reducible closed set.

Structural Tensions¶

T1: equational presentation vs. geometric invariant. Many polynomial families can define the same locus, so convenient equations must not be mistaken for the object itself. Diagnostic: Do two presentations have the same radical vanishing ideal and hence the same point set?

T2: reducibility vs. variety terminology. Authorial conventions disagree about whether a reducible algebraic set may be called a variety. Diagnostic: Has the convention been stated before inferences use the word ‘variety’?

T3: affine coordinates vs. projective invariance. Affine evaluation is direct, whereas projective vanishing must survive coordinate rescaling and therefore uses homogeneous polynomials. Diagnostic: Are the equations appropriate to the chosen ambient geometry?

Structural–Framed Character¶

Algebraic set is strongly structural within algebraic geometry: its identity is fixed by a typed relation among an ambient space, polynomial constraints, and their common zero locus. Evaluative weight: none is required; the label is descriptive. Human-practice-bound: the mathematical definitions and conventions are stipulated, but consequences follow formally once fixed. Institutional origin: algebraic geometry stabilizes the relevant fields, coordinate spaces, and terminology. Vocabulary travels: ‘zero locus’ and ‘vanishing ideal’ travel across algebraic-geometric subfields. Import versus recognize: other fields may import polynomial models, but a merely constraint-defined set should not be relabeled algebraic without the polynomial structure. Its character: a formal object whose thin structural schema is portable only with its algebraic typing intact.

Structural Core vs. Domain Accent¶

Skeletal core. A collection of constraints selects exactly the carriers satisfying all of them, and alternative presentations can determine the same selected class.

Domain-bound accent. The constraints are polynomials over a field, satisfaction is vanishing, affine and projective spaces provide the carriers, and Zariski topology, vanishing ideals, and coordinate rings supply the operative consequences.

Why not prime. Stripped of polynomials, fields, and zero loci, the residue is only generic constraint satisfaction or set definition. Those wider patterns do not preserve the specialist algebra–geometry correspondence that makes an algebraic set what it is.

This entry is a kind of Set and Membership.

Constraint. A polynomial equation restricts admissible points, but an algebraic set is the resulting common zero locus rather than the constraint in isolation.
Intersection. Simultaneous vanishing intersects individual zero loci; intersection is an operation used in the construction, not the full identity.
Decomposition. Irreducible-component analysis decomposes an algebraic set while preserving its union.
The node remains approved without a DAG parent pending a typed mathematical-object hierarchy.

Relationships to Other Abstractions¶

Current abstraction Algebraic set Domain-specific

Parents (1) — more general patterns this builds on

Algebraic set is a kind of Set and Membership Prime

An algebraic set is a set whose membership is defined by polynomial vanishing. The live eta-alpha Set endpoint is unrelated.

Hierarchy path (1) — routes to 1 parentless root

Algebraic set → Set and Membership

Neighborhood in Abstraction Space¶

Algebraic set sits in a sparse region of the domain-specific corpus (64^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Formal Models & Logical Foundations (33 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-08

Not to Be Confused With¶

Algebraic variety. Tell: Ask whether irreducibility is required by the active convention; algebraic set does not require it.
Semialgebraic set. Tell: Semialgebraic definitions may use polynomial inequalities as well as equalities; algebraic sets are equality-defined zero loci.
Differentiable manifold. Tell: Manifolds require local Euclidean regularity, whereas algebraic sets can be singular or reducible.
A chosen equation list. Tell: Different lists may define the same set; compare their common zero locus or radical ideal.

References¶

Frozen Wikipedia discovery revision: https://en.wikipedia.org/wiki/Algebraic_variety (revision 1354039696).
Preserved source candidate: http://archive.numdam.org/article/PMIHES_1969__36__75_0.pdf
Preserved source candidate: http://www.uni-due.de/~mat903/sem/ss08/ash_mumford_rapoport_tai_Compactifications.pdf
Preserved source candidate: https://www.college-de-france.fr/media/jean-pierre-serre/UPL5435398796951750634_Serre_FAC.pdf
Preserved source candidate: http://www.jmilne.org/math/CourseNotes/ag.html
Preserved source candidate: https://www.jmilne.org/math/xnotes/JVs.pdf
Preserved source candidate: http://pi.lib.uchicago.edu/1001/cat/bib/11217270

The frozen Wikipedia revision is discovery provenance. The retained source set was reviewed for identity, formal or operational relation, and scope. The encyclopedia's structural synthesis is bounded to those claims; a thin authority surface is recorded as a nonblocking source-strengthening repair rather than concealed.