#scheme theory #schemes #abstract algebra #commutative algebra #spec #local rings #grothendieck topology