Related papers: A completion of reduced commutative rings

This is the third in a series of papers highlighting the applications of reduced and coreduced modules. Let $R$ be a commutative unital ring and $I$ be an ideal of $R$. We show in different settings that $I$-reduced (resp. $I$-coreduced)…

We prove conditions ensuring that a Lie ideal or an invariant additive subgroup in a ring contains all additive commutators. A crucial assumption is that the subgroup is fully noncentral, that is, its image in every quotient is noncentral.…

Considering finite extensions K[A] \subseteq K[B] of positive affine semigroup rings over a field K we have developed in [1] an algorithm to decompose K[B] as a direct sum of monomial ideals in K[A]. By computing the regularity of…

Let $G$ be a connected reductive group defined over a finite field $\mathbb{F}_q$ of characteristic $p$, with Deligne--Lusztig dual $G^\ast$. We show that, over $\overline{\mathbb{Z}}[1/pM]$ where $M$ is the product of all bad primes for…

We study the transfer of (co)silting objects in derived categories of module categories via the extension functors induced by a morphism of commutative rings. It is proved that the extension functors preserve (co)silting objects of…

We characterize the absolute retracts in the category of reflexive oriented graphs, that is, antisymmetric reflexive graphs, where morphisms between objects preserve arcs (which may be sent to loops). Here we show, by correcting a much…

Let $G$ be a subgroup of the automorphism group of a commutative ring with identity $T$. Let $R$ be a subring of $T$ such that $R$ is invariant under the action by $G$. We show $R^G\subset T^G$ is a minimal ring extension whenever $R\subset…

The theory of Lambda-rings, in the sense of Grothendieck's Riemann-Roch theory, is an enrichment of the theory of commutative rings. In the same way, we can enrich usual algebraic geometry over the ring Z of integers to produce…

Let $k$ be a perfect field such that for every $n$ there are only finitely many field extensions, up to isomorphism, of $k$ of degree $n$. If $G$ is a reductive algebraic group defined over $k$, whose characteristic is very good for $G$,…

We develop a general ring theory in the o-minimal setting culminating in a description of all the definable rings in an arbitrary o-minimal structure. We show that every definably connected ring with non-trivial multiplication defines an…

Local fields, and fields complete with respect to a discrete valuation, are essential objects in commutative algebra, with applications to number theory and algebraic geometry. We formalize in Lean the basic theory of discretely valued…

We define topologically semiperfect (complete, separated, right linear) topological rings and characterize them by equivalent conditions. We show that the endomorphism ring of a module, endowed with the finite topology, is topologically…

Let $G$ be the universal Chevalley-Demazure group scheme corresponding to a reduced irreducible root system of rank $\geq 2$, and let $R$ be a commutative ring. We analyze the linear representations $\rho \colon G(R)^+ \to GL_n (K)$ over an…

Using the tools of reverse mathematics in second-order arithmetic, as developed by Friedman, Simpson, and others, we determine the axioms necessary to develop various topics in commutative ring theory. Our main contributions to the field…

The Ehresmann-Schein-Nambooripad theorem gives a structure theorem for inverse monoids: they are inductive groupoids. A particularly nice case due to Jarek is that commutative inverse monoids become semilattices of abelian groups. It has…

The fusion rules and modular matrix of a rational conformal field theory obey a list of properties. We use these properties to classify rational conformal field theories with not more than six primary fields and small values of the fusion…

Fix a prime number $p$. We report on some recent developments in algebraic geometry (broadly construed) over $p$-adically complete commutative rings. These developments include foundational advances within the subject as well as external…

Let $I$ be a monomial ideal in a polynomial ring $A=K[x_1,...,x_n]$. We call a monomial ideal $J$ to be a minimal monomial reduction ideal of $I$ if there exists no proper monomial ideal $L \subset J$ such that $L$ is a reduction ideal of…

We introduce two closure operations on ideals in commutative rings related to the ring operation of root closure. One closure is the result of iterating a root-like operation on ideals infinitely many times, and the other closure arises as…

Let $R$ be a ring, $e$ an idempotent of $R$ and $\delta(R)$ denote the intersection of all essential maximal right ideals of $R$ which is called Zhou radical. In this paper, the Zhou radical of a ring is applied to the $e$-reduced property…