Abstract:By an approximate subring of a ring we mean an additively symmetric subset $X$ such that $X\cdot X \cup (X +X)$ is covered by finitely many additive translates of $X$. We prove that each approximate subring $X$ of a ring has a locally compact model, i.e. a ring homomorphism $f \colon \langle X \rangle \to S$ for some locally compact ring $S$ such that $f[X]$ is relatively compact in $S$ and there is a neighborhood $U$ of $0$ in $S$ with $f^{-1}[U] \subseteq 4X + X \cdot 4X$ (where $4X:=X+X+X+X$). This $S$ is obtained as the quotient of the ring $\langle X \rangle$ interpreted in a sufficiently saturated model by its type-definable ring connected component. The above theorem can be seen as a general structural result about approximate subrings: every approximate subring $X$ can be recovered up to additive commensurability as the preimage by a locally compact model $f \colon \langle X \rangle \to S$ of any relatively compact neighborhood of $0$ in $S$. It also leads to more precise structural or even classification results. For example, we deduce that every [definable] approximate subring $X$ of a ring of positive characteristic is additively commensurable with a [definable] subring contained in $4X + X \cdot 4X$. This implies that for any given $K,L \in \mathbb{N}$ there exists $C(K,L)$ such that every $K$-approximate subring $X$ (i.e. $K$ additive translates of $X$ cover $X \cdot X \cup (X+X)$) of a ring of positive characteristic $\leq L$ is additively $C(K,L)$-commensurable with a subring contained in $4X + X \cdot 4X$. We also deduce a classification of finite approximate subrings of rings without zero divisors: for every $K \in \mathbb{N}$ there exists $N(K) \in \mathbb{N}$ such that for every finite $K$-approximate subring $X$ of a ring without zero divisors either $|X| <N(K)$ or $4X + X \cdot 4X$ is a subring which is additively $K^{11}$-commensurable with $X$.

Approximation Theory and Elementary Submodels

Elementary submodels in infinite combinatorics

Dualizations of approximations, $\aleph_1$-projectivity, and Vopěnka's Principles

Separable Bimodules and Approximation

Locally compact models for approximate rings

Dualizations of Approximations, -Projectivity, and Vopěnka's Principles

On Best Approximations from RS –sets in Complex Banach Spaces

Approximate algebraic structure

A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory (Extended Version)

Approximations, ghosts and derived equivalences

Gluing Approximable Triangulated Categories

Closed approximate subgroups: compactness, amenability and approximate lattices

Approximate equivalence relations

Domains via approximation operators

Some remarks on approximation in several complex variables

Relative tilting theory in abelian categories I: Auslander-Buchweitz-Reiten approximations theory in subcategories and cotorsion pairs

The Approximation Operators Within Formal Contexts

On the downward Löwenheim-Skolem Theorem for elementary submodels

Almost mathematics of pointed symmetric monoidal model categories by Smith ideal theory

Approximate cohomology in Banach algebras

Approximations by maximal Cohen-Macaulay modules