Related papers: Elementary Constructive Theory of Henselian Local …

The global analogue of a Henselian local ring is a Henselian pair: a ring A and an ideal I which satisfy a condition resembling Hensel's lemma regarding lifting coprime factorizations of polynomials over A/I to factorizations over A. The…

Recent results on initial segments of the Turing degrees are presented, and some conjectures about initial segments that have implications for the existence of non-trivial automorphisms of the Turing degrees are indicated.

A local ring $R$ is called $Z$-local if $J(R) = Z(R)$ and $J(R)^2 = 0$. In this paper the structures of a class of $Z$-local rings are determined.

In this paper, we show local Gersten's conjecture for regular system of parameters. As its consequence we obtain Gersten's conjecture for a commutative regular local ring and smooth over a commutative discrete valuation ring.

We unify and generalize different notions of local units and local projectivity. We investigate the connection between these properties by constructing elementary algebras from locally projective modules. Dual versions of these…

For a fixed ring, different classes of ring epimorphisms and localisation maps are compared. In fact, we provide sufficient conditions for a ring epimorphism to be a universal localisation. Furthermore, we consider recollements induced by…

We study the combinatorial and structural properties of the circle map sequences. We introduce an embedding procedure which gives a map from the hull(closure of the set of translates) to the sequence of embedding operations through which we…

Using the notion of existentially closed structures, we obtain embedding theorems for groups and Lie algebras. We also prove the existence of some groups and Lie algebras with prescribed properties.

A complete local ring of embedding codepth 3 has a minimal free resolution of length 3 over a regular local ring. Such resolutions carry a differential graded algebra structure, based on which one can classify local rings of embedding…

Suppose $X$ is a locally solid lattice ring. It is known that there are three classes of bounded group homomorphisms on $X$ whose topological structures make them again topological rings. In this note, we consider lattice structure on them;…

We introduce here a method which uses etale neighborhoods to extend results from smooth semi-local rings to arbitrary semi-local rings A by passing to the henselization of a smooth presentation of A. The technique is used to show that etale…

We give a simple description of the category of sheaves on the small etale site of an irreducible scheme whose local rings are geometrically unibranch and henselian, which affords a characterization of representable sheaves.

We prove an assortment of results on (commutative and unital) NIP rings, especially $\mathbb{F}_p$-algebras. Let $R$ be a NIP ring. Then every prime ideal or radical ideal of $R$ is externally definable, and every localization $S^{-1}R$ is…

This paper studies characterizing local rings in terms of homological dimensions. The key tool is the notion of a prethick subcategory which we introduce in this paper. Our methods recover the theorems of Salarian, Sather-Wagstaff and…

We introduce a new method of constructing complete sequences of key polynomials for simple extensions of tame fields. In our approach the key polynomials are taken to be the minimal polynomials over the base field of suitably constructed…

We consider embeddings in a torsion-free hyperbolic group which are elementary in the sense of first-order logic. We give a description of these embeddings in terms of Sela's hyperbolic towers. We deduce as a corollary that subgroups…

The rank of a ring $R$ is the supremum of minimal cardinalities of generating sets of $I$, among all ideals $I$ in $R$. In this paper, we obtain a characterization of Noetherian rings $R$ whose rank is not equal to the supremum of ranks 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…

Let G be a finite group and let S be a G-set. The Burnside ring of G has a natural structure of a lambda-ring. However, a priori the images of S under the lambda-operations can only be computed implicitly. In this paper we establish an…

In this paper we provide a complete algebraic characterization of elementary equivalence of rings with a finitely generated additive group in the language of pure rings. The rings considered are arbitrary otherwise.