Related papers: Is addition definable from multiplication and succ…

Let $R$ be a commutative ring, $\pi$ be a finite group, $R\pi$ be the group ring of $\pi$ over $R$. Theorem 1. If $R$ is a commutative artinian ring and $\pi$ is a finite group. Then the Cartan map $c:K_0(R\pi)\to G_0(R\pi)$ is injective.…

A finite-dimensional unital and associative algebra over $\mathbb{R}$, or what we shall call simply "an algebra" in this paper for short, generalities the construction by which we derive the complex numbers by "adjoining an element $i$" to…

This paper presents a study on Jordan maps over matrix rings with some functional equations related to additive maps on these rings. We first show that every Jordan left (right) centralizer over a matrix ring is a left (right) centralizer.…

An Ore extension over a polynomial algebra $\mathbb{F}[x]$ is either a quantum plane, a quantum Weyl algebra, or an infinite-dimensional unital associative algebra $\mathsf{A}_h$ generated by elements $x,y$, which satisfy $yx-xy = h$, where…

Operations of arbitrary arity expressible via addition modulo 2^n and bitwise addition modulo 2 admit a simple description. The identities connecting these two additions have finite basis. Moreover, the universal algebra with these two…

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…

We introduce several commutative rings, the snake rings, that have strong connections to cluster algebras. The elements of these rings are residue classes of unions of certain labeled graphs that were used to construct canonical bases in…

Let $n\geq 3$ be an integer. Let $\mathcal{D}$ be a division ring with char$(\mathcal{D})>n$ or char$(\mathcal{D})=0$. Let $\mathcal{R}=M_m(\mathcal{D})$ be a ring of $n\times n$ matrices over $D$, $m\geq 2$. The main theorem in the paper…

Let $R$ be a commutative Noetherian ring and $I$ be an ideal of $R$. In this article we answer affirmatively a question raised by the present author in \cite{B2}. Also, as an immediate consequence of this result it is shown that the…

An important classical result in ZFC asserts that every infinite cardinal number is idempotent. Using this fact, we obtain several algebraic results in this article. The first result asserts that an infinite Abelian group has a proper…

Let $ \mathcal D$ be a dense linear manifold in a Hilbert space $\mathcal H$ and let $L^+(\mathcal D)$ be the *-algebra of all linear operators $A$ such that $A \mathcal D \subset \mathcal D, A^* \mathcal D \subset \mathcal D$. Denote by…

If $R$ is a topological ring then $R^{\ast}$, the group of units of $R$, with the subspace topology is not necessarily a topological group. This leads us to the following natural definition: By an \emph{absolute topological ring} we mean a…

The main result is Theorem: Let A be an R-algebra, mu, lambda be cardinals such that |A|<=mu=mu^{aleph_0}<lambda<=2^mu. If A is aleph_0-cotorsion-free or A is countably free, respectively, then there exists an aleph_0-cotorsion-free or a…

Let $\mathcal{A}$ and $\mathcal{B}$ be two $C^{*}$-algebras such that $\mathcal{B}$ is prime. In this paper, we investigate the additivity of map $\Phi$ from $\mathcal{A}$ onto $\mathcal{B}$ that are bijective unital and satisfies…

Let g be an affine Lie algebra with associated Yangian Y_hg. We prove the existence of two meromorphic R-matrices associated to any pair of representations of Y_hg in the category O. They are related by a unitary constraint and constructed…

We establish a "diagonal" ergodic theorem involving the additive and multiplicative groups of a countable field $K$ and, with the help of a new variant of Furstenberg's correspondence principle, prove that any "large" set in $K$ contains…

Generally, in any human field, a Smarandache Structure on a set A means a weak structure W on A such that there exists a proper subset B contained in A which is embedded with a stronger structure S. These types of structures occur in our…

Our basic element is a $C^1$ mapping $f:X\to Y$, with $X,Y$ Banach spaces, and with derivative everywhere invertible. So $f$ is a local diffeomorphism at every point. The aim of this paper is to find a sufficient condition for $f$ to be…

Let ${\mathcal N}$ and ${\mathcal M}$ be nests on Banach spaces $X$ and $Y$ over the (real or complex) field $\mathbb F$ and let $\mbox{\rm Alg}{\mathcal N}$ and $\mbox{\rm Alg}{\mathcal M}$ be the associated nest algebras, respectively. It…

The additive structure of $\mathbb{F}_1$-modules (in the sense of Segal's $\Gamma$-sets) differs fundamentally from that of abelian groups: addition is encoded through a family of $n$-ary hyper-operations that are multivalued and do not…