Related papers: Is addition definable from multiplication and succ…

We characterize those finitely generated commutative rings which are (parametrically) bi-interpretable with arithmetic: a finitely generated commutative ring $A$ is bi-interpretable with $(\mathbb N,{+},{\times})$ if and only if the space…

We show that for Chevalley groups G(R) of rank at least 2 over a ring R the root subgroups are essentially (nearly always) the double centralizers of corresponding root elements. In very many cases this implies that R and G(R) are…

We construct positional numeral systems that work natively over nonderived polyadic $\left( m,n\right) $-rings whose addition takes $m$ arguments and multiplication takes $n$. In such rings, the length of an admissible additive word and a…

A ring $R$ is called weakly periodic if every $x \in R$ can be written in the form $x = a + b,$ where $a$ is nilpotent and $b^m = b$ for some integer $m > 1.$ The aim of this note is to consider when a nonzero nilpotent element $r$ is the…

Let $R$ be a ring (associative, with 1), and let $R<< a,b>>$ denote the power-series $R$-ring in two non-commuting, $R$-centralizing variables, $a$ and $b$. Let $A$ be an $R$-subring of $R<< a>>$ and $B$ be an $R$-subring of $R<< b>>$, and…

Octonion algebras are certain algebras with a multiplicative quadratic form. In their 2019 article, Alsaody and Gille show that, for octonion algebras over unital commutative rings, there is an equivalence between isotopes and isometric…

Let $\mathcal{R}$ be a commutative ring with unity, and let $P$ be a locally finite poset. The aim of the paper is to provide an explicit description of the additive biderivations of the incidence algebra $I(P, \mathcal{R})$. We demonstrate…

The problem of extending derivations of a field $F$ to an $F-$algebra $B$ is widely studied in commutative algebra and non-commutative ring theory. For example, every derivation of $F$ extends to $B$ if $B$ is a separable algebraic…

We estimate the asymptotics of spherical integrals when the rank of one matrix is finite. We show that it is given in terms of the R-transform of the spectral measure of the full rank matrix and give a new proof of the fact that the…

We prove that if an analytic map $f:=(f_1,\ldots ,f_n):U\subset \mathbb{C}^n\rightarrow \mathbb{C}^n$ admits an algebraic addition theorem then there exists a meromorphic map $g:=(g_1,\ldots ,g_n):\mathbb{C}^n\rightarrow \mathbb{C}^n$…

Let $h$ be a connective homology theory. We construct a functorial relative plus construction as a Bousfield localization functor in the category of maps of spaces. It allows us to associate to a pair $(X, H)$ consisting of a connected…

We associate to any ring $R$ with identity a partially ordered set Hom$(R)$, whose elements are all pairs $(\mathfrak a,M)$, where $\mathfrak a=\ker\varphi$ and $M=\varphi^{-1}(U(S))$ for some ring morphism $\varphi$ of $R$ into an…

We consider applications of a finitary version of the Affine Representability theorem, which follows from recent work of Belov-Kanel, Rowen, and Vishne. Using this result we are able to show that when given a finite set of polynomial…

This article studies the equation $[A,B]^k = {\rm Id}_n$ for matrices over $\mathbb{C}$, characterizing the pairs $(k,n)$ for which solutions exist via a classical result of Lam and Leung on sums of roots of unity. The problem is next…

We introduce the notions of a commutative square ring $R$ and of a quadratic map between modules over $R$, called $R$-quadratic map. This notion generalizes various notions of quadratic maps between algebraic objects in the literature. We…

A rack of order $n$ is a binary operation $\rack$ on a set $X$ of cardinality $n$, such that right multiplication is an automorphism. More precisely, $(X,\rack)$ is a rack provided that the map $x\mapsto x\rack y$ is a bijection for all…

In this article, we prove that if $R$ is a finitely generated ring over $\mathbb{Z}$ of dimension $d, d\geq2, \frac{1}{d!}\in R$, then any unimodular row over $R[X]$ of length $d+1$ can be mapped to a factorial row by elementary…

A sibling of a relational structure $R$ is any structure $S$ which can be embedded into $R$ and, vice versa, in which $R$ can be embedded. Let $sib(R)$ be the number of siblings of $R$, these siblings being counted up to isomorphism.…

Morphisms, structure preserving maps, are everywhere in Mathematics as useful tools for thinking and problem solving, or as objects to study. Here, we argue that the idea of operations being compatible across two domains goes beyond its…

We show that the ring of multisymmetric functions over a commutative ring is isomorphic to the ring generated by the coefficients of the characteristic polynomial of polynomials in commuting generic matrices. As a consequence we give a…