Questions tagged [division-algebras]
The division-algebras tag has no usage guidance.
11
questions
14
votes
1
answer
2k
views
Finite dimensional real division algebras
A celebrated theorem of Milnor and Kervaire asserts that any finite dimensional (not necessarily associative, unital) division algebra over the real numbers has dimension 1,2,4 or 8. This result is ...
3
votes
2
answers
910
views
Skew fields inside quaternion division algebras
Suppose that $Q$ is a quaternion division algebra with center $k$, where $k$ is an arbitrary commutative field (let's say with $\operatorname{char}(k) \neq 2$ if necessary). Assume that $D$ is an ...
30
votes
3
answers
3k
views
Infinite-dimensional normed division algebras
Let's say a normed division algebra is a real vector space $A$ equipped with a bilinear product, an element $1$ such that $1a = a = a1$, and a norm obeying $|ab| = |a| |b|$.
There are only four ...
17
votes
4
answers
2k
views
Dimension of central simple algebra over a global field "built using class field theory".
If $F$ is a global field then a standard exact sequence relating the Brauer groups of $F$ and its completions is the following:
$$0\to Br(F)\to\oplus_v Br(F_v)\to\mathbf{Q}/\mathbf{Z}\to 0.$$
The ...
10
votes
2
answers
874
views
Are there nonlinear projective spaces?
This is actually a series of questions posed by Guram Berishvili about the structure he calls marao. Everything I am going to write here I took (and messed up) from his home page which is all in ...
9
votes
2
answers
292
views
What is the quotient group $D^*/{F^*(1+P_D)}$ for a quaternion division algebra $D$ over a local field $F$?
Let $F$ be the non-archimedean local field $\mathbb{Q}_p$ for some prime $p$ and $D$ be a quaternion division algebra over $F$. Let $\mathcal{O}_D$ and $\mathcal{P}_D$ denote the ring of integers of $...
7
votes
1
answer
507
views
When is $GL_m(R)$ generated by elementary and diagonal matrices?
Let $D$ be a division ring and $R=D[t_1,\ldots,t_n]$ the polynomial ring in $n$ variables. Now let $GL_m(R),\,E_m(R)$ be the usual general linear group and its subgroup generated by the elementary ...
6
votes
1
answer
430
views
Octonion algebras over $\mathbb{F}_p(t)$
In their book Octonions, Jordan Algebras and Exceptional groups
Springer and Veldkamp have a subsection called 'Classification over special fields' in which they describe the number of division and ...
3
votes
1
answer
510
views
Is there a classification of the $p$-adic normed division algebras?
A normed division algebra over $\mathbb{R}$ is a pair $(A,\lVert{-}\rVert)$ with
$A$ an $\mathbb{R}$-algebra with a unit $1_A$;
$\lVert{-}\rVert\colon A\to\mathbb{R}_{\geq0}$ a norm on $A$;
such ...
3
votes
1
answer
332
views
cubic forms and finiteness of $k^*/(k^*)^3$
In some recent computation I came across certain cubic forms and was wondering about analogue of following result for quadratic forms.
If $k^*/(k^*)^2$ is finite then there are only finitely many ...
-2
votes
4
answers
2k
views
Why don't quaternions have an overall phase? [closed]
The product of a quaternion multiplied by a real number is a quaternion, but the product of a quaternion multiplied by a complex number is not in general a quaternion. Why are the quaternions defined ...