{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T20:04:24Z","timestamp":1776801864329,"version":"3.51.2"},"reference-count":33,"publisher":"American Mathematical Society (AMS)","issue":"301","license":[{"start":{"date-parts":[[2016,12,31]],"date-time":"2016-12-31T00:00:00Z","timestamp":1483142400000},"content-version":"am","delay-in-days":366,"URL":"https:\/\/www.ams.org\/publications\/copyright-and-permissions"}],"funder":[{"DOI":"10.13039\/501100003130","name":"Fonds Wetenschappelijk Onderzoek","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003130","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003130","name":"Fonds Wetenschappelijk Onderzoek","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100003130","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Comp."],"abstract":"

\n The problem of describing the group of units\n \n \n \n \n \n U<\/mml:mi>\n <\/mml:mrow>\n (<\/mml:mo>\n \n Z<\/mml:mi>\n <\/mml:mrow>\n G<\/mml:mi>\n )<\/mml:mo>\n <\/mml:mrow>\n \\mathcal {U}(\\mathbb {Z} G)<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n of the integral group ring\n \n \n \n \n \n Z<\/mml:mi>\n <\/mml:mrow>\n G<\/mml:mi>\n <\/mml:mrow>\n \\mathbb {Z} G<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n of a finite group\n \n \n \n G<\/mml:mi>\n G<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n has attracted a lot of attention and providing presentations for such groups is a fundamental problem. Within the context of orders, a central problem is to describe a presentation of the unit group of an order\n \n \n \n \n O<\/mml:mi>\n <\/mml:mrow>\n \\mathcal {O}<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n in the simple epimorphic images\n \n \n \n A<\/mml:mi>\n A<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n of the rational group algebra\n \n \n \n \n \n Q<\/mml:mi>\n <\/mml:mrow>\n G<\/mml:mi>\n <\/mml:mrow>\n \\mathbb {Q} G<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n . Making use of the presentation part of Poincar\u00e9\u2019s polyhedron theorem, Pita, del R\u00edo and Ruiz proposed such a method for a large family of finite groups\n \n \n \n G<\/mml:mi>\n G<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n and consequently Jespers, Pita, del R\u00edo, Ruiz and Zalesskii described the structure of\n \n \n \n \n \n U<\/mml:mi>\n <\/mml:mrow>\n (<\/mml:mo>\n \n Z<\/mml:mi>\n <\/mml:mrow>\n G<\/mml:mi>\n )<\/mml:mo>\n <\/mml:mrow>\n \\mathcal {U}(\\mathbb {Z} G)<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n for a large family of finite groups\n \n \n \n G<\/mml:mi>\n G<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n . In order to handle many more groups, one would like to extend Poincar\u00e9\u2019s method to discontinuous subgroups of the group of isometries of a direct product of hyperbolic spaces. If the algebra\n \n \n \n A<\/mml:mi>\n A<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n has degree 2 then via the Galois embeddings of the centre of the algebra\n \n \n \n A<\/mml:mi>\n A<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n one considers the group of reduced norm one elements of the order\n \n \n \n \n O<\/mml:mi>\n <\/mml:mrow>\n \\mathcal {O}<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n as such a group and thus one would obtain a solution to the mentioned problem. This would provide presentations of the unit group of orders in the simple components of degree 2 of\n \n \n \n \n \n Q<\/mml:mi>\n <\/mml:mrow>\n G<\/mml:mi>\n <\/mml:mrow>\n \\mathbb {Q} G<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n and in particular describe the unit group of\n \n \n \n \n \n Z<\/mml:mi>\n <\/mml:mrow>\n G<\/mml:mi>\n <\/mml:mrow>\n \\mathbb {Z} G<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n for every group\n \n \n \n G<\/mml:mi>\n G<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n with irreducible character degrees less than or equal to 2. The aim of this paper is to initiate this approach by executing this method on the Hilbert modular group, i.e., the projective linear group of degree two over the ring of integers in a real quadratic extension of the rationals. This group acts discontinuously on a direct product of two hyperbolic spaces of dimension two. The fundamental domain constructed is an analogue of the Ford domain of a Fuchsian or a Kleinian group.\n <\/p>","DOI":"10.1090\/mcom\/3071","type":"journal-article","created":{"date-parts":[[2015,4,30]],"date-time":"2015-04-30T10:15:29Z","timestamp":1430388929000},"page":"2515-2552","source":"Crossref","is-referenced-by-count":2,"title":["Presentations of groups acting discontinuously on direct products of hyperbolic spaces"],"prefix":"10.1090","volume":"85","author":[{"given":"E.","family":"Jespers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Kiefer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"\u00c1.","family":"del R\u00edo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"14","published-online":{"date-parts":[[2015,12,31]]},"reference":[{"key":"1","doi-asserted-by":"crossref","first-page":"198","DOI":"10.1215\/ijm\/1255629818","article-title":"Groups with representations of bounded degree. II","volume":"5","author":"Amitsur, S. A.","year":"1961","journal-title":"Illinois J. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0019-2082","issn-type":"print"},{"key":"2","series-title":"Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)]","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03718-8","volume-title":"Real algebraic geometry","volume":"36","author":"Bochnak, Jacek","year":"1998","ISBN":"https:\/\/id.crossref.org\/isbn\/3540646639"},{"key":"3","series-title":"Graduate Texts in Mathematics","isbn-type":"print","volume-title":"The geometry of discrete groups","volume":"91","author":"Beardon, Alan F.","year":"1995","ISBN":"https:\/\/id.crossref.org\/isbn\/0387907882"},{"key":"4","series-title":"Pure and Applied Mathematics, Vol. 20","volume-title":"Number theory","author":"Borevich, A. I.","year":"1966"},{"issue":"2","key":"5","doi-asserted-by":"publisher","first-page":"498","DOI":"10.1016\/j.aim.2003.07.015","article-title":"Presentations of the unit group of an order in a non-split quaternion algebra","volume":"186","author":"Corrales, Capi","year":"2004","journal-title":"Adv. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0001-8708","issn-type":"print"},{"key":"6","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/j.jalgebra.2015.01.022","article-title":"Computing in arithmetic groups with Vorono\u00ef\u2019s algorithm","volume":"435","author":"Braun, Oliver","year":"2015","journal-title":"J. Algebra","ISSN":"https:\/\/id.crossref.org\/issn\/0021-8693","issn-type":"print"},{"key":"7","doi-asserted-by":"publisher","first-page":"594","DOI":"10.2307\/2003942","article-title":"A numerical survey of the floors of various Hilbert fundamental domains","volume":"19","author":"Cohn, Harvey","year":"1965","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"key":"8","doi-asserted-by":"crossref","unstructured":"[Coh65b] Harvey Cohn, On the shape of the fundamental domain of the Hilbert modular group, Proc. Sympos. Pure Math., Vol. VIII, Amer. Math. Soc., Providence, R.I., 1965, pp. 190\u2013202.","DOI":"10.1090\/pspum\/008\/9997"},{"issue":"2","key":"9","doi-asserted-by":"publisher","first-page":"700","DOI":"10.1016\/j.camwa.2009.10.023","article-title":"Conjectures on the fundamental domain of the Hilbert modular group","volume":"59","author":"Deutsch, Jesse Ira","year":"2010","journal-title":"Comput. Math. Appl.","ISSN":"https:\/\/id.crossref.org\/issn\/0898-1221","issn-type":"print"},{"key":"10","series-title":"Springer Monographs in Mathematics","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03626-6","volume-title":"Groups acting on hyperbolic space","author":"Elstrodt, J.","year":"1998","ISBN":"https:\/\/id.crossref.org\/isbn\/3540627456"},{"issue":"285","key":"11","doi-asserted-by":"publisher","first-page":"461","DOI":"10.1090\/S0025-5718-2013-02718-4","article-title":"Writing units of integral group rings of finite abelian groups as a product of Bass units","volume":"83","author":"Jespers, Eric","year":"2014","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"issue":"293","key":"12","doi-asserted-by":"publisher","first-page":"1489","DOI":"10.1090\/S0025-5718-2014-02865-2","article-title":"From the Poincar\u00e9 theorem to generators of the unit group of integral group rings of finite groups","volume":"84","author":"Jespers, E.","year":"2015","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"key":"13","doi-asserted-by":"crossref","unstructured":"[JKDR15] E. Jespers, A. Kiefer, and A. Del R\u00edo, Revisiting Poincar\u00e9\u2019s theorem on presentations of discontinuous groups via fundamental polyhedra, Expositiones Mathematicae (2015).","DOI":"10.1016\/j.exmath.2015.01.001"},{"issue":"3","key":"14","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1007\/BF02599315","article-title":"Generators of large subgroups of the unit group of integral group rings","volume":"78","author":"Jespers, Eric","year":"1993","journal-title":"Manuscripta Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-2611","issn-type":"print"},{"key":"15","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/j.jalgebra.2013.04.020","article-title":"Group rings of finite strongly monomial groups: central units and primitive idempotents","volume":"387","author":"Jespers, Eric","year":"2013","journal-title":"J. Algebra","ISSN":"https:\/\/id.crossref.org\/issn\/0021-8693","issn-type":"print"},{"issue":"3","key":"16","doi-asserted-by":"publisher","first-page":"367","DOI":"10.1017\/S0017089500009952","article-title":"Units of group rings of groups of order 16","volume":"35","author":"Jespers, E.","year":"1993","journal-title":"Glasgow Math. J.","ISSN":"https:\/\/id.crossref.org\/issn\/0017-0895","issn-type":"print"},{"issue":"2","key":"17","doi-asserted-by":"publisher","first-page":"692","DOI":"10.1016\/j.aim.2006.11.005","article-title":"Groups of units of integral group rings commensurable with direct products of free-by-free groups","volume":"212","author":"Jespers, Eric","year":"2007","journal-title":"Adv. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0001-8708","issn-type":"print"},{"issue":"2","key":"18","first-page":"26","article-title":"\u00dcber Gruppen von hyperabelschen Transformationen","volume":"1940","author":"Maass, Hans","year":"1940","journal-title":"S.-B. Heidelberger Akad. Wiss."},{"key":"19","doi-asserted-by":"publisher","first-page":"473","DOI":"10.2307\/1970405","article-title":"Groups of homeomorphisms of a simply connected space","volume":"79","author":"Macbeath, A. M.","year":"1964","journal-title":"Ann. of Math. (2)","ISSN":"https:\/\/id.crossref.org\/issn\/0003-486X","issn-type":"print"},{"key":"20","doi-asserted-by":"publisher","first-page":"473","DOI":"10.2307\/1970405","article-title":"Groups of homeomorphisms of a simply connected space","volume":"79","author":"Macbeath, A. M.","year":"1964","journal-title":"Ann. of Math. (2)","ISSN":"https:\/\/id.crossref.org\/issn\/0003-486X","issn-type":"print"},{"key":"21","series-title":"Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]","isbn-type":"print","volume-title":"Kleinian groups","volume":"287","author":"Maskit, Bernard","year":"1988","ISBN":"https:\/\/id.crossref.org\/isbn\/3540177469"},{"issue":"2","key":"22","doi-asserted-by":"publisher","first-page":"856","DOI":"10.1016\/j.jalgebra.2007.03.026","article-title":"Group algebras of Kleinian type and groups of units","volume":"318","author":"Olteanu, Gabriela","year":"2007","journal-title":"J. Algebra","ISSN":"https:\/\/id.crossref.org\/issn\/0021-8693","issn-type":"print"},{"key":"23","isbn-type":"print","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1201\/9781420010961.ch30","article-title":"Presentation of the group of units of \u2124\ud835\udd3b\u207b\u2081\u2086","author":"Pita, Antonio","year":"2006","ISBN":"https:\/\/id.crossref.org\/isbn\/9781584885818"},{"issue":"8","key":"24","doi-asserted-by":"publisher","first-page":"3215","DOI":"10.1090\/S0002-9947-04-03574-3","article-title":"Groups of units of integral group rings of Kleinian type","volume":"357","author":"Pita, Antonio","year":"2005","journal-title":"Trans. Amer. Math. Soc.","ISSN":"https:\/\/id.crossref.org\/issn\/0002-9947","issn-type":"print"},{"issue":"7","key":"25","doi-asserted-by":"publisher","first-page":"2387","DOI":"10.1090\/S0002-9939-08-09262-9","article-title":"Counting cusps of subgroups of \ud835\udc43\ud835\udc46\ud835\udc3f\u2082(\ud835\udcaa_{\ud835\udca6})","volume":"136","author":"Petersen, Kathleen L.","year":"2008","journal-title":"Proc. Amer. Math. Soc.","ISSN":"https:\/\/id.crossref.org\/issn\/0002-9939","issn-type":"print"},{"key":"26","series-title":"Graduate Texts in Mathematics","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4013-4","volume-title":"Foundations of hyperbolic manifolds","volume":"149","author":"Ratcliffe, John G.","year":"1994","ISBN":"https:\/\/id.crossref.org\/isbn\/038794348X"},{"key":"27","isbn-type":"print","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1090\/conm\/093\/1003362","article-title":"Generators of subgroups of \ud835\udc48(\ud835\udc19\ud835\udc06)","author":"Ritter, J\u00fcrgen","year":"1989","ISBN":"https:\/\/id.crossref.org\/isbn\/0821850989"},{"issue":"2","key":"28","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1016\/0021-8693(91)90322-Y","article-title":"Construction of units in group rings of monomial and symmetric groups","volume":"142","author":"Ritter, J\u00fcrgen","year":"1991","journal-title":"J. Algebra","ISSN":"https:\/\/id.crossref.org\/issn\/0021-8693","issn-type":"print"},{"issue":"2","key":"29","doi-asserted-by":"publisher","first-page":"603","DOI":"10.2307\/2001734","article-title":"Construction of units in integral group rings of finite nilpotent groups","volume":"324","author":"Ritter, J\u00fcrgen","year":"1991","journal-title":"Trans. Amer. Math. Soc.","ISSN":"https:\/\/id.crossref.org\/issn\/0002-9947","issn-type":"print"},{"key":"30","series-title":"Pitman Monographs and Surveys in Pure and Applied Mathematics","isbn-type":"print","volume-title":"Units in integral group rings","volume":"69","author":"Sehgal, S. K.","year":"1993","ISBN":"https:\/\/id.crossref.org\/isbn\/0582230810"},{"key":"31","isbn-type":"print","volume-title":"Basic algebraic geometry. 1","author":"Shafarevich, Igor R.","year":"1994","ISBN":"https:\/\/id.crossref.org\/isbn\/3540548122","edition":"2"},{"key":"32","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0001-8708(71)90027-2","article-title":"Generators and relations for certain special linear groups","volume":"6","author":"Swan, Richard G.","year":"1971","journal-title":"Advances in Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0001-8708","issn-type":"print"},{"issue":"2","key":"33","first-page":"469","article-title":"Computing fundamental domains for Fuchsian groups","volume":"21","author":"Voight, John","year":"2009","journal-title":"J. Th\\'{e}or. Nombres Bordeaux","ISSN":"https:\/\/id.crossref.org\/issn\/1246-7405","issn-type":"print"}],"container-title":["Mathematics of Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.ams.org\/mcom\/2016-85-301\/S0025-5718-2015-03071-3\/S0025-5718-2015-03071-3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/www.ams.org\/mcom\/2016-85-301\/S0025-5718-2015-03071-3\/S0025-5718-2015-03071-3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T18:53:54Z","timestamp":1776797634000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ams.org\/mcom\/2016-85-301\/S0025-5718-2015-03071-3\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,12,31]]},"references-count":33,"journal-issue":{"issue":"301","published-print":{"date-parts":[[2016,9]]}},"alternative-id":["S0025-5718-2015-03071-3"],"URL":"https:\/\/doi.org\/10.1090\/mcom\/3071","archive":["CLOCKSS","Portico"],"relation":{},"ISSN":["1088-6842","0025-5718"],"issn-type":[{"value":"1088-6842","type":"electronic"},{"value":"0025-5718","type":"print"}],"subject":[],"published":{"date-parts":[[2015,12,31]]}}}