Related papers: Projectable reduced $f$-rings admitting eliminatio…

Let $R$ be a commutative $F$-algebra, where $F$ is a field of characteristic 0, satisfying the following conditions: $R$ is equidimensional of dimension $n$, every residual field with respect to a maximal ideal is an algebraic extension of…

In the present paper we develop a small cancellation theory for associative algebras with a basis of invertible elements. Namely, we study quotients of a group algebra of a free group and introduce three axioms for the corresponding…

Let $M$ be a left module over a ring $R$ and $I$ an ideal of $R$. We call $(P, f)$ a (locally)projective $I$-cover of $M$ if $f$ is an epimorphism from $P$ to $M$, $P$ is (locally)projective, $Kerf\subseteq IP$, and whenever $P=Kerf+X$,…

The concepts of localizable set, localization of a ring and a module at a localizable set are introduced and studied. Localizable sets are generalization of Ore sets and denominator sets, and the localization of a ring/module at a…

This paper studies the multiplicative ideal structure of commutative rings in which every finitely generated ideal is quasi-projective. Section 2 provides some preliminaries on quasi-projective modules over commutative rings. Section 3…

This paper aims at the following results: \begin{enumerate} \item The class of all $*$-regular rings forms a variety. \item A subdirectly irreducible $*$-regular ring $R$ is faithfully representable (i.e. isomorphic to a subring of an…

Given a ring R, we define its right i-profile (resp. right p-profile) to be the collection of injectivity domains (resp. projectivity domains) of its right R-modules. We study the lattice theoretic properties of these profiles and consider…

Given a compact basic semi-algebraic set $K\subset R^n\times R^m$, a simple set $B$ (box or ellipsoid), and some semi-algebraic function $f$, we consider sets defined with quantifiers, of the form $R_f:=\{x\in B: \mbox{$f(x,y)\leq 0$ for…

Let $B$ be a reduced local (Noetherian) ring with maximal ideal $M$. Suppose that $B$ contains the rationals, $B/M$ is uncountable and $|B| = |B/M|$. Let the minimal prime ideals of $B$ be partitioned into $m \geq 1$ subcollections $C_1,…

We study the relative Frobenius map associated with a map of derived commutative rings over a field of positive characteristic. As part of this, we examine a relative analog of perfectness and construct a relative inverse limit perfection…

We study first-order logic over unordered structures whose elements carry a finite number of data values from an infinite domain. Data values can be compared wrt.\ equality. As the satisfiability problem for this logic is undecidable in…

We construct, for each irrational number $\alpha$, a minimal $C^1$-diffeomorphism of the circle with rotation number $\alpha$ which admits a measur

In this paper, we give appropriate languages in which the theory of tame fields (of any characteristic) admits (relative) quantifier elimination.

We explore some concepts of module theory that derive from the notion of primeness, such as first modules, and extend them to more general environments. We also provide descriptions of simple left semiartinian rings, left local rings,…

We characterize which complete local (Noetherian) rings T containing the rationals are the completion of a countable excellent local ring S. We also discuss the possibilities for the map from the minimal prime ideals of T to the minimal…

A computable ring is a ring equipped with mechanical procedure to add and multiply elements. In most natural computable integral domains, there is a computational procedure to determine if a given element is prime/irreducible. However,…

In this paper we consider a general way of constructing profinite struc- tures based on a given framework - a countable family of objects and a countable family of recognisers (e.g. formulas). The main theorem states: A subset of a family…

A new class of rings, {\em the class of weakly left localizable rings}, is introduced. A ring $R$ is called {\em weakly left localizable} if each non-nilpotent element of $R$ is invertible in some left localization $S^{-1}R$ of the ring…

We provide a sufficient condition for a polynomial ring, not necessarily commutative, to have a first-order definition for the rational integers.

We establish a "second vanishing theorem" for local cohomology modules over regular rings of unramified mixed characteristic, which relates the connectedness of the spectrum of a ring with the vanishing of local cohomology. Applying this,…