Maximal ideals in the ring of regulous functions are not finitely generated

Abstract

The paper consider regulous functions on the real affine space ${\mathbb{R}}^N$. We shall study some algebraic properties of the ring of those functions. It is presented a proof of the regulous version of Nullstellensatz based on the substitution property and the Artin-Lang property for the considered function ring. We prove that every maximal ideal in the ring of regulous functions on ${\mathbb{R}}^N$ when $N\ge 2$ is not finitely generated. Finally, we extend the latter result to an arbitrary, smooth, real affine algebraic variety of dimension $d\ge 2$.

Some improvements made