Approximate Algebra via Closure Operators: An Axiomatic Theory of Modules and Geometry
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910171058405376 |
|---|---|
| author | Phuc, Dang Vo |
| author_facet | Phuc, Dang Vo |
| contents | Building on the work of İnan and of Almahariq--Peters--Vergili, we develop an axiomatic framework for approximate algebra based on an algebra-compatible closure operator $Φ^{\!*}$ on a unital ring. The operator is assumed to be extensive, monotone, idempotent, compatible with addition, and balanced with respect to left and right multiplication, while absorption is imposed only in the definition of approximate ideals. The first structural result is that the closure of every approximate ideal is an ordinary two-sided ideal, so that the approximate quotient $R/\!I$ is canonically the ordinary quotient $R/Φ^{\!*}(I)$. The decisive prime-theoretic result is that every approximate prime ideal in a unital ring is automatically $Φ^{\!*}$-closed. Consequently, for a commutative ring with unity, $\mathrm{Spec}_{\!Φ}(R)=\{P\in\mathrm{Spec}(R):Φ^{\!*}(P)=P\},$ and the approximate Zariski topology is exactly the subspace topology induced from the classical spectrum on this fixed-prime locus. We also develop a compatible module theory, distinguish carefully between classical quotients and approximate quotients, and prove a first isomorphism theorem for the induced homomorphism modulo $Φ^{\!*}_{M'}(0)$, together with an approximate quotient version under a closed-kernel hypothesis. For ideal-translation closures $Φ^{\!*}(A)=A+J$, the spectrum is $V(J)\cong\mathrm{Spec}(R/J)$; in particular, the modular closure $A\mapsto A+m\mathbb Z$ yields the finite discrete space of prime divisors of $m$. Finally, over an algebraically closed field, we prove $\mathrm{rad}_{\!Φ}(I)=\sqrt{Φ^{\!*}(I)}$, show that the evaluation--separation implication is automatic from the classical Hilbert Nullstellensatz, and establish that point-ideal closedness is equivalent to the exact identity $\mathrm{rad}_{\!Φ}(I)=\mathrm I(V(I))$ for all ideals. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2509_25212 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Approximate Algebra via Closure Operators: An Axiomatic Theory of Modules and Geometry Phuc, Dang Vo Commutative Algebra Algebraic Geometry Algebraic Topology Rings and Algebras Primary 13A15, Secondary 54E05, 13C99 Building on the work of İnan and of Almahariq--Peters--Vergili, we develop an axiomatic framework for approximate algebra based on an algebra-compatible closure operator $Φ^{\!*}$ on a unital ring. The operator is assumed to be extensive, monotone, idempotent, compatible with addition, and balanced with respect to left and right multiplication, while absorption is imposed only in the definition of approximate ideals. The first structural result is that the closure of every approximate ideal is an ordinary two-sided ideal, so that the approximate quotient $R/\!I$ is canonically the ordinary quotient $R/Φ^{\!*}(I)$. The decisive prime-theoretic result is that every approximate prime ideal in a unital ring is automatically $Φ^{\!*}$-closed. Consequently, for a commutative ring with unity, $\mathrm{Spec}_{\!Φ}(R)=\{P\in\mathrm{Spec}(R):Φ^{\!*}(P)=P\},$ and the approximate Zariski topology is exactly the subspace topology induced from the classical spectrum on this fixed-prime locus. We also develop a compatible module theory, distinguish carefully between classical quotients and approximate quotients, and prove a first isomorphism theorem for the induced homomorphism modulo $Φ^{\!*}_{M'}(0)$, together with an approximate quotient version under a closed-kernel hypothesis. For ideal-translation closures $Φ^{\!*}(A)=A+J$, the spectrum is $V(J)\cong\mathrm{Spec}(R/J)$; in particular, the modular closure $A\mapsto A+m\mathbb Z$ yields the finite discrete space of prime divisors of $m$. Finally, over an algebraically closed field, we prove $\mathrm{rad}_{\!Φ}(I)=\sqrt{Φ^{\!*}(I)}$, show that the evaluation--separation implication is automatic from the classical Hilbert Nullstellensatz, and establish that point-ideal closedness is equivalent to the exact identity $\mathrm{rad}_{\!Φ}(I)=\mathrm I(V(I))$ for all ideals. |
| title | Approximate Algebra via Closure Operators: An Axiomatic Theory of Modules and Geometry |
| topic | Commutative Algebra Algebraic Geometry Algebraic Topology Rings and Algebras Primary 13A15, Secondary 54E05, 13C99 |
| url | https://arxiv.org/abs/2509.25212 |