Related papers: The Regular Element Property in Constructive Mathe…

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…

We identify a regularity property for structured ring spectra, and with it we prove a natural analogue of Quillen's localization theorem for algebraic K-theory in this setting.

In recent years, centrally essential rings have been intensively studied in ring theory. In particular, they find applications in homological algebra, group rings, and the structural theory of rings. The class of essentially central rings…

Let $\mathcal{P}$ be the class of rings for which every indecomposable right module is pure-projective or pure-injective. When $R$ is a Noetherian local commutative ring of maximal ideal $P$, it is proven that $R\in\mathcal{P}$ if and only…

We define the concept of a regular object with respect to another object in an arbitrary category. We present basic properties of regular objects and we study this concept in the special cases of abelian categories and locally finitely…

We give a constructive proof that $R[X]$ is normal when $R$ is normal. We apply this result to an operation needed for studying the henselization of a local ring. Our proof is based on the case where $R$ is without zero divisors, which 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 =…

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 prove some results on the structure of ind-pro completions of Noetherian rings along flags of prime ideals. In particular, we compute the Krull dimension and deduce the criterion on semilocality in the case of essentially of finite type…

We consider the Noetherian properties of the ring of differential operators of an affine semigroup algebra. First we show that it is always right Noetherian. Next we give a condition, based on the data of the difference between the…

Let $R$ be a complete equicharacteristic noetherian local domain with an algebraically closed residue field $k$. Let $\nu$ be a zero dimensional valuation of rank one centered in $R$ with value group $\Phi$. We show that there is a…

The centrepiece of this paper is a normal form for primitive elements which facilitates the use of induction arguments to prove properties of primitive elements. The normal form arises from an elementary algorithm for constructing a…

The goal of this paper is to formalize the notion of The Compositional Integral in The Complex Plane. We prove a convergence theorem guaranteeing its existence. We prove an analogue of Cauchy's Integral Theorem--and suggest an approach at…

Broadening existing results in the literature to much wider classes of rings, we prove among other things: 1. Reduced quotients of excellent regular rings of characteristic $p$ admit big test elements, 2. The set of F-jumping numbers of a…

The main achievement of this paper is to provide a structure theorem for Artinian, Gorenstein local rings with the property that the square of the maximal ideal is generated by two elements. The moduli problem for this class of local…

We give an elementary theory of Henselian local rings and construct the Henselization of a local ring. All our theorems have an algorithmic content.

Among reduced Noetherian prime characteristic commutative rings, we prove that a regular ring is precisely one where finite intersection of ideals commutes with taking bracket powers. However, reducedness is essential for this equivalence.…

The main aim of this note is to show that, in the regular context, every matrix property in the sense of Z. Janelidze either implies the Mal'tsev property, or is implied by the majority property. When the regular category is arithmetical,…

Fix any field $K$ of characteristic $p$ such that $[K:K^p]$ is finite. We discuss excellence for Noetherian domains whose fraction field is $K$, showing for example, that $R$ is excellent if and only if the Frobenius map is finite on $R$.…

Let $(A,\mathfrak{m})$ be a complete equicharacteristic Noetherian domain of dimension $d + 1 \geq 2$. Assume $k = A/\mathfrak{m}$ has characteristic zero and that $A$ is not a regular local ring. Let $Sing(A)$ the singular locus of $A$ be…