{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T23:47:03Z","timestamp":1776728823691,"version":"3.51.2"},"reference-count":19,"publisher":"American Mathematical Society (AMS)","issue":"243","license":[{"start":{"date-parts":[[2004,1,13]],"date-time":"2004-01-13T00:00:00Z","timestamp":1073952000000},"content-version":"am","delay-in-days":365,"URL":"https:\/\/www.ams.org\/publications\/copyright-and-permissions"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Comp."],"abstract":"

\n Let\n \n \n \n \n k<\/mml:mi>\n <\/mml:mrow>\n \\mathbf {k}<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n be a global field with maximal order\n \n \n \n \n \n o<\/mml:mi>\n <\/mml:mrow>\n \n \n k<\/mml:mi>\n <\/mml:mrow>\n <\/mml:mrow>\n <\/mml:msub>\n \\mathfrak o_{\\mathbf k}<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n and let\n \n \n \n \n \n \n m<\/mml:mi>\n <\/mml:mrow>\n <\/mml:mrow>\n \n 0<\/mml:mn>\n <\/mml:mrow>\n <\/mml:msub>\n {\\mathfrak {m}}_{0}<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n be an ideal of\n \n \n \n \n \n o<\/mml:mi>\n <\/mml:mrow>\n \n \n k<\/mml:mi>\n <\/mml:mrow>\n <\/mml:mrow>\n <\/mml:msub>\n \\mathfrak o_{\\mathbf k}<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n . We present algorithms for the computation of the multiplicative group\n \n \n \n \n (<\/mml:mo>\n \n \n o<\/mml:mi>\n <\/mml:mrow>\n \n \n k<\/mml:mi>\n <\/mml:mrow>\n <\/mml:mrow>\n <\/mml:msub>\n \n \/<\/mml:mo>\n <\/mml:mrow>\n \n \n \n m<\/mml:mi>\n <\/mml:mrow>\n <\/mml:mrow>\n \n 0<\/mml:mn>\n <\/mml:mrow>\n <\/mml:msub>\n \n )<\/mml:mo>\n \n \u2217\n \n <\/mml:mo>\n <\/mml:msup>\n <\/mml:mrow>\n (\\mathfrak o_{\\mathbf k}\/{\\mathfrak {m}}_{0})^*<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n of the residue class ring\n \n \n \n \n \n \n o<\/mml:mi>\n <\/mml:mrow>\n \n \n k<\/mml:mi>\n <\/mml:mrow>\n <\/mml:mrow>\n <\/mml:msub>\n \n \/<\/mml:mo>\n <\/mml:mrow>\n \n \n \n m<\/mml:mi>\n <\/mml:mrow>\n <\/mml:mrow>\n \n 0<\/mml:mn>\n <\/mml:mrow>\n <\/mml:msub>\n <\/mml:mrow>\n \\mathfrak o_{\\mathbf k}\/{\\mathfrak {m}}_{0}<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n and the discrete logarithm therein based on the explicit representation of the group of principal units. We show how these algorithms can be combined with other methods in order to obtain more efficient algorithms. They are applied to the computation of the ray class group\n \n \n \n \n \n C<\/mml:mi>\n l<\/mml:mi>\n <\/mml:mrow>\n \n \n k<\/mml:mi>\n <\/mml:mrow>\n <\/mml:mrow>\n \n \n m<\/mml:mi>\n <\/mml:mrow>\n <\/mml:mrow>\n <\/mml:msubsup>\n \\mathbf {Cl}_{\\mathbf {k}}^{\\mathfrak {m}}<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n modulo\n \n \n \n \n \n m<\/mml:mi>\n <\/mml:mrow>\n =<\/mml:mo>\n \n \n \n m<\/mml:mi>\n <\/mml:mrow>\n <\/mml:mrow>\n \n 0<\/mml:mn>\n <\/mml:mrow>\n <\/mml:msub>\n \n \n \n m<\/mml:mi>\n <\/mml:mrow>\n <\/mml:mrow>\n \n \n \u221e\n \n <\/mml:mi>\n <\/mml:mrow>\n <\/mml:msub>\n <\/mml:mrow>\n \\mathfrak m={\\mathfrak {m}}_{0}{\\mathfrak {m}}_{\\infty }<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n , where\n \n \n \n \n \n \n m<\/mml:mi>\n <\/mml:mrow>\n <\/mml:mrow>\n \n \n \u221e\n \n <\/mml:mi>\n <\/mml:mrow>\n <\/mml:msub>\n {\\mathfrak {m}}_{\\infty }<\/mml:annotation>\n <\/mml:semantics>\n <\/mml:math>\n <\/inline-formula>\n denotes a formal product of real infinite places, and also to the computation of conductors of ideal class groups and of discriminants and genera of class fields.\n <\/p>","DOI":"10.1090\/s0025-5718-03-01474-1","type":"journal-article","created":{"date-parts":[[2003,4,18]],"date-time":"2003-04-18T13:09:02Z","timestamp":1050671342000},"page":"1531-1548","source":"Crossref","is-referenced-by-count":17,"title":["Computing the multiplicative group of residue class rings"],"prefix":"10.1090","volume":"72","author":[{"given":"Florian","family":"He\u00df","sequence":"first","affiliation":[]},{"given":"Sebastian","family":"Pauli","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Pohst","sequence":"additional","affiliation":[]}],"member":"14","published-online":{"date-parts":[[2003,1,13]]},"reference":[{"issue":"2","key":"1","doi-asserted-by":"publisher","first-page":"97","DOI":"10.4064\/aa-95-2-97-122","article-title":"Ray class fields of global function fields with many rational places","volume":"95","author":"Auer, Roland","year":"2000","journal-title":"Acta Arith.","ISSN":"https:\/\/id.crossref.org\/issn\/0065-1036","issn-type":"print"},{"key":"2","unstructured":"[BB{\\etalchar{+}}99] C. Batut, K. Belabas, D. Bernardi, H. Cohen, M. Olivier, The Computer Algebra System PARI-GP, Universit\u00e9 Bordeaux I, 1999, \\url{ftp:\/\/megrez.math.u-bordeaux.fr\/pub\/pari\/}"},{"key":"3","unstructured":"[BC95] W. Bosma and J.J. Cannon, Handbook of Magma functions, School of Mathematics, University of Sydney, Sydney, 1995."},{"key":"4","isbn-type":"print","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/3-540-61581-4_40","article-title":"Computing ray class groups, conductors and discriminants","author":"Cohen, H.","year":"1996","ISBN":"https:\/\/id.crossref.org\/isbn\/3540615814"},{"issue":"222","key":"5","doi-asserted-by":"publisher","first-page":"773","DOI":"10.1090\/S0025-5718-98-00912-0","article-title":"Computing ray class groups, conductors and discriminants","volume":"67","author":"Cohen, H.","year":"1998","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"key":"6","series-title":"Graduate Texts in Mathematics","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-02945-9","volume-title":"A course in computational algebraic number theory","volume":"138","author":"Cohen, Henri","year":"1993","ISBN":"https:\/\/id.crossref.org\/isbn\/3540556400"},{"issue":"216","key":"7","doi-asserted-by":"publisher","first-page":"1681","DOI":"10.1090\/S0025-5718-96-00766-1","article-title":"Hermite and Smith normal form algorithms over Dedekind domains","volume":"65","author":"Cohen, Henri","year":"1996","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"key":"8","series-title":"Graduate Texts in Mathematics","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8489-0","volume-title":"Advanced topics in computational number theory","volume":"193","author":"Cohen, Henri","year":"2000","ISBN":"https:\/\/id.crossref.org\/isbn\/0387987274"},{"issue":"3-4","key":"9","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1006\/jsco.1996.0126","article-title":"KANT V4","volume":"24","author":"Daberkow, M.","year":"1997","journal-title":"J. Symbolic Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0747-7171","issn-type":"print"},{"issue":"235","key":"10","doi-asserted-by":"publisher","first-page":"1293","DOI":"10.1090\/S0025-5718-00-01255-2","article-title":"Computing class fields via the Artin map","volume":"70","author":"Fieker, Claus","year":"2001","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"key":"11","doi-asserted-by":"crossref","DOI":"10.1515\/9783112570067","volume-title":"Number theory","author":"Hasse, Helmut","year":"1979"},{"key":"12","unstructured":"[Hes96] Florian He\u00df, Zur Klassengruppenberechnung in algebraischen Zahlk\u00f6rpern, Diplomarbeit, TU - Berlin, 1996, \\url{http:\/\/www.math.TU-Berlin.DE\/ kant\/publications\/diplom\/hess.ps.gz}."},{"key":"13","unstructured":"[Hes99] Florian He\u00df, Zur Divisorenklassengruppenberechnung in globalen Funktionenk\u00f6rpern, PhD thesis, TU - Berlin, 1999, \\url{http:\/\/www.math.TU-Berlin.DE\/ kant\/publications\/diss\/diss_{F}H.ps.gz}."},{"key":"14","series-title":"Graduate Texts in Mathematics","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0853-2","volume-title":"Algebraic number theory","volume":"110","author":"Lang, Serge","year":"1994","ISBN":"https:\/\/id.crossref.org\/isbn\/0387942254","edition":"2"},{"key":"15","unstructured":"[Pau96] Sebastian Pauli, Zur Berechnung von Strahlklassengruppen, Diplomarbeit, TU - Berlin, 1996, \\url{http:\/\/www.math.TU-Berlin.DE\/ kant\/publications\/diplom\/pauli.ps.gz}."},{"key":"16","series-title":"Encyclopedia of Mathematics and its Applications","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511661952","volume-title":"Algorithmic algebraic number theory","volume":"30","author":"Pohst, M.","year":"1989","ISBN":"https:\/\/id.crossref.org\/isbn\/0521330602"},{"key":"17","unstructured":"[Po{\\etalchar{+}}00] Michael E. Pohst et al, The computer algebra system KASH\/KANT, TU-Berlin, 2000, \\url{http:\/\/www.math.tu-berlin.de\/ kant\/}."},{"key":"18","isbn-type":"print","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/3-540-61581-4_66","article-title":"Discrete logarithms: the effectiveness of the index calculus method","author":"Schirokauer, Oliver","year":"1996","ISBN":"https:\/\/id.crossref.org\/isbn\/3540615814"},{"key":"19","series-title":"Encyclopedia of Mathematics and its Applications","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511574702","volume-title":"Computation with finitely presented groups","volume":"48","author":"Sims, Charles C.","year":"1994","ISBN":"https:\/\/id.crossref.org\/isbn\/0521432138"}],"container-title":["Mathematics of Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.ams.org\/mcom\/2003-72-243\/S0025-5718-03-01474-1\/S0025-5718-03-01474-1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/www.ams.org\/mcom\/2003-72-243\/S0025-5718-03-01474-1\/S0025-5718-03-01474-1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T23:21:02Z","timestamp":1776727262000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ams.org\/mcom\/2003-72-243\/S0025-5718-03-01474-1\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003,1,13]]},"references-count":19,"journal-issue":{"issue":"243","published-print":{"date-parts":[[2003,7]]}},"alternative-id":["S0025-5718-03-01474-1"],"URL":"https:\/\/doi.org\/10.1090\/s0025-5718-03-01474-1","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":[[2003,1,13]]}}}