# Tagged Questions

A division ring is a possibly noncommutative ring where every nonzero element has a two-sided multiplicative inverse.

206 views

### Division ring on a field

Suppose that $F$ is a field. Show that there exists a $F$-division algebra $D$ with two elements $a\neq b\in D$ such that $a^2-2ab+b^2=0$. In the field extensions we know that $a^2-2ab+b^2=0$ if and ...
78 views

### Galois extensions inside a division ring

Let $D$ be a division ring which has finite dimension over its centre. Q1. Under which conditions can one find a maximal subfield $K$ of $D$ and a proper subfield $L$ of $K$ such that $K/L$ is Galois?...
75 views

331 views

### Analysis in Division Rings

In the question here, the subject of "Analysis in Positive Characteristic" is mentioned. Looking at Wikipedia's local field, this is the final type of analysis in local fields to be developed ...
219 views

### (Non-)existence of skew fields satisfying a SGPI (=skew generalized polynomial identity)

Let $K$ be a skew-field, infinite dimensional over its center $F$. From Kaplansky's PI-theorem it then follows that $K$ cannot satisfy a polynomial identity (the theorem says that primitive PI-...
441 views

### Bimodules over division rings

Inspired by other questions i have two questions about modules over division rings: given a division ring $D$ with center $Z(D)=K$. One has the notion of dimension for left modules (vector spaces) $V$ ...
288 views

### Uniqueness of maximal subfields

Let D be a division ring with center Z. Let R and K be two maximal subfields of D, both purely inseparable of exponent one ( means the p power of each of them in Z). Why are R and K isomorphic? Or a ...
726 views

### units in distinct division algebras over number fields---are they definitely not isomorphic as abstract groups?

This is really an irrelevant question in the sense that the answer isn't remotely "logically crucial for the Langlands programme" or whatever---it's just something that occurred to me when writing ...
1k 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 ...