When working with algebras (possibly associative, possibly nonassociative) over the real numbers, we often want to express the fact that has no square root in the algebra. However, this by itself is not enough, since the algebra may lack square roots for other reasons, so we say that is not a sum of squares. Even this may be too weak if the algebra has too little division, because we also want to ensure that other negative squares are not sums of squares. So the really general statement is that is not a sum of squares, except as a sum of squares of itself.
At this point, we notice that the -linear structure is irrelevant, and the concept applies to more general rings (possibly nonassociative). Even the existence of opposites is not needed, and the concept applies to (possibly nonassociative) rigs. Really, we just need multiplication, addition, and zero.
Let be ring, or more generally a magma in the category of abelian monoids. Then is formally real if, whenever
(for a finite sum), each .
Given an involution, we have a generalization: a -ring is formally complex if, whenever
(for a finite sum), each . (Then a ring is formally real iff it is formally complex when equipped with the trivial involution.)
Of course, the real numbers themselves form a formally real ring; the complex numbers do not, since
However, the complex numbers are formally complex. (These examples are the source of the names.)
Actually, all of the Cayley–Dickson algebras are formally complex. (This is because is always a real number and is only when is.)
The trivial ring is formally real. Every other formally real (or formally complex) ring is infinite (because , , , etc are all distinct). Even without an identity (and even in the nonassociative case), if the ring is formally real and nontrivial, then it is infinite. (If , consider , , , etc.)
There are finite formally real rigs, however, such as the boolean rig . Indeed, any distributive lattice (with a bottom element), viewed as a rig, is formally real.
Among Jordan algebras, the formally real ones are especially important; it is these that (over the real numbers, in finite dimensions) have a nice classification theorem?.
The trivial algebra is the only formally real algebra over any ring that is not formally real; more generally, if is a monomorphism of rings (or of rigs, etc), then must be formally real if is. Similarly, if is a monomorphism of -rings, then must be formally complex if is.
Formally real fields (like that of the real numbers) are particularly interesting; see formally real field.
Every formally real (or formally complex) ring has a natural partial ordering: iff can be written as a sum of squares (or a sum of terms of the form ).
Last revised on August 15, 2020 at 09:17:10. See the history of this page for a list of all contributions to it.