Frobenius's Theorem/Lemma 1

Lemma
Let $\left({A, \oplus}\right)$ be a quadratic real algebra.

Then:
 * $(1): \quad U = \left\{{u \in A \setminus R: u^2 \in R}\right\} \cup \left\{{0}\right\}$ is a linear subspace of $A$


 * $(2): \quad \forall u, v \in U: u v + v u \in \R$


 * $(3): \quad A = \R \oplus U$


 * $(4): \quad$ If $A$ is also a division algebra, then every nonzero $u \in U$ can be written as $u = \alpha v$ with $\alpha \in \R$ and $v^2 = 1$.

Proof of First Assertion
Obviously, $U$ is closed under scalar multiplication.

We have to show that $u, v \in U$ implies $u + v \in U$.

If $u, v, 1$ are linearly dependent, then one easily notices that already $u$ and $v$ are dependent, and the result follows.

So, let $u, v, 1$ be independent.

We have $\left({u + v}\right)^2 + \left({u - v}\right)^2 = 2u^2 + 2v^2 \in \R$.

On the other hand, as $A$ is quadratic there exist $\lambda, \mu \in \R$ such that:
 * $\left({u + v}\right)^2 - \lambda \left({u + v}\right) \in \R$
 * $\left({u - v}\right)^2 - \mu \left({u - v}\right) \in R$

Hence:
 * $\lambda \left({u + v}\right) + \mu \left({u - v}\right) \in \R$

However, we have that $1, u, v$ are independence.

Therefore $\lambda + \mu = \lambda - \mu = 0$, and so $\lambda = \mu = 0$.

This proves that $u \pm v \in U$.

Thus $U$ is indeed a subspace of $A$.

Proof of Second Assertion
Accordingly, from the result of $(1)$:
 * $\forall u, v \in U: u v + v u = \left({u + v}\right)^2 - u^2 - v^2 \in \R$.

Proof of Third Assertion
Let $a \in A \setminus \R$.

Then:
 * $\exists \nu \in \R: a^2 - \nu a \in \R$

Therefore:
 * $u = a - \dfrac \nu 2 \in U$

Thus:
 * $a = \dfrac \nu 2 + u \in R \oplus U$

which proves the assertion.

Proof of Fourth Assertion
This follows directly from the definition of division algebra.

Also, we have that $u^2 \in \R$.

Suppose $u^2 \ge 0$.

Then $\left({u - \alpha}\right) \left({u + \alpha}\right) = u^2 - \alpha^2$ would be $0$ for some $\alpha \in \R$.

This cannot happen.

So $u^2 < 0$ and so $u^2 = -\alpha^2$ with $0 \ne \alpha \in \R$.

Thus, $v = \alpha^{-1} u$ is a desired element.