Related papers: Some remarks about normal rings
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.
We apply recent results on the rank of elements of rings to study the structure of generalized corner rings $aRa$, where $R$ is a unital ring and $a$ an element of $R$. We give a complete description of the structure of $aRa$ when $a^2$ has…
We provide a sufficient condition for a polynomial ring, not necessarily commutative, to have a first-order definition for the rational integers.
A ringoid is a set with two binary operations that are linked by the distributive laws. We study special classes of ringoids that are congruence-simple or ideal-simple. In particular, we examine generalised parasemifields and…
Let $R$ be a ring with involution $*$ and $Z^*(R)$ denotes the set of all non-zero zero-divisors of $R$. We associate a simple (undirected) graph $\Gamma'(R)$ with vertex set $Z^*(R)$ and two distinct vertices $x$ and $y$ are adjacent in…
A complex projective manifold is rationally connected, resp. rationally simply connected, if finite subsets are connected by a rational curve, resp. the spaces parameterizing these connecting rational curves are themselves rationally…
We associate to every quandle $X$ and an associative ring with unity $\mathbf{k}$, a nonassociative ring $\mathbf{k}[X]$ following [3]. The basic properties of such rings are investigated. In particular, under the assumption that the inner…
Using polynomial evaluation, we give some useful criteria to answer questions about divisibility of polynomials. This allows us to develop interesting results concerning the prime elements in the domain of coefficients. In particular, it is…
In the article Categorical Construction of Schemes, arXiv:2511.03433 we gave a natural definition of ordinary schemes based on the fact that the localization of a ring in a maximal ideal is a local representation of the corresponding…
It is proved that the localization of an injective module E, over a valuation ring R, at a prime ideal J, is injective if J is not the subset of zero-divisors of R or if J or E is flat. It follows that localizations of injective modules…
Let X be a singular affine normal variety with coordinate ring R and assume that there is an R-order admitting a stability structure such that the scheme of relevant semistable representations is smooth, then we construct a partial…
$\DeclareMathOperator{\IntR}{Int{}^\text{R}}$Integer-valued rational functions are a natural generalization of integer-valued polynomials. Given a domain $D$, the collection of all integer-valued rational functions over $D$ forms a ring…
A treatment in a neighborhood and at a point of the equivalence principle on the basis of derivations of the tensor algebra over a manifold is given. Necessary and sufficient conditions are given for the existence of local bases, called…
We prove first-order definability of the prime subring inside polynomial rings, whose coefficient rings are (commutative unital) reduced and indecomposable. This is achieved by means of a uniform formula in the language of rings with…
We introduce and study a nontrivial generalization of uniserial modules and rings. A module is called weakly uniserial if its submodules are comparable regarding embedding. Also, a right (resp., left) weakly uniserial ring is a ring which…
We use George Bergman's recent normal form for universally adjoining an inner inverse to show that, for general rings, a nilpotent regular element $x$ need not be unit-regular. This contrasts sharply with the situation for nilpotent regular…
A family of regularization functionals is said to admit a linear representer theorem if every member of the family admits minimizers that lie in a fixed finite dimensional subspace. A recent characterization states that a general class of…
Let $G$ be a group acting via ring automorphisms on an integral domain $R.$ A ring-theoretic property of $R$ is said to be $G$-invariant, if $R^G$ also has the property, where $R^G=\{r\in R \ | \ \sigma(r)=r \ \text{for all} \ \sigma\in…
We show that a ring $R$ is regular if $Tor_{i}^{R}(R^{+},k) = 0$ for some $i\geq 1$ assuming further that $R$ is a $\mathbb{N}$-graded ring of dimension $2$ finitely generated over an equi-characteristic zero field $k$. This answers a…
The Traverso-Swan theorem says that a reduced ring A is seminormal if and only if the natural morphism from Pic(A) to Pic(A[X]) is an isomorphism. We give here all the details needed to understand the elementary constructive proof for this…