Monomial curve with exponents three, four and five

ID: monomial-curve-with-exponents-three-four-and-five

The kernel of , , is generated by , , . Reducing these three relations leaves a unique normal form : its images have distinct exponents modulo three. The curve ring is therefore finite free of rank three over and has dimension one. In a three-variable polynomial ring its ideal has height two, but its three independent quadratic initial forms force at least three generators. This is a concrete failure of generation by codimension many equations.

New to topics? Read the docs here!