# Questions tagged [division-algebras]

A division algebra $D$ is a vector spaces over a field $F$ equipped with a bilinear product and a multiplicative neutral element $1$. All the non-zero elements of $D$ have a multiplicative inverse. Associativity is often assumed but not always. Any field is a commutative, associative division algebra. A skewfield = a division ring is always a division algebra over its center. The quaternions form the best known non-commutative division algebra.

27 questions
5answers
6k views

### Why are the solutions of polynomial equations so unconstrained over the quaternions?

An $n$th-degree polynomial has at most $n$ distinct zeroes in the complex numbers. But it may have an uncountable set of zeroes in the quaternions. For example, $x^2+1$ has two zeroes in $\mathbb C$,...
5answers
7k views

1answer
820 views

### what are the p-adic division algebras?

Is there a classification of division algebras over $\mathbb{Q}_p$? There are field extensions of $\mathbb{Q}_p$, but are there any others? In particular, I want to know if they are all commutative. ...
3answers
521 views

### Nilpotent matrix over a division algebra

Suppose I have an $n\times n$ nilpotent matrix $A$. If the entries are from any field, then I can show that all eigenvalues are zero and the trace is zero. Indeed, if we consider the algebraic closure ...
1answer
614 views

### Is every endomorphism of the quaternion ring surjective?

Is the quaternion ring an EAS Division ring? An EAS Division ring is a ring $D$ such that each endomorphism of $D$ is surjective. I know that $\mathbb{R}$ and $\mathbb{Q}$ are EAS Division rings.
2answers
219 views

1answer
174 views

### Finite dimensional division algebras over the reals other than $\mathbb{R},\mathbb{C},\mathbb{H},$ or $\mathbb{O}$

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 ...
0answers
59 views

### A simple Artinian left quotient ring of a left Noetherian domain

Recall the following known result, Theorem 6.1: A ring $R$ is a prime left Goldie ring if and only if $R$ has a left quotient ring which is a matrix ring over a division ring (= simple Artinian). Now,...
1answer
74 views

### Polarization identity $2(a,b)(c,d)=(ac,bd)+(ad,bc)$

I am interested in following along this Wikipedia article's derivation of properties of composition algebras (in particular, Euclidean Hurwitz algebras). Let $A$ be a unital, not necessarily ...
0answers
130 views

### The ring of quotients of the first Weyl algebra

Since there are no comments to this question, I now restrict it to the following question: It is known that: A ring $R$ is a prime left Goldie ring if and only if $R$ has a left quotient ring which ...