# Units in indefinite quaternionic algebra

This is the opposite to my last question case.

Let $F$ be a totally real number field, $R$ is a quaternion algebra over $F$ unramified in at least one infinite place of $F$. Let $\mathcal{O}⊂R$ be an order.

Can I explicitly compute the rank and generators of the group of units $\mathcal{O}^{\times}$ in terms of, say, some basis in $R/F$?

It seems that the rank is related to the corresponding Shimura curve, but I do not see how this helps.

• What do you mean by rank of this noncommutative group? – Aurel Sep 26 '16 at 22:00
• @Aurel Just the minimal number of generators – SashaP Sep 26 '16 at 23:03
• Ok, then in the Fuchsian case (only one split real place) maybe you can compute the rank without actually computing generators, using standard presentations of Fuchsian groups. I think this is also discussed in Voight's article I mention below. – Aurel Sep 26 '16 at 23:55