2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/76896Let O^1 be a (cocompact) Fuchsian group, given as the group of units of norm one in a maximal order O in an indefinite quaternion division algebra over Q. Using the (classical) Selberg trace formula, we show that the eigenvalues of the automorphic Laplacian for O^1 and their multiplicities coincide with the eigenvalues and multiplicities of the Laplacian defined on the Maass newforms for the Hecke congruence group Gamma_0(d), when d is the discriminant of the maximal order O. We also show the equality of the traces of certain Hecke operators defined on the Laplace eigenspaces for O^1 and the newforms of level d, respectively.22 pagesSpectral TheoryNumber Theory11F72 (Primary); 30F35, 11F12, 11F32 (Secondary)text