[math-fun] commutative algebra question, sort of from algebraic geometry