Related papers: Is addition definable from multiplication and succ…

Let ${\mathcal M}$ be a von Neumann algebra without central summands of type $I_1$ and $\xi\in{\mathbb C}$ a scalar. It is shown that an additive map $L$ on $\mathcal M$ satisfies $L(AB-\xi BA)=L(A)B-\xi BL(A)+L(B)A-\xi AL(B)$ whenever…

The purpose of this short note is to prove that if $A$ and $B$ are unital C*-algebras and $\phi : A \to B$ is a unital *-preserving ring homomorphism, then $\phi$ is contractive; i.e., $\| \phi (a) \| \leq \| a \|$ for all $a \in A$. (Note…

Let $F(x,y)$ be a polynomial over the rationals. We show that if $F$ is not an expander (over the rationals) then it has a special multiplicative or additive form. For example if $F$ is a homogeneous non-expander polynomial then…

Let $T$ be a subset of a ring $A$, and let $M$ be an $A$-module. We study the additive subgroups $F$ of $M$ such that, for all $x \in M$, if $tx \in F$ for some $t \in T$, then $x \in F$. We call any such subset $F$ of $M$ a $T$-factroid of…

Given a simplicial pair $(X,A)$, a simplicial complex $Y$, and a map $f:A \to Y$, does $f$ have an extension to $X$? We show that for a fixed $Y$, this question is algorithmically decidable for all $X$, $A$, and $f$ if $Y$ has the rational…

In this article, we prove that in a PI-ring (or polynomial identity ring) $S$, for an element $A \in \mathbb{M}_m(S)$ if $A^n= A^{n+1}X$ for some $n \in \mathbb{N}$ and $X \in \mathbb{M}_m(S)$, then there exists an element $Y\in…

Let $S$ be an additively idempotent semiring and $\mathbf{M}_n(S)$ be the semiring of all $n\times n$ matrices over $S$. We characterize the conditions of when the semiring $\mathbf{M}_n(S)$ is congruence-simple provided that the semiring…

A ring $R$ is said to be right McCoy if the equation $f(x)g(x)=0,$ where $f(x)$ and $g(x)$ are nonzero polynomials of $R[x],$ implies that there exists nonzero $s \in R$ such that $f(x)s = 0$. It is proven that no proper (triangular) matrix…

Let F be a subfield of the field R of real numbers. Equipped with the binary arithmetic mean operation, each convex subset C of F^n becomes a commutative binary mode, also called idempotent commutative medial (or entropic) groupoid. Let C…

By an additive structure on a hypersurface S in projective space we mean an effective action of commutative unipotent group on projective space which leaves S invariant and acts on S with an open orbit. It is known that these structures…

We demonstrate that any function $f$ from a finite set $Y$ to itself can be represented linearly. Specifically, we prove the existence of an injective map $j$ from $Y$ into a modular ring $\mathbb{Z}/m\mathbb{Z}$ and a constant $a \in…

We obtain new and improve old results on uniqueness of addition in Lie rings and Lie algebras. A Lie ring $\mathfrak{R}$ is called a unique addition ring, or a UA-Lie ring, if any commutator-preserving bijection from $\mathfrak{R}$ to an…

Let K be a ring and let A be a subset of K. We say that a map f:A \to K is arithmetic if it satisfies the following conditions: if 1 \in A then f(1)=1, if a,b \in A and a+b \in A then f(a+b)=f(a)+f(b), if a,b \in A and a \cdot b \in A then…

An order is a commutative ring that as an abelian group is finitely generated and free. A commutative ring is reduced if it has no non-zero nilpotent elements. In this paper we use a new tool, namely, the fact that every reduced order has a…

Let N be a left near ring. A map d on N is called a nonzero multiplicative derivation if d(xy)=xd(y)+d(x)y holds for all x,y elements of N.In the present paper, we shall extend some well known results concerning commutativity of prime rings…

We consider affine representable algebras, that is, finitely generated algebras over a field that can be embedded into some matrix algebra over a commutative algebra. We show that this algebra can in fact be chosen to be a polynomial…

Any map of schemes $X\to Y$ defines an equivalence relation $R=X\times_Y X\to X\times X$, the relation of "being in the same fiber". We have shown elsewhere that not every equivalence relation has this form, even if it is assumed to be…

If $R$ is a ring with 1, we call a unital left $R$-module $M$ co-Hopfian (Hopfian) in the category of left $R$-modules if any monic (epic) endomorphism of $M$ is an automorphism. For commutative Noetherian $R$ we use results of Matlis to…

Let $A$ and $B$ be unital complex Banach algebras having no quotients isomorphic to $\mathbb{C}$ or $M_2(\mathbb{C})$. Assume additionally that $B$ is semisimple. If a surjective additive mapping $\Phi\colon A\to B$ satisfies…

The aim of this paper is to show that between standard operator algebras every bijective map with a certain multiplicativity property related to Jordan triple isomorphisms of associative rings is automatically additive.