 The main fact about these groups is that they are discrete subgroups and they have finite covolume for the Haar measure on formula_19.Moreover, the construction above yields a cocompact subgroup if and only if the algebra formula_23 is not split over formula_2.The discreteness is a rather immediate consequence of the fact that formula_23 is only split at its complex embeddings.