?? affine toric variety ... ???assume zariski tangent space at "origin" is "expected" dimension ... ?? is it true and / or easy to prove that this implies that the whole commutative monoid is completely vanilla ?? ....

?? ideal generated by non-identity elements ... ?? square of that ideal ... complement of the square in the original .... ?? "normal"-ness ...