Frobenius theorem (real division algebras)
- Frobenius theorem (real division algebras)
In mathematics, more specifically in abstract algebra, the Frobenius theorem, proved by Ferdinand Georg Frobenius in 1877, characterizes the finite dimensional associative division algebras over the real numbers. The theorem proves that the only associative division algebra which is not commutative over the real numbers is the quaternions.
If "D" is a finite dimensional division algebra over the real numbers R then one of the following cases holds
* "D" = R
* "D" = C (complex numbers)
* "D" isomorphic to H (quaternions).
Pontryagin variant
If "D" is a connected, locally compact division ring, then either "D" = R, or "D" = C, or "D" = H.
References
* Ferdinand Georg Frobenius (1878) " [http://dz-srv1.sub.uni-goettingen.de/sub/digbib/loader?ht=VIEW&did=D266059 Ueber lineare Substitutionen und bilineare Formen] ", "Journal für die reine und angewandte Mathematik" 84:1-63 (Crelle's Journal). Reprinted in "Gesammelte Abhandlungen" Band I, pp.343-405.
* Yuri Bahturin (1993) "Basic Structures of Modern Algebra", Kluwer Acad. Pub. pp.30-2 [ISBN 0-7923-2459-5] .
* R.S. Palais (1968) "The Classification of Real Division Algebras" American Mathematical Monthly 75:366-8.
* Lev Semenovich Pontryagin, Topological Groups, page 159, 1966.
Wikimedia Foundation.
2010.
Look at other dictionaries:
Frobenius theorem — There are several mathematical theorems named after Ferdinand Georg Frobenius. They include:* Frobenius theorem in differential geometry and topology for integrable subbundles; * Frobenius theorem in abstract algebra characterizing the finite… … Wikipedia
Ferdinand Georg Frobenius — Infobox Scientist name = PAGENAME box width = image size =150px caption = PAGENAME birth date = October 26, 1849 birth place = Charlottenburg death date = August 3, 1917 death place = Berlin residence = citizenship = nationality = German… … Wikipedia
Division algebra — In the field of mathematics called abstract algebra, a division algebra is, roughly speaking, an algebra over a field, in which division is possible. Contents 1 Definitions 2 Associative division algebras 3 Not necessarily asso … Wikipedia
Division ring — In abstract algebra, a division ring, also called a skew field, is a ring in which division is possible. Specifically, it is a non trivial ring in which every non zero element a has a multiplicative inverse, i.e., an element x with a·x = x·a = 1 … Wikipedia
List of mathematics articles (F) — NOTOC F F₄ F algebra F coalgebra F distribution F divergence Fσ set F space F test F theory F. and M. Riesz theorem F1 Score Faà di Bruno s formula Face (geometry) Face configuration Face diagonal Facet (mathematics) Facetting… … Wikipedia
Artin–Wedderburn theorem — In abstract algebra, the Artin–Wedderburn theorem is a classification theorem for semisimple rings. The theorem states that a semisimple ring R is isomorphic to a product of ni by ni matrix rings over division rings Di , for some integers ni ,… … Wikipedia
Matrix ring — In abstract algebra, a matrix ring is any collection of matrices forming a ring under matrix addition and matrix multiplication. The set of n×n matrices with entries from another ring is a matrix ring, as well as some subsets of infinite matrices … Wikipedia
Quaternion — Quaternions, in mathematics, are a non commutative extension of complex numbers. They were first described by the Irish mathematician Sir William Rowan Hamilton in 1843 and applied to mechanics in three dimensional space. They find uses in both… … Wikipedia
Quaternion algebra — In mathematics, a quaternion algebra over a field, F , is a particular kind of central simple algebra, A , over F , namely such an algebra that has dimension 4, and therefore becomes the 2 times;2 matrix algebra over some field extension of F ,… … Wikipedia
Brauer group — In mathematics, the Brauer group arose out of an attempt to classify division algebras over a given field K . It is an abelian group with elements isomorphism classes of division algebras over K , such that the center is exactly K . The group is… … Wikipedia
