Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2609.23351

The Coproduct of Ideals and the Coprime Spectrum

Frank Murphy-Hernandez·Eduardo Leon-Rodriguez
View original source ↗Read source document ↗Export metadata ↓

Abstract

We introduce the coproduct of ideals and the notion of coprime ideal, extending the Heyting-algebra perspective on ideal lattices to arbitrary commutative rings. The resulting coprime spectrum is a topological space, defines a covariant functor on CF-morphisms of commutative rings, i.e. morphisms that extend ideals and are coprime faithful, classifies fields among integral domains, and in dual rings is homeomorphic to the prime spectrum. This offers an elementary, lattice-theoretic counterpart to the geometric study of nilpotents.

Explore related subjects

math.ACmath.RA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Frank Murphy-Hernandez, Eduardo Leon-Rodriguez. 2026-10-05. The Coproduct of Ideals and the Coprime Spectrum. https://arxiv.org/abs/2609.23351

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

On the vertex connectivity of weakly zero-divisor graph of commutative rings

The weakly zero-divisor graph $WΓ(R)$ of a commutative ring $R$ is the simple undirected graph whose vertices are nonzero zero-divisors of $R$, and two distinct vertices $x$, $y$ are adjacent if and only if there exists $w\in {\rm ann}(x)$ and $ z\in {\rm ann}(y)$ such that $wz =0$. In this paper, first we prove that the vertex connectivity of $WΓ(R)$ is equal to its minimum degree, where $R$ is either an Artinian ring or reduced ring. For any finite ring $R$, we obtain the vertex connectivity of $WΓ(R)$. Moreover, this paper characterizes all the vertices that attain the minimum degree of $WΓ(R)$.

math.AC↗
arXiv2026

Weak and Serre Lifting of Cyclic Modules and the Liftability of Auslander Transposes

Let $Q$ be a local ring, $f$ a nonzerodivisor, and $R=Q/(f)$. We characterize weak and Serre liftability of cyclic $R$-modules under suitable hypotheses, obtaining complete-intersection criteria for Serre liftability in small height. We prove that the tensor product of two weakly liftable cyclic modules remains weakly liftable when their first Tor module vanishes, and give sufficient conditions for tensor products to preserve Serre liftability. We construct an Artinian Gorenstein quotient $Q/I$, with $Q$ regular, that is perfect over $R$ and Serre liftable but not weakly liftable to $Q$, showing that the negative answer to a question of Jorgensen persists in this more restrictive setting. Finally, we characterize when a lift induces a lift of the Auslander transpose and obtain a freeness criterion related to the Auslander-Reiten conjecture, recovering a theorem of Ghosh and Samanta.

math.AC↗
arXiv2026

Asymptotic Castelnuovo-Mumford regularity of (co)homology modules involving powers of ideals

Let \(R\) be a Noetherian standard $\mathbb{N}$-graded ring, and let \(I_1,\ldots,I_r\) be homogeneous ideals of \(R\). Let $L,M$, and $N$ be finitely generated $\mathbb{Z}$-graded \(R\)-modules with \(N\subseteq M\). For \(\underline{n} :=(n_1,\dots,n_r)\in\mathbb N^r\), set \({\bf I}^{\underline{n}}:=I_1^{n_1}\cdots I_r^{n_r}\). We study the asymptotic behaviour of the (Castelnuovo-Mumford) regularity of two families of Ext and Tor modules: those obtained from the quotients ${\bf I}^{\underline{n}}M/{\bf I}^{\underline{n}}N$, and those obtained from the quotients \(M/{\bf I}^{\underline{n}}N\), with \(L\) as the first argument in both the families. For each fixed homological degree, we prove that the regularity of the former family is eventually given by the supremum of finitely many linear functions of $\underline{n}$, where the coefficient of \(n_i\) belongs to the set of degrees of generators of \(I_i\). For the second family, when at least one of the ideals \(I_i\) is generated by homogeneous elements of positive degree, we establish, under suitable conditions, a dichotomy: the regularity is either eventually equal to the regularity of the Ext or Tor module of $(L,M)$, or exhibits the same asymptotic behaviour as in the first family. These results follow from a theorem describing the asymptotic behaviour of the regularity of \((U+{\bf I}^{\underline{n}}V)/{\bf I}^{\underline{n}}W\), under suitable conditions, where \(U\), \(V\), and \(W\) are graded submodules of a finitely generated graded \(R\)-module with \(W\subseteq V\).

math.AC↗