fixed commutative ring ''i'' ideal defined analogy classical zariski topology closed sets affine space defined polynomial equations see connection classical picture note set ''s'' polynomials algebraically closed field follows hilbert 's nullstellensatz points ''v'' ''s'' old sense exactly tuples ''a sub sub '' ''a sub n sub '' ''x sub sub '' ''a sub sub '' ''x sub n sub '' ''a sub n sub '' contains ''s'' moreover maximal ideals weak nullstellensatz ideal affine
Formal science Mathematics Pure mathematics Algebra Commutative algebra