Der Satz besagt, dass es bis auf Isomorphie nur drei endlichdimensionale, assoziative Divisionsalgebren über den reellen Zahlen gibt: selbst, die komplexen Zahlen und die Quaternionen.
de.wikipedia.org Fazit: Die oben beschriebene Konstruktion eines reduzierten Wurzelsystems ist eine Isomorphie-Invariante der Lie-Algebra, das heißt, isomorphe, endlichdimensionale, halbeinfache Lie-Algebren haben isomorphe Wurzelsysteme.
de.wikipedia.org Eine (und damit bis auf Isomorphie genau eine) saturierte dichte lineare Ordnung ohne Endpunkte der Kardinalität (d. h., sie ist -saturiert) existiert genau dann, wenn regulär ist und.
de.wikipedia.org Da die -Gruppe eine Isomorphie-Invariante ist, folgt sofort die Behauptung.
de.wikipedia.org Des Weiteren sind die Quaternionen eine vierdimensionale Divisionsalgebra über – und bis auf Isomorphie die einzige.
de.wikipedia.org