4
votes
0answers
209 views

Hermitian forms over quaternion algebra

Notations: Let $Q=(a,b)$ be a quaternion algebra over a field of characteristic $\neq 2$, i.e. $i^2=a, j^2=b, k=ij, ij=-ji$. Consider $K=k(t)(\alpha)$, where $\alpha=\sqrt{at^2+b}$. Let ...
3
votes
2answers
540 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 ...
1
vote
2answers
293 views

What structure supports division to a unique quotient and remainder?

This has been bugging me for a while. According to https://en.wikipedia.org/wiki/Euclidean_division, if I divide integer $a$ by integer $b$, I get unique $t$, $r$ such that $a = t b + r$, $0 \le r ...
2
votes
1answer
161 views

equivalence of maximal fields in division algebras

Let D be a division algebra over F, E its maximal field. Is it true that: 1) all such fields are equivalent over F? 2) all such fields are conjugate by inner automorphisms of D?
12
votes
1answer
713 views

finite dimensional real division algebras

A celebrated theorem of Milnor and Kervaire asserts that any finite dimensional division algebra over the real numbers has dimension 1,2,4 or 8. This result is established using methods from algebraic ...
12
votes
3answers
972 views

How to distinguish division algebras from matrix algebras?

Suppose $D$ is an explicitly given rank 9 central simple algebra over ${\mathbb Q}$ (or a number field). For example it could be specified by two cubic subfields ${\mathbb Q}(a), {\mathbb Q}(b)\subset ...
16
votes
3answers
1k 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 ...
4
votes
3answers
685 views

Splitting of a division algebra with an involution of second kind

Let $k$ be a field, $K/k$ a separable quadratic extension, and $D/K$ a central division algebra of dimension $r^2$ over $K$ with an involution $\sigma$ of second kind (i.e. $\sigma$ acts non-trivially ...
2
votes
1answer
575 views

Maximal subfield inside a central division algebra

D is a central division algebra over F. We know that we can always find a maximal subfield K inside D such that K/F is separable. I want to know can we always make it Galois?