English

Localization in Associative Rings

Algebraic Geometry 2025-11-12 v1

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 \catRings\cat{Rings} of associative rings with unit has a certain set of basepoints for which localizing rings exist. We take the set of base points BB to be the set of rings on the form \enmZ(M)\enm_{\mathbb Z}(M) where MM is a simple right AA-module for some associative ring A.A. The set of base-points in the associative ring AA is defined as \ptsB(A)={\mor\catRings(A,\enmZ(M))}.\pts_B(A)=\{\mor_{\cat{Rings}}(A,\enm_{\mathbb Z}(M))\}. For any finite subset M\ptsB(A)M\subseteq\pts_B(A) we prove that the localizing ring AMA_M exists. and so the construction from arXiv:2511.04191 gives a definition of schemes of associative algebras. Defining a topology on \ptsB(A)\pts_B(A) such that when AA 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.

Keywords

Cite

@article{arxiv.2511.07900,
  title  = {Localization in Associative Rings},
  author = {Arvid Siqveland},
  journal= {arXiv preprint arXiv:2511.07900},
  year   = {2025}
}
R2 v1 2026-07-01T07:31:22.631Z