9
votes
1answer
342 views

Can a division algebra have degree divisible by its characteristic?

I apologize in advance if this is easy, but I've tried Googling, and had no luck. I'm currently working on a proof, and I realized in the course of writing that this proof will break if out there ...
4
votes
0answers
236 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
567 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
305 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
163 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
729 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
985 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
701 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
581 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?