# Tagged Questions

**9**

votes

**1**answer

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

**0**answers

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

**2**answers

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

**2**answers

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

**1**answer

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

**1**answer

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

**3**answers

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

**3**answers

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

**3**answers

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

**1**answer

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?