Related papers: Commutative rings in which every finitely generate…
Over Cohen--Macaulay rings admitting a pointwise dualizing module, we show that the class of modules of restricted projective dimension bounded by any integer is finitely deconstructible and that the class of modules of restricted flat…
One of the main results of this paper is the characterization of the rings over which all modules are strongly Gorenstein projective. We show that these kinds of rings are very particular cases of the well-known quasi-Frobenius rings. We…
Many classical ring-theoretic results state that an ideal that is maximal with respect to satisfying a special property must be prime. We present a "Prime Ideal Principle" that gives a uniform method of proving such facts, generalizing the…
We consider flat epimorphisms of commutative rings $R\to U$ such that, for every ideal $I\subset R$ for which $IU=U$, the quotient ring $R/I$ is semilocal of Krull dimension zero. Under these assumptions, we show that the projective…
We introduce the notion of a naive global 2-ring: a functor from the opposite of the $\infty$-category of global spaces to presentably symmetric monoidal stable $\infty$-categories. By passing to global sections, every naive global 2-ring…
This paper investigates situations where a property of a ring can be tested on a set of "prime right ideals." Generalizing theorems of Cohen and Kaplansky, we show that every right ideal of a ring is finitely generated (resp. principal) iff…
A notion of partial ideal for an operator algebra is a weakening the notion of ideal where the defining algebraic conditions are enforced only in the commutative subalgebras. We show that, in a von Neumann algebra, the ultraweakly closed…
The notion of quasi-elliptic rings appeared as a result of an attempt to classify a wide class of commutative rings of operators found in the theory of integrable systems, such as rings of commuting differential, difference,…
From a system consisting of a right non-degenerate ring $R$, a pair of $R$-bimodules $Q$ and $P$ and an $R$-bimodule homomorphism $\psi:P\otimes Q\longrightarrow R$ we construct a $\Z$-graded ring $\mathcal{T}_{(P,Q,\psi)}$ called the…
Let R be a commutative ring with identity and S a multiplicative subset of R. The aim of this paper is to study the class of commutative rings in which every S-flat module is flat (resp., projective). An R-module M is said to be S-flat if…
Given a commutative ring R (respectively a positively graded commutative ring $A=\ps_{j\geq 0}A_j$ which is finitely generated as an A_0-algebra), a bijection between the torsion classes of finite type in Mod R (respectively tensor torsion…
Idealization of a module $K$ over a commutative ring $S$ produces a ring having $K$ as an ideal, all of whose elements are nilpotent. We develop a method that under suitable field-theoretic conditions produces from an $S$-module $K$ and…
Let $R$ be a commutative ring, $Y\subseteq \mathrm{Spec}(R)$ and $ h_Y(S)=\{P\in Y:S\subseteq P \}$, for every $S\subseteq R$. An ideal $I$ is said to be an $\mathcal{H}_Y$-ideal whenever it follows from $h_Y(a)\subseteq h_Y(b)$ and $a\in…
It is well-known that within Zermelo-Fraenkel set theory (ZF), the Axiom of Choice (AC) implies the Maximal Ideal Theorem (MIT), namely that every nontrivial commutative ring has a maximal ideal. The converse implication MIT $\Rightarrow$…
Let $\hat{R}$ be the $I$-adic completion of a commutative ring $R$ with respect to a finitely generated ideal $I$. We give a necessary and sufficient criterion for the category of perfect complexes over $\hat{R}$ to be equivalent to the…
For a commutative ring $A$, we have the category of (bounded-below) chain complexes of $A$-modules $Ch_{+}(A\mymod)$, a closed symmetric monoidal category with a compatible stable Quillen model structure. The associated homotopy category is…
A theorem of Cohen from 1950 states that a commutative ring is Noetherian if and only if every prime ideal is finitely generated. In this note, we establish analogues of this result in tensor triangular geometry. In particular, for an…
With a grading previously introduced by the second-named author, the multiplication maps in the preprojective algebra satisfy a maximal rank property that is similar to the maximal rank property proven by Hochster and Laksov for the…
Let $R$ be a commutative ring with the unit element. It is shown that an ideal $I$ in $R$ is pure if and only if Ann$(f)+I=R$ for all $f\in I$. If $J$ is the trace of a projective $R$-module $M$, we prove that $J$ is generated by the…
Let R be a commutative ring with identity and M be an R-module. A proper ideal I of R is said to be a $z^\circ$-ideal if for each $a \in I$ the intersection of all minimal prime ideals containing a is contained in I. The purpose of this…