Related papers: Krull dimension and Monomial Orders

We present constructive versions of Krull's dimension theory for commutative rings and distributive lattices. The foundations of these constructive versions are due to Joyal, Espa\~nol and the authors. We show that the notion of Krull…

This note is concerned with the Rouquier dimension of the bounded derived category of coherent complexes on a Noetherian algebraic stack. Specifically, we study the diagonal dimension of a morphism, which can be used to produce upper bounds…

Let $R$ be a normal Noetherian local domain of Krull dimension two. We examine intersections of rank one discrete valuation rings that birationally dominate $R$. We restrict to the class of prime divisors that dominate $R$ and show that if…

This is the first paper in a sequence on Krull dimension for limit groups, answering a question of Z. Sela. In this paper we show that strict resolutions of a fixed limit group have uniformly bounded length. The upper bound plays two roles…

We prove that cellular Noetherian algebras with finite global dimension are split quasi-hereditary over a regular commutative Noetherian ring with finite Krull dimension and their quasi-hereditary structure is unique, up to equivalence. In…

Let R be a commutative noetherian ring. We prove that if R is either an equidimensional finitely generated algebra over a perfect field, or an equidimensional equicharacteristic complete local ring with a perfect residue field, then the…

In classical mathematics, Gulliksen has introduced the length of Noetherian modules, and Brookfield has determined the length of Noetherian polynomial rings. Brookfield's result can be regarded as a quantitative version of Hilbert's basis…

In this paper, we study Noetherian local rings $R$ having a finite number of trace ideals. We proved that such rings are of dimension at most two. Furthermore, if the integral closure of $R/H$, where $H$ is the zeroth local cohomology, is…

The existence of a maximal ideal in a general nontrivial commutative ring is tied together with the axiom of choice. Following Berardi, Valentini and thus Krivine but using the relative interpretation of negation (that is, as "implies 0 =…

We consider a large class of monomial maps respecting an action of the infinite symmetric group, and prove that the toric ideals arising as their kernels are finitely generated up to symmetry. Our class includes many important examples…

This article aims to study some $n$-tuples of elements belonging to a ring $\mathbb{Z}/N\mathbb{Z}$ related to the combinatorics of congruence subgroups of the modular group. More precisely, we will focus here on the notion of minimal…

It is proved that if $D$ is a $UFD$ and $R$ is a $D$-algebra, such that $U(R)\cap D\neq U(D)$, then $R$ has a maximal subring. In particular, if $R$ is a ring which either contains a unit $x$ which is not algebraic over the prime subring of…

We say that a commutative ring R satisfies the restricted minimum (RM) condition if for all essential ideals I in R, factor R/I is an Artinian ring. We will focus on Noetherian reduced rings because in this setting known results for RM…

Cohen proved that the infinite variable polynomial ring $R=k[x_1,x_2,\ldots]$ is noetherian with respect to the action of the infinite symmetric group $\mathfrak{S}$. The first two authors began a program to understand the…

Let $ X $ be an $ m \times n $ matrix of distinct indeterminates over a field $ K $, where $ m \le n $. Set the polynomial ring $ K[X] := K[X_{ij} : 1 \le i \le m, 1 \le j \le n] $. Let $ 1 \le k < l \le n $ be such that $ l - k + 1 \ge m…

Let $H$ be a Krull monoid with finite class group $G$. Then every non-unit $a \in H$ can be written as a finite product of atoms, say $a=u_1 \cdot \ldots \cdot u_k$. The set $\mathsf L (a)$ of all possible factorization lengths $k$ is…

We examine local cohomology in the setting of valuation rings. The novelty of this investigation stems from the fact that valuation rings are usually non-Noetherian, whereas local cohomology has been extensively developed mostly in a…

The divisor sequence of an irreducible element (\textit{atom}) $a$ of a reduced monoid $H$ is the sequence $(s_n)_{n\in \mathbb{N}}$ where, for each positive integer $n$, $s_n$ denotes the number of distinct irreducible divisors of $a^n$.…

We introduce a new class of commutative {non-noetherian} rings, called $n$-subperfect rings, generalizing the almost perfect rings that have been studied recently by Fuchs-Salce. For an integer $n \ge 0$, the ring $R$ is $n$-subperfect if…

Let $\mathcal{O}_E$ be a complete discrete valuation ring and $R$ be a perfect ring in characteristic $p$, we also assume $R$ is a complete valuation ring whose valuation group is of rank one and non-discrete, we prove the Krull dimension…