says ''i'' ''v'' ''s'' radical ideal generated ''s'' abstract language galois connection giving rise two closure operators identified naturally play basic role theory example elaborated galois connection various reasons may always want work entire ideal corresponding algebraic set ''u'' hilbert 's basis theorem implies ideals ''k'' '''a''' sup ''n'' sup always finitely generated algebraic set called ''irreducible'' cannot written union two smaller algebraic sets
Formal science Mathematics Pure mathematics Geometry Algebraic geometry