On the fundamental theorem of algebra for polynomial equations over real composition algebras (Q2436710)

The work under review is devoted to the proof of the following result: If \(A\) is a real composition algebra of finite dimension greater than one, then every polynomial function \(f: A \to A\) with a tame tail is surjective and in particular has at least one zero. Let \(f\) be a polynomial function as above and \(\sum_{l=0}^m f_{(l)}\) be its homogeneous decomposition. If \(f\neq 0\) and \(n\) is the largest integer such that \(f_{(l)} = 0\) for all \(l < n\), then \(f\) is said to be tame at infinity provided that \[ \inf\{ | f(q)|/| q|^n : q \in A , | q|\geq \rho\} > 0 \] holds for a sufficiently large real number \(\rho = \rho ( f ) > 0\). Consider a polynomial function \(f=\sum_{l=0}^m f_{(l)}\) as above, for each natural \(n\) the tail function \(\sum_{l\geq n}^m f_{(l)}\) will be denoted by \(f_{[n]}\). A polynomial function \(f\) is said to have a tame tail provided that, for some positive integer \(n\), the tail function \(f_{[n]}\) is tame at infinity and \(\deg f_{[n]} = 0\). The degree \(\deg f\) of a polynomial map \(f: A\to A\) (not vanishing on the unit sphere \(S\) of \(A\)) is defined as the degree of its restriction \(f: S\to A^*\). The classical ``Fundamental theorem of algebra'' on the complex field is then a corollary of the main result in the paper. Also the Eilenberg-Niven theorem on the quaternions arises as a corollary of this work.