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.

Articles by others on the same topic (0)

There are currently no matching articles.