English

A uniform characterization of the octonions and the quaternions using commutators

Rings and Algebras 2021-12-22 v2 Group Theory

Abstract

Let RR be a ring with 1{\bf 1} which is not commutative. Assume that a non-zero commutator in RR is not a zero divisor. Assume further that either RR is alternative, but not associative, or RR is associative and any commutator vRv\in R satisfies: v2v^2 is in the center of R.R. We prove that RR has no zero divisors. Furthermore, if char(R)2,\text{char}(R)\ne 2, then the localization of RR at its center is an octonion division algebra, if RR is alternative and a quaternion division algebra, if RR is associative. Our proof in both cases is essentially the same and it is elementary and rather self contained.

Keywords

Cite

@article{arxiv.2112.04250,
  title  = {A uniform characterization of the octonions and the quaternions using commutators},
  author = {Erwin Kleinfeld and Yoav Segev},
  journal= {arXiv preprint arXiv:2112.04250},
  year   = {2021}
}

Comments

Thm A was corrected