Algebraic Variety

An algebraic variety is the geometric object defined by the solution set of a system of polynomial equations over a field. Varieties are the central subject of algebraic geometry, and their study connects algebra (the equations), geometry (the shapes of solution sets), and number theory (rational points and arithmetic properties).

The correspondence between varieties and ideals — codified by Hilbert's Nullstellensatz — is the bridge that lets geometric intuition guide algebraic proof and algebraic machinery solve geometric problems. Modern algebraic geometry generalizes varieties to schemes, but the basic intuition remains: a variety is the shape carved out by polynomial constraints, and its singularities, dimension, and topology encode deep structural information.