Intereting Posts

Does this property characterize monomorphisms?
The integrals $ \int_{0}^{\infty} e^{-ax^{2}} \sin (bx^{2}) \,dx $ and $ \int_{0}^{\infty} e^{-ax^{2}} \sin \left( \frac{b}{x^{2}} \right) \, dx$
A little more on $\sqrt{\cos\bigl(\tfrac{2\pi}7\bigr)}+\sqrt{\cos\bigl(\tfrac{4\pi}7\bigr)}+\sqrt{\cos\bigl(\tfrac{8\pi}7\bigr)}$
I want to understand uniform integrability in terms of Lebesgue integration
Number theory problem – show $N$ is a square when…
Is it possible that all subseries converge to irrationals?
Convergent sequence in Lp has a subsequence bounded by another Lp function
Prove that prime ideals of a finite ring are maximal
There are no maximal $\mathbb{Z}$-submodules in $\mathbb{Q}$
Continuity conditions for multivariate functions.
Prove that $x^2 = – 1$ has no solution in $\mathbb{Z}$
Modern Books on Group Theory in German or French
showing Cohen-Macaulay property is preserved under a ring extension
Analyzing limits problem Calculus (tell me where I'm wrong).
Fundamental group of multiplicative group in Zariski topology

A skew field $K$ is said to be algebraically closed if it contains a root for every non-constant polynomial in $K[x]$. I know that this is true for $\mathbb{C}$, which is the algebraic closure of $\mathbb{R}$ and a true field. I wonder if this is also true for the strictly skew field $\mathbb{H}$. I think it’s not, but I can’t find a counterexample. What about the set of octonions $\mathbb{O}$, which is no longer associative, or the set of sedenions $\mathbb{S}$, which is not even alternative? Is algebraic closedness even well-defined for non-alternative algebras?

- The number of ring homomorphisms from $\mathbb{Z}_m$ to $\mathbb{Z}_n$
- Describe all extension groups of a given subgroup $H \trianglelefteq$ Aff$\mathbb{(F_q)}$ by Aff$\mathbb{(F_q)}/H$
- Suppose $n$ is an even positive integer and $H$ is a subgroup of $\mathbb Z/n \mathbb Z$. Prove that either every element of $H$ is…
- Please help me, Group Theory. Prove $b^{33}=e$.
- Intuitive Explanation of Morphism Theorem
- Example of a Non-Abelian Group
- Calculate the Factor Group: $(\mathbb{Z}_4 \times \mathbb{Z}_6)/\langle(0,2)\rangle$
- Finite Groups with exactly $n$ conjugacy classes $(n=2,3,…)$
- Finding inverse in non-commutative ring
- Is there an easy way to see associativity or non-associativity from an operation's table?

If by $K[x]$ you mean the algebra freely generated by $K$ and an indeterminate $x$, then — as noted in my comment — $p(x)=ix+xi-j$ has no root in $\Bbb{H}$, because $ix+xi$ always lies in the plane spanned by $\{1, i\}$.

On the other hand, if by $K[x]$ you mean the subset of that free algebra consisting of expressions of the form $\sum k_i x^i$, we can generalize a topological proof of the fundamental theorem of algebra, as follows.

Theorem: Let $K$ be a finite-dimensional normed $\Bbb{R}$-algebra with $Z(K)=\Bbb{R}$, such that the subalgebra generated by each non-central element is isomorphic to $\Bbb{C}$. Then for any $k_0,\dots,k_{n-1} \in K$, there exists an $x \in K$ such that $x^n+\sum_{i=0}^{n-1} k_ix^i=0$.

**Proof**: Let $g(x)=x^n$; let $S(K)$ and $B(K)$ be the unit sphere and unit ball in $K$. Since the subalgebra generated by each non-central element is isomorphic to $\Bbb{C}$, every element of $S(K)$ except $\pm 1$ has $n$ preimages under $g$. A lengthy but straightforward Jacobian computation shows that $g$ is orientation-preserving at its regular values; thus the restriction of $g$ to $S(K)$ has topological degree $n$.

Now, suppose for the sake of contradiction that $f(x)=x^n+\sum_{i=0}^{n-1} k_ix^i$ is never zero, and let $f_t(x)=t^nf(x/t)=x^n+\sum_{i=0}^{n-1} k_i t^{n-i} x^i$. Then $f_t$ is also nonvanishing. Define a map $\gamma_t:B(K) \to S(K)$ by $\gamma_t(x)=\dfrac{f_t(x)}{|f_t(x)|}$. Since $B(K)$ is contractible, the restriction of $\gamma_t$ to $S(K)$ has topological degree $0$.

But $\gamma_t=\dfrac{x^n+\sum_{i=0}^{n-1} k_i t^{n-i} x^i}{\left|x^n+\sum_{i=0}^{n-1} k_i t^{n-i} x^i\right|}$ is homotopic to $g$; since topological degree is a homotopy invariant, we have a contradiction.

This proves exactly the statement you were looking for when $K=\Bbb{H}$, and for monic polynomial functions of this form in general.

When $K=\Bbb{O}$, this doesn’t quite prove the statement you were looking for. Given an arbitrary polynomial function in the form you want, you can’t necessarily divide through by the leading coefficient to get a monic polynomial function of the form you want, because of non-associativity. It’s not too hard to adapt, though; for any $\omega \in \Bbb{O}$, left-multiplication by $\omega$ is a nonsingular linear map, so $g(x)=\omega x^n$ has nonzero degree and the rest of the proof still goes through.

$K=\Bbb{S}$ has zero-divisors, so the statement is trivially false there.

Eilenberg and Steenrod, in *Foundations of Algebraic Topology*, prove a form of algebraic closure for both the quarternions and the octononions (ch. 11, sec. 5). The proof uses topological degree theory. The polynomial is required to be of the form $m+g$, where $m$ is a monomial of degree $n$ and $g$ is a sum of monomials all of degree less than $n$. However, monomials like $axbxc$ (of degree 2) are allowed.

One can be a bit more general: if by $K[x]$ is meant the algebra of generalised polynomials,

Note.A division ring $K$ of finite dimension $[K:k]>1$ over its centre $k$ is never algebraically closed.

**Proof.** For every $a\in K\setminus k$, being $k$-linear of Kernel having dimension $\geqslant 1$, the polynomial $x\mapsto ax-xa$ is non-surjective by the Rank-nullity Theorem, which gives rise to degree $1$ rootless polynomials.

- Let $A,B$ and $U$ be sets so that $A\subseteq U$ and $B\subseteq U$. Prove that $A\subseteq B$ iff $(U\setminus B)\subseteq(U\setminus A)$.
- A non-square matrix with orthonormal columns
- Positivness of the sum of $\frac{\sin(2k-1)x}{2k-1}$.
- Accurate identities related to $\sum\limits_{n=0}^{\infty}\frac{(2n)!}{(n!)^3}x^n$ and $\sum\limits_{n=0}^{\infty}\frac{(2n)!}{(n!)^4}x^n$
- Convex interior topology
- Divisibility of multinomial by a prime number
- Combinatorial identity's algebraic proof without induction.
- Prove that an algorithm that generates a stable set of a graph can be used in any graph for generating a stable set of maximum cardinal.
- Proving $J_n(x)N_{n+1}(x)-J_{n+1}(x)N_n(x)=-\dfrac{2}{\pi x}$: Part $1$ of $3$
- In a Hausdorff space the intersection of a chain of compact connected subspaces is compact and connected
- relation of R-module homomorphisms with direct sums
- Number of Ways to Fill a Matrix with symbols subject to Weird contsraint.
- Difference between “space” and “algebraic structure”
- The ideal $I= \langle x,y \rangle\subset k$ is not principal
- Prove: For any sequence of linearly independent elements $y_j \in X$ and $a_j \in \mathbb R$ there exists an element $f \in X^*$ s.t. $f(y_j)=a_j$