Structure of units in a maximal order - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T00:42:06Z http://mathoverflow.net/feeds/question/109800 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/109800/structure-of-units-in-a-maximal-order Structure of units in a maximal order GreginGre 2012-10-16T09:36:27Z 2012-10-18T10:55:03Z <p>Hello,</p> <p>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 ?</p> <p>In other words: let $k$ be a number field, let $D$ be a central division $k$-algebra (i.e. a skew field with center $k$), and let $\Lambda$ be a maximal order over $\mathcal{O}_k$.</p> <p>Is $\Lambda^\times$ a finitely generated group ? what is known about its group structure ?</p> <p>I browsed the web and looked at Reiner's "Maximal orders" but didn't find anything.</p> <p>I'm happy to assume that $D$ satisfies Eichler's condition if necessary.</p> <p>In fact, my original question is even more precise: $k/\mathbb{Q}$ is quadratic imaginary, $D$ carries a unitary involution $\tau$ (which therefore restricts to complex conjugation on $k$), and I am interested in the structure of UNITARY units in a maximal order $\Lambda$.</p> <p>If anyone knows any results/references, I would be happy to know them.</p> <p>Thanks in advance!</p> <p>Greg </p> http://mathoverflow.net/questions/109800/structure-of-units-in-a-maximal-order/110004#110004 Answer by RV for Structure of units in a maximal order RV 2012-10-18T10:55:03Z 2012-10-18T10:55:03Z <p>Hello Greg!</p> <p>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.</p> <p>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.</p> <p>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.</p> <p>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. </p> <p>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. </p> <p>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.</p> <p>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. </p>