Related papers: A short characterization of the Octonions

The purpose of this short note is to prove that if $R$ is an alternative ring whose associators are not zero-divisors, then $R$ has no zero divisors. By a result of Bruck and Kleinfeld, if, in addition, the characteristic of $R$ is not $2,$…

Let $R$ be a ring with ${\bf 1}$ which is not commutative. Assume that a non-zero commutator in $R$ is not a zero divisor. Assume further that either $R$ is alternative, but not associative, or $R$ is associative and any commutator $v\in R$…

Let $R$ be an associative ring with ${\bf 1}$ which is not commutative. Assume that any non-zero commutator $v\in R$ satisfies: $v^2$ is in the center of $R$ and $v$ is not a zero-divisor. (Note that our assumptions do not include finite…

Kaplanski's Zero Divisor Conjecture envisions that for a torsion-free group G and an integral domain R, the group ring R[G] does not contain non-trivial zero divisors. We define the length of an element a in R[G] as the minimal non-negative…

We show that the octonions can be defined as the $\mathbb{R}$-algebra with basis $\lbrace e^x \colon x \in \mathbb{F}_8 \rbrace$ and multiplication given by $e^x e^y = (-1)^{\varphi(x,y)}e^{x + y}$, where $\varphi(x,y) = \operatorname{tr}(y…

In this paper, we introduce a new graph whose vertices are the nonzero zero-divisors of commutative ring $R$ and for distincts elements $x$ and $y$ in the set $Z(R)^{\star}$ of the nonzero zero-divisors of $R$, $x$ and $y$ are adjacent if…

Nontrivial pairs of zero-divisors in group rings are introduced and discussed. A problem on the existence of nontrivial pairs of zero-divisors in group rings of free Burnside groups of odd exponent $n \gg 1$ is solved in the affirmative.…

Using elementary linear algebra, this paper clarifies and proves some concepts about a recently introduced octonion-like associative division algebra over R. This octonion-like algebra is actually the same as the split-biquaternion algebra,…

For any field $\mathbb{F}$ and all torison-free group $\mathbb{G}$, we prove that if $ab = 0$ for some non-zero $a, b \in \mathbb{F}[\mathbb{G}]$ such that $|supp(a)|$ $= 3$ and $a = 1 + \alpha_{1}g_{1} + \alpha_{2}g_{2}$, then $g_{1},…

A famous conjecture about group algebras of torsion-free groups states that there is no zero divisor in such group algebras. A recent approach to settle the conjecture is to show the non-existence of zero divisors with respect to the length…

Octonion algebras over rings are, in contrast to those over fields, not determined by their norm forms. Octonion algebras whose norm is isometric to the norm q of a given algebra C are twisted forms of C by means of the Aut(C)-torsor O(q)…

Let $R$ be a ring with unity. The cozero-divisor graph of a ring $R$ is an undirected simple graph whose vertices are the set of all non-zero and non-unit elements of $R$ and two distinct vertices $x$ and $y$ are adjacent if and only if $x…

We associate a graph to a possible non-zero zero-divisor in the group algebra of a torsion-free group.

Let R\_n be the ring of Laurent polynomials in n variables over a field k of characteristic zero and let K\_n be its fraction field.Given a linear algebraic k-group $G$, we show that a K\_n-torsor under G which is unramified with respect to…

When R is a commutative ring with identity, and if k is a natural number with kR = R, then C. Weibel proved that SK_1(R[X]) has no k-torsion. We reprove his result for any associative ring R with identity in which kR = R.

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 $R$ be a prime ring with center $Z(R)$ and with involution $*$. Given an additive subgroup $A$ of $R$, let $T(A):=\{x+x^*\mid x\in A\}$ and $K_0(A):=\{x-x^*\mid x\in A\}$. Let $L$ be a non-abelian Lie ideal of $R$. It is proved that if…

We prove conditions ensuring that a Lie ideal or an invariant additive subgroup in a ring contains all additive commutators. A crucial assumption is that the subgroup is fully noncentral, that is, its image in every quotient is noncentral.…

Unlike the classical Brauer group of a field, the Brauer-Grothendieck group of a singular scheme need not be torsion. We show that there exist integral normal projective surfaces over a large field of positive characteristic with…

There are four division algebras over $\mathbb{R}$, namely real numbers, complex numbers, quaternions, and octonions. Lack of commutativity and associativity make it difficult to investigate algebraic and geometric properties of octonions.…