Finite dimensional division algebras over the reals other than $mathbbR,mathbbC,mathbbH,$ or $mathbbO$
Clash Royale CLAN TAG#URR8PPP
up vote
1
down vote
favorite
Have all the finite-dimensional division algebras over the reals been discovered/classified?
The are many layman accessible sources on the web describing different properties of such algebras, but all the ones I have come across seem to stop short of fully restricting them to $mathbbR,mathbbC,mathbbH,$ or $mathbbO$, yet do not mention the existence of anything beyond those four.
The wikipedia page on division algebras mentions that any finite-dimensional division algebra over the reals must be of dimension 1, 2, 4, or 8.
It also mentions the only finite-dimensional division algebras over the real numbers which are alternative algebras are the real numbers themselves, the complex numbers, the quaternions, and the octonions. (And this claims we don't even need the finite-dimensional qualifier for the last statement.)
Hurwitz's theorem tells us that these are also the only normed unital division algebras over the reals.
So any finite dimensional division algebra over the reals other than $mathbbR,mathbbC,mathbbH,$ or $mathbbO$ cannot have a norm if it is unital, nor have a matrix representation, nor even be alternative. Are there any known examples? Have all the possibilities been classified?
abstract-algebra real-numbers division-algebras
asked Aug 24 at 5:36
PPenguin
31018
add a comment |Â
up vote
1
down vote
favorite
Have all the finite-dimensional division algebras over the reals been discovered/classified?
The are many layman accessible sources on the web describing different properties of such algebras, but all the ones I have come across seem to stop short of fully restricting them to $mathbbR,mathbbC,mathbbH,$ or $mathbbO$, yet do not mention the existence of anything beyond those four.
The wikipedia page on division algebras mentions that any finite-dimensional division algebra over the reals must be of dimension 1, 2, 4, or 8.
It also mentions the only finite-dimensional division algebras over the real numbers which are alternative algebras are the real numbers themselves, the complex numbers, the quaternions, and the octonions. (And this claims we don't even need the finite-dimensional qualifier for the last statement.)
Hurwitz's theorem tells us that these are also the only normed unital division algebras over the reals.
So any finite dimensional division algebra over the reals other than $mathbbR,mathbbC,mathbbH,$ or $mathbbO$ cannot have a norm if it is unital, nor have a matrix representation, nor even be alternative. Are there any known examples? Have all the possibilities been classified?
abstract-algebra real-numbers division-algebras
asked Aug 24 at 5:36
PPenguin
31018
Inspired by this answer math.stackexchange.com/a/2154089/432537 which mentions there exist some 2 dimensional real division algebras other than the complex numbers.
– PPenguin
Aug 24 at 5:39
I couldn't help noticing that the related nLab pages don't agree with each other in the relevant definitions. For example, their definition requires that a division algebra should also be a division ring. And (one click further) their definition of a division ring requires associativity, contrary to specifically stating that a division algebra need not be associative. Anyway, I'm too fond of associativity to think about your question. I would ping the arctic tern for comments.
– Jyrki Lahtonen
Aug 24 at 7:15
I don't recall about classifying general non-associative algebras, but some examples are given by doubling: en.wikipedia.org/wiki/Cayley%E2%80%93Dickson_construction
– Kimball
Aug 24 at 22:02
classification of 2D division algebras over the reals is discussed in this answer math.stackexchange.com/a/2894443/432537
– PPenguin
Aug 26 at 0:12
add a comment |Â
up vote
1
down vote
favorite
up vote
1
down vote
favorite
Have all the finite-dimensional division algebras over the reals been discovered/classified?
The are many layman accessible sources on the web describing different properties of such algebras, but all the ones I have come across seem to stop short of fully restricting them to $mathbbR,mathbbC,mathbbH,$ or $mathbbO$, yet do not mention the existence of anything beyond those four.
The wikipedia page on division algebras mentions that any finite-dimensional division algebra over the reals must be of dimension 1, 2, 4, or 8.
It also mentions the only finite-dimensional division algebras over the real numbers which are alternative algebras are the real numbers themselves, the complex numbers, the quaternions, and the octonions. (And this claims we don't even need the finite-dimensional qualifier for the last statement.)
Hurwitz's theorem tells us that these are also the only normed unital division algebras over the reals.
So any finite dimensional division algebra over the reals other than $mathbbR,mathbbC,mathbbH,$ or $mathbbO$ cannot have a norm if it is unital, nor have a matrix representation, nor even be alternative. Are there any known examples? Have all the possibilities been classified?
abstract-algebra real-numbers division-algebras
asked Aug 24 at 5:36
PPenguin
31018
Have all the finite-dimensional division algebras over the reals been discovered/classified?
The are many layman accessible sources on the web describing different properties of such algebras, but all the ones I have come across seem to stop short of fully restricting them to $mathbbR,mathbbC,mathbbH,$ or $mathbbO$, yet do not mention the existence of anything beyond those four.
The wikipedia page on division algebras mentions that any finite-dimensional division algebra over the reals must be of dimension 1, 2, 4, or 8.
It also mentions the only finite-dimensional division algebras over the real numbers which are alternative algebras are the real numbers themselves, the complex numbers, the quaternions, and the octonions. (And this claims we don't even need the finite-dimensional qualifier for the last statement.)
Hurwitz's theorem tells us that these are also the only normed unital division algebras over the reals.
So any finite dimensional division algebra over the reals other than $mathbbR,mathbbC,mathbbH,$ or $mathbbO$ cannot have a norm if it is unital, nor have a matrix representation, nor even be alternative. Are there any known examples? Have all the possibilities been classified?
abstract-algebra real-numbers division-algebras
asked Aug 24 at 5:36
PPenguin
31018
edited Aug 27 at 0:57
asked Aug 24 at 5:36
PPenguin
31018
asked Aug 24 at 5:36
PPenguin
31018
asked Aug 24 at 5:36
PPenguin
31018
31018
Inspired by this answer math.stackexchange.com/a/2154089/432537 which mentions there exist some 2 dimensional real division algebras other than the complex numbers.
– PPenguin
Aug 24 at 5:39
I couldn't help noticing that the related nLab pages don't agree with each other in the relevant definitions. For example, their definition requires that a division algebra should also be a division ring. And (one click further) their definition of a division ring requires associativity, contrary to specifically stating that a division algebra need not be associative. Anyway, I'm too fond of associativity to think about your question. I would ping the arctic tern for comments.
– Jyrki Lahtonen
Aug 24 at 7:15
I don't recall about classifying general non-associative algebras, but some examples are given by doubling: en.wikipedia.org/wiki/Cayley%E2%80%93Dickson_construction
– Kimball
Aug 24 at 22:02
classification of 2D division algebras over the reals is discussed in this answer math.stackexchange.com/a/2894443/432537
– PPenguin
Aug 26 at 0:12
add a comment |Â
Inspired by this answer math.stackexchange.com/a/2154089/432537 which mentions there exist some 2 dimensional real division algebras other than the complex numbers.
– PPenguin
Aug 24 at 5:39
I couldn't help noticing that the related nLab pages don't agree with each other in the relevant definitions. For example, their definition requires that a division algebra should also be a division ring. And (one click further) their definition of a division ring requires associativity, contrary to specifically stating that a division algebra need not be associative. Anyway, I'm too fond of associativity to think about your question. I would ping the arctic tern for comments.
– Jyrki Lahtonen
Aug 24 at 7:15
I don't recall about classifying general non-associative algebras, but some examples are given by doubling: en.wikipedia.org/wiki/Cayley%E2%80%93Dickson_construction
– Kimball
Aug 24 at 22:02
classification of 2D division algebras over the reals is discussed in this answer math.stackexchange.com/a/2894443/432537
– PPenguin
Aug 26 at 0:12
Inspired by this answer math.stackexchange.com/a/2154089/432537 which mentions there exist some 2 dimensional real division algebras other than the complex numbers.
– PPenguin
Aug 24 at 5:39
Inspired by this answer math.stackexchange.com/a/2154089/432537 which mentions there exist some 2 dimensional real division algebras other than the complex numbers.
– PPenguin
Aug 24 at 5:39
I couldn't help noticing that the related nLab pages don't agree with each other in the relevant definitions. For example, their definition requires that a division algebra should also be a division ring. And (one click further) their definition of a division ring requires associativity, contrary to specifically stating that a division algebra need not be associative. Anyway, I'm too fond of associativity to think about your question. I would ping the arctic tern for comments.
– Jyrki Lahtonen
Aug 24 at 7:15
I couldn't help noticing that the related nLab pages don't agree with each other in the relevant definitions. For example, their definition requires that a division algebra should also be a division ring. And (one click further) their definition of a division ring requires associativity, contrary to specifically stating that a division algebra need not be associative. Anyway, I'm too fond of associativity to think about your question. I would ping the arctic tern for comments.
– Jyrki Lahtonen
Aug 24 at 7:15
I don't recall about classifying general non-associative algebras, but some examples are given by doubling: en.wikipedia.org/wiki/Cayley%E2%80%93Dickson_construction
– Kimball
Aug 24 at 22:02
I don't recall about classifying general non-associative algebras, but some examples are given by doubling: en.wikipedia.org/wiki/Cayley%E2%80%93Dickson_construction
– Kimball
Aug 24 at 22:02
classification of 2D division algebras over the reals is discussed in this answer math.stackexchange.com/a/2894443/432537
– PPenguin
Aug 26 at 0:12
classification of 2D division algebras over the reals is discussed in this answer math.stackexchange.com/a/2894443/432537
– PPenguin
Aug 26 at 0:12
add a comment |Â
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2892818%2ffinite-dimensional-division-algebras-over-the-reals-other-than-mathbbr-math%23new-answer', 'question_page');
);
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Inspired by this answer math.stackexchange.com/a/2154089/432537 which mentions there exist some 2 dimensional real division algebras other than the complex numbers.
– PPenguin
Aug 24 at 5:39
I couldn't help noticing that the related nLab pages don't agree with each other in the relevant definitions. For example, their definition requires that a division algebra should also be a division ring. And (one click further) their definition of a division ring requires associativity, contrary to specifically stating that a division algebra need not be associative. Anyway, I'm too fond of associativity to think about your question. I would ping the arctic tern for comments.
– Jyrki Lahtonen
Aug 24 at 7:15
I don't recall about classifying general non-associative algebras, but some examples are given by doubling: en.wikipedia.org/wiki/Cayley%E2%80%93Dickson_construction
– Kimball
Aug 24 at 22:02
classification of 2D division algebras over the reals is discussed in this answer math.stackexchange.com/a/2894443/432537
– PPenguin
Aug 26 at 0:12