Localization in Associative Rings
Abstract
In arXiv:2511.04191 we constructed schemes of objects in small categories which contained a set of basepoints with local representing (localizing) objects. Here we prove that the category of associative rings with unit has a certain set of basepoints for which localizing rings exist. We take the set of base points to be the set of rings on the form where is a simple right -module for some associative ring The set of base-points in the associative ring is defined as For any finite subset we prove that the localizing ring exists. and so the construction from arXiv:2511.04191 gives a definition of schemes of associative algebras. Defining a topology on such that when is commutative it is the Zariski topology, we get the ordinary definition of schemes when we consider the category of commutative rings. This article is in line with the philosophy that a scheme is a moduli of its base-points.
Cite
@article{arxiv.2511.07900,
title = {Localization in Associative Rings},
author = {Arvid Siqveland},
journal= {arXiv preprint arXiv:2511.07900},
year = {2025}
}