The images of multilinear and semihomogeneous polynomials on the algebra of octonions

Abstract

The generalized L'vov-Kaplansky conjecture states that for any finite-dimensional simple algebra $A$ the image of a multilinear polynomial on $A$ is a vector space. In this paper we prove it for the algebra of octonions $\mathbb{O}$ over a field satisfying certain specified conditions (in particular, we prove it for quadratically closed field and for field $\mathbb{R}$). In fact, we prove that the image set must be either $\{0\}$, $F$, the space of pure octonions $V$, or $\mathbb{O}$. We discuss possible evaluations of semihomogeneous polynomials on $\mathbb{O}$ and of arbitrary polynomials on the corresponding Malcev algebra.

arXiv comment14 pages

References in corpus (7)

• The images of non-commutative polynomials evaluated on $2\times 2$ matrices
• The images of multilinear polynomials evaluated on $3\times 3$ matrices
• Evaluations of Noncommutative Polynomials on Algebras: Methods and Problems, and the L'vov-Kaplansky Conjecture
• The images of Lie polynomials evaluated on matrices
• Power-central polynomials on matrices
• Instances of the Kaplansky-Lvov multilinear conjecture for polynomials of degree three
• A Note on Values of Noncommutative Polynomials

Cited by in corpus (1)

• A new approach to the Lvov-Kaplansky conjecture through gradings