symmetric monoidal (∞,1)-category of spectra
A skewfield (also spelled skew-field) or a division ring is a unital ring where each non-zero element has an inverse (but zero does not). A commutative skewfield is called a field, but sometimes in specialized works on skewfields one often says simply field for skewfield.
In constructive mathematics and internally, the same issues appear for skewfields as for fields, and may be dealt with in the same way.
Linear algebra is often understood in the generality of division rings, namely the usual notions of linear basis, dimension, linear map, matrix of a linear map with respect to two bases and so on, and even Gauss elimination procedure, hold without changes for left or right vector spaces over a division ring.
The most famous noncommutative example is the skewfield of quaternions.
The Frobenius theorem states that apart from the fields of real and complex numbers and quaternions, there are no associative finite-dimensional division algebras over the real numbers; and even if one includes nonassociative finite-dimensional division algebras one obtains only one more example (the octonions). See at normed division algebra for more on this.
Last revised on May 20, 2021 at 11:47:00. See the history of this page for a list of all contributions to it.