Constructions over localizations of rings

Abstract

In this paper we construct a category of effective noetherian rings in which linear equations can be “solved”. This category is closed with respect to some important constructions like trascendental extensions, quotientations, finite products and localizations with respect to a large class of multiplicatively closed systems. Hence it gives a definition of “constructive” rings.