Related papers: Reverse mathematics of rings

We study the reverse mathematics of the theory of countable second-countable topological spaces, with a focus on compactness. We show that the general theory of such spaces works as expected in the subsystem $\mathsf{ACA}_0$ of second-order…

An ideal in a polynomial ring encodes a system of linear partial differential equations with constant coefficients. Primary decomposition organizes the solutions to the PDE. This paper develops a novel structure theory for primary ideals in…

Let $R$ a commutative ring, $\mathfrak{a} \subset R$ an ideal, $I$ an injective $R$-module and $S \subset R$ a multiplicatively closed set. When $R$ is Noetherian it is well-known that the $\mathfrak{a}$-torsion sub-module…

This paper introduces and studies the higher-order group inverse in a ring. We extend known properties of the higher-order group inverse from complex matrices to elements of a ring and, in the process, derive new results. We further…

In this paper we consider reduced (non-normal) commutative noetherian rings $R$. With the help of conductor ideals and trace ideals of certain $R$-modules we deduce a criterion for a reflexive $R$-module to be closed under multiplication…

We obtain some fundamental results, as Bokstedt-Neeman Theorem and Grothendieck duality, about the derived category of modules on a finite ringed space. Then we see how these results are transfered to schemes in a simple way and generalized…

We introduce differential primary decompositions for ideals in a commutative ring. Ideal membership is characterized by differential conditions. The minimal number of conditions needed is the arithmetic multiplicity. Minimal differential…

We introduce Backstr\"om pairs and Backstr\"om rings, study their derived categories and construct for them a sort of categorical resolutions. For the latter we define the global dimension, construct a sort of semi-orthogonal decomposition…

We introduce the class E2 (resp. SE2) of commutative rings R with the property that each unimodular 2 x 2 matrix with entries in R extends to an invertible 3 x 3 matrix (resp. invertible 3 x 3 matrix whose (3, 3) entry is 0). Among…

We prove some algebraic results on the ring of matrix differential operators over a differential field in the generality of non-commutative principal ideal rings. These results are used in the theory of non-local Poisson structures.

A primary ideal in a polynomial ring can be described by the variety it defines and a finite set of Noetherian operators, which are differential operators with polynomial coefficients. We implement both symbolic and numerical algorithms to…

In this paper we study the concept of radical factorization in the context of abstract ideal theory in order to obtain a unified approach to the theory of factorization into radical ideals and elements in the literature of commutative…

In this paper, we propose a weak regularity principle which is similar to both weak K\"onig's lemma and Ramsey's theorem. We begin by studying the computational strength of this principle in the context of reverse mathematics. We then…

We give a number of constructions where inverse limits seriously degrade properties of regular rings, such as unit-regularity, diagonalisation of matrices, and finite stable rank. This raises the possibility of using inverse limits to…

In reverse mathematics, is is possible to have a curious situation where we know that an implication does not reverse, but appear to have no information on on how to weaken the assumption while preserving the conclusion. A main cause of…

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…

This book aims to provide a brief overview of recent advancements in the theory of inverse problems for stochastic partial differential equations. In order to keep the content concise, we will only discuss the inverse problems of two…

We provide two new formulations of the separativity problem. First, it is known that separativity (and strong separativity) in von Neumann regular (and exchange) rings is tightly connected to unit-regularity of certain kinds of elements. By…

A commutative ring is reduced when it can be embedded into a direct product of fields. While the category of reduced commutative rings plays a fundamental role in affine geometry, it exhibits several structural deficiencies: it admits…

We introduce the concept of rings of simple range 2. Based on this concept, we build a theory diagonal reduction of matrices over Bezout domain. In particular we show that invariant Bezout domain is an elementary divisor ring if and only if…