9
votes
1answer
392 views

Structure of units in a maximal order

Hello, my question is simple: do we have a "Dirichlet's unit theorem" for the group of units of a maximal order of a central division algebra ? In other words: let $k$ be a number field, let $D$ be ...
2
votes
1answer
155 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
3answers
957 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 ...
11
votes
2answers
658 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 ...
11
votes
4answers
898 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 ...