Hello Greg!

I'm not a specialist on the subject (and might have misunderstood something), but I did search on this issue while ago so here are my impressions.

I think that the answer to the first general question is negative (at least in strong sense).
Dirichlet's theorem describes the unit group algebraically almost completely in terms of signature.
In most cases (and in particular in the case you are interested in) the unit group of a maximal order of
a division algebra is a very complicated object and as far as I know there is no general theorem that gives a good
idea of the algebraic structure of this group.

An example of troubles one encounters in division algebras: "Presentations of the unit group of an order in a
non-split quaternion algebra" Capi Corrales,a, Eric Jespers, Guilherme Leal,
and Angel del Riod, Advances in Mathematics 186 (2004) 498–524.

Probably the best overall sources on the subject are Ernst Kleinert's book (Units in skew fields) and a survey article(Units of classical orders,
Enseigment mathematique, 1994). One of his central themes is consideration of what should an analogue of Dirichlet unit theorem look like in a
division algebra. So these references are probably quite a good answer to your general question.

While the algebraic side of Dirichlet's theorem seem to be quite hard to generalize,
there is also the geometric side, which describes how "dense" the unit group is geometrically if we consider the ring of algebraic integers as a lattice through the usual Minkowski embedding.

In the case you are interested the unit group has a subgroup of finite index (the norm 1 group), which is a co-compact subgroup in $SL_n(C)$.
The "density" of this norm 1 group is decided by algebraic invariants of the division algebra. So in this sense we can generalize the geometric
side of Dirichlet's theorem. Here the key word is point counting in Lie groups. There is a recent book on the subject:
The Ergodic Theory of Lattice Subgroups, A. Gorodnik and A. Nevo, Princeton University Press, 2010.

If you are interested in for example of the number of unitary units (if I understood what you are asking it is indeed a finite number) I don't think this approach helps much.
Actually even the original Dirichlet's theorem does not directly tell much about the roots of unity part, except that it exist and is generated by a single element.

3more comments