{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T17:55:31Z","timestamp":1776794131089,"version":"3.51.2"},"reference-count":54,"publisher":"American Mathematical Society (AMS)","issue":"276","license":[{"start":{"date-parts":[[2012,4,26]],"date-time":"2012-04-26T00:00:00Z","timestamp":1335398400000},"content-version":"am","delay-in-days":366,"URL":"https:\/\/www.ams.org\/publications\/copyright-and-permissions"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Math. Comp."],"abstract":"<p>\n                    In this paper, we show a general way to interpret the infrastructure of a global field of arbitrary unit rank. This interpretation generalizes the prior concepts of the giant-step operation and\n                    <inline-formula content-type=\"math\/mathml\">\n                      <mml:math xmlns:mml=\"http:\/\/www.w3.org\/1998\/Math\/MathML\" alttext=\"f\">\n                        <mml:semantics>\n                          <mml:mi>f<\/mml:mi>\n                          <mml:annotation encoding=\"application\/x-tex\">f<\/mml:annotation>\n                        <\/mml:semantics>\n                      <\/mml:math>\n                    <\/inline-formula>\n                    -representations, and makes it possible to relate the infrastructure to the (Arakelov) divisor class group of the global field. In the case of global function fields, we present results that establish that effective implementation of the presented methods is indeed possible, and we show how Shanks\u2019 baby-step giant-step method can be generalized to this situation.\n                  <\/p>","DOI":"10.1090\/s0025-5718-2011-02490-7","type":"journal-article","created":{"date-parts":[[2011,4,26]],"date-time":"2011-04-26T09:51:58Z","timestamp":1303811518000},"page":"2325-2357","source":"Crossref","is-referenced-by-count":2,"title":["The infrastructure of a global field of arbitrary unit rank"],"prefix":"10.1090","volume":"80","author":[{"given":"Felix","family":"Fontein","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"14","published-online":{"date-parts":[[2011,4,26]]},"reference":[{"issue":"3","key":"1","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1016\/0022-314X(82)90033-6","article-title":"Periodic expansion of modules and its relation to units","volume":"15","author":"Appelgate, H.","year":"1982","journal-title":"J. Number Theory","ISSN":"https:\/\/id.crossref.org\/issn\/0022-314X","issn-type":"print"},{"key":"2","series-title":"Lecture Notes in Computer Science","isbn-type":"print","volume-title":"Advances in cryptology---CRYPTO '94","volume":"839","year":"1994","ISBN":"https:\/\/id.crossref.org\/isbn\/3540583335"},{"key":"3","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/BF01397976","article-title":"Theorie der Netze","volume":"149","author":"Bergmann, Gunter","year":"1963","journal-title":"Math. Ann.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5831","issn-type":"print"},{"issue":"252","key":"4","doi-asserted-by":"publisher","first-page":"2017","DOI":"10.1090\/S0025-5718-05-01740-0","article-title":"Computing the structure of a finite abelian group","volume":"74","author":"Buchmann, Johannes","year":"2005","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"issue":"2","key":"5","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1016\/0022-314X(85)90039-3","article-title":"A generalization of Vorono\u012d\u2019s unit algorithm. I","volume":"20","author":"Buchmann, Johannes","year":"1985","journal-title":"J. Number Theory","ISSN":"https:\/\/id.crossref.org\/issn\/0022-314X","issn-type":"print"},{"issue":"1","key":"6","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1016\/0022-314X(87)90092-8","article-title":"On the computation of units and class numbers by a generalization of Lagrange\u2019s algorithm","volume":"26","author":"Buchmann, Johannes","year":"1987","journal-title":"J. Number Theory","ISSN":"https:\/\/id.crossref.org\/issn\/0022-314X","issn-type":"print"},{"key":"7","unstructured":"[Buc87b] \\bysame, Zur Komplexit\u00e4t der Berechnung von Einheiten und Klassenzahl algebraischer Zahlk\u00f6rper, Habilitationsschrift, October 1987."},{"issue":"182","key":"8","doi-asserted-by":"publisher","first-page":"569","DOI":"10.2307\/2008625","article-title":"On the infrastructure of the principal ideal class of an algebraic number field of unit rank one","volume":"50","author":"Buchmann, Johannes","year":"1988","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"key":"9","isbn-type":"print","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/0-387-34805-0_31","article-title":"A key exchange system based on real quadratic fields (extended abstract)","author":"Buchmann, Johannes A.","year":"1990","ISBN":"https:\/\/id.crossref.org\/isbn\/0387973176"},{"key":"10","series-title":"Discrete Mathematics and its Applications (Boca Raton)","isbn-type":"print","volume-title":"Handbook of elliptic and hyperelliptic curve cryptography","year":"2006","ISBN":"https:\/\/id.crossref.org\/isbn\/9781584885184"},{"key":"11","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"},{"key":"12","series-title":"Translations of Mathematical Monographs, Vol. 10","volume-title":"The theory of irrationalities of the third degree","author":"Delone, B. N.","year":"1964"},{"issue":"3","key":"13","doi-asserted-by":"publisher","first-page":"293","DOI":"10.3934\/amc.2008.2.293","article-title":"Groups from cyclic infrastructures and Pohlig-Hellman in certain infrastructures","volume":"2","author":"Fontein, Felix","year":"2008","journal-title":"Adv. Math. Commun.","ISSN":"https:\/\/id.crossref.org\/issn\/1930-5346","issn-type":"print"},{"key":"14","unstructured":"[Fon09] F. Fontein, The infrastructure of a global field and baby step-giant step algorithms, Ph.D. thesis, Universit\u00e4t Z\u00fcrich, March 2009, http:\/\/user.math.uzh.ch\/ fontein\/diss-fontein.pdf."},{"key":"15","isbn-type":"print","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/978-3-540-79456-1_23","article-title":"Efficient hyperelliptic arithmetic using balanced representation for divisors","author":"Galbraith, Steven D.","year":"2008","ISBN":"https:\/\/id.crossref.org\/isbn\/9783540794554"},{"issue":"237","key":"16","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1090\/S0025-5718-00-01297-7","article-title":"Arithmetic on superelliptic curves","volume":"71","author":"Galbraith, S. D.","year":"2002","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"key":"17","unstructured":"[He{\\ss}99] F. He\u00df, Zur Divisorklassengruppenberechnung in globalen funktionenk\u00f6rpern, Ph.D. thesis, Technische Universit\u00e4t Berlin, 1999."},{"issue":"4","key":"18","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1006\/jsco.2001.0513","article-title":"Computing Riemann-Roch spaces in algebraic function fields and related topics","volume":"33","author":"Hess, F.","year":"2002","journal-title":"J. Symbolic Comput.","ISSN":"https:\/\/id.crossref.org\/issn\/0747-7171","issn-type":"print"},{"issue":"5","key":"19","first-page":"291","article-title":"Commas, points extr\u00e9maux et ar\u00eates des corps poss\u00e9dant une formule du produit","volume":"7","author":"Hellegouarch, Y.","year":"1985","journal-title":"C. R. Math. Rep. Acad. Sci. Canada","ISSN":"https:\/\/id.crossref.org\/issn\/0706-1994","issn-type":"print"},{"issue":"147-148","key":"20","first-page":"291","article-title":"Invariants arithm\u00e9tiques des corps poss\u00e9dant une formule du produit; applications","author":"Hellegouarch, Y.","year":"1987","journal-title":"Ast\\'{e}risque","ISSN":"https:\/\/id.crossref.org\/issn\/0303-1179","issn-type":"print"},{"key":"21","isbn-type":"print","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/3-540-44983-3_21","article-title":"On the implementation of cryptosystems based on real quadratic number fields (extended abstract)","author":"H\u00fchnlein, Detlef","year":"2001","ISBN":"https:\/\/id.crossref.org\/isbn\/354042069X"},{"key":"22","unstructured":"[Jac99] M. J. Jacobson, Jr., Subexponential class group computation in quadratic orders, Ph.D. thesis, Technische Universit\u00e4t Darmstadt, 1999."},{"issue":"2","key":"23","doi-asserted-by":"publisher","first-page":"197","DOI":"10.3934\/amc.2007.1.197","article-title":"Cryptographic protocols on real hyperelliptic curves","volume":"1","author":"Jacobson, M. J.","year":"2007","journal-title":"Adv. Math. Commun.","ISSN":"https:\/\/id.crossref.org\/issn\/1930-5346","issn-type":"print"},{"key":"24","isbn-type":"print","first-page":"89","article-title":"The efficiency and security of a real quadratic field based key exchange protocol","author":"Jacobson, Michael J., Jr.","year":"2001","ISBN":"https:\/\/id.crossref.org\/isbn\/3110170469"},{"issue":"2","key":"25","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/s00145-005-0357-6","article-title":"An improved real-quadratic-field-based key exchange procedure","volume":"19","author":"Jacobson, Michael J., Jr.","year":"2006","journal-title":"J. Cryptology","ISSN":"https:\/\/id.crossref.org\/issn\/0933-2790","issn-type":"print"},{"key":"26","unstructured":"[Lan09] E. Landquist, Infrastructure, Arithmetic, and Class Number Computations in Purely Cubic Function Fields of Characteristic at Least 5, Ph.D. thesis, University of Illinois at Urbana-Champaign, 2009, http:\/\/www.math.uiuc.edu\/~landquis\/articles\/ landquist-thesis.pdf."},{"key":"27","doi-asserted-by":"crossref","unstructured":"[Len82] H. W. Lenstra, On the computation of regulators and class numbers of quadratic fields, Journ\u00e9es Arithm\u00e9tiques 1980 (Exeter, 13th\u201319th April 1980) (Cambridge) (J. V. Armitage, ed.), London Mathematical Society Lecture Notes, no. 56, Cambridge University Press, 1982, pp. 123\u2013150.","DOI":"10.1017\/CBO9780511662027.007"},{"issue":"2","key":"28","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1080\/10586458.2003.10504493","article-title":"Computation of the fundamental units and the regulator of a cyclic cubic function field","volume":"12","author":"Lee, Y.","year":"2003","journal-title":"Experiment. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/1058-6458","issn-type":"print"},{"key":"29","unstructured":"[Mau00] M. Maurer, Regulator approximation and fundamental unit computation for real-quadratic orders, Ph.D. thesis, Technische Universit\u00e4t Darmstadt, 2000."},{"issue":"226","key":"30","doi-asserted-by":"publisher","first-page":"807","DOI":"10.1090\/S0025-5718-99-01040-6","article-title":"Computing discrete logarithms in real quadratic congruence function fields of large genus","volume":"68","author":"M\u00fcller, Volker","year":"1999","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"key":"31","series-title":"Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03983-0","volume-title":"Algebraic number theory","volume":"322","author":"Neukirch, J\u00fcrgen","year":"1999","ISBN":"https:\/\/id.crossref.org\/isbn\/3540653996"},{"issue":"227","key":"32","doi-asserted-by":"publisher","first-page":"1233","DOI":"10.1090\/S0025-5718-99-01066-2","article-title":"Real and imaginary quadratic representations of hyperelliptic function fields","volume":"68","author":"Paulus, Sachar","year":"1999","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"issue":"157","key":"33","doi-asserted-by":"publisher","first-page":"293","DOI":"10.2307\/2007486","article-title":"On effective computation of fundamental units. II","volume":"38","author":"Pohst, Michael","year":"1982","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"issue":"139","key":"34","doi-asserted-by":"publisher","first-page":"754","DOI":"10.2307\/2006009","article-title":"An effective number geometric method of computing the fundamental units of an algebraic number field","volume":"31","author":"Pohst, Michael","year":"1977","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"issue":"157","key":"35","doi-asserted-by":"publisher","first-page":"275","DOI":"10.2307\/2007485","article-title":"On effective computation of fundamental units. I","volume":"38","author":"Pohst, Michael","year":"1982","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"},{"key":"36","series-title":"Graduate Texts in Mathematics","isbn-type":"print","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-6046-0","volume-title":"Number theory in function fields","volume":"210","author":"Rosen, Michael","year":"2002","ISBN":"https:\/\/id.crossref.org\/isbn\/0387953353"},{"issue":"3","key":"37","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/BF02318548","article-title":"A key-exchange protocol using real quadratic fields","volume":"7","author":"Scheidler, Renate","year":"1994","journal-title":"J. Cryptology","ISSN":"https:\/\/id.crossref.org\/issn\/0933-2790","issn-type":"print"},{"key":"38","isbn-type":"print","first-page":"235","article-title":"Quadratic fields and factorization","author":"Schoof, R. J.","year":"1982","ISBN":"https:\/\/id.crossref.org\/isbn\/9061962498"},{"issue":"2","key":"39","doi-asserted-by":"publisher","first-page":"609","DOI":"10.5802\/jtnb.340","article-title":"Ideal arithmetic and infrastructure in purely cubic function fields","volume":"13","author":"Scheidler, Renate","year":"2001","journal-title":"J. Th\\'{e}or. Nombres Bordeaux","ISSN":"https:\/\/id.crossref.org\/issn\/1246-7405","issn-type":"print"},{"key":"40","doi-asserted-by":"crossref","unstructured":"[Sch08] R. J. Schoof, Computing Arakelov class groups, MSRI Publications, vol. 44, pp. 447\u2013495, Cambridge University Press, Cambridge, 2008.","DOI":"10.1017\/9781139049801.015"},{"key":"41","first-page":"217","article-title":"The infrastructure of a real quadratic field and its applications","author":"Shanks, Daniel","year":"1972"},{"key":"42","isbn-type":"print","doi-asserted-by":"publisher","first-page":"592","DOI":"10.1007\/BFb0054895","article-title":"Unit computation in purely cubic function fields of unit rank 1","author":"Scheidler, Renate","year":"1998","ISBN":"https:\/\/id.crossref.org\/isbn\/3540646574"},{"issue":"1-2","key":"43","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/BF00125081","article-title":"Key-exchange in real quadratic congruence function fields","volume":"7","author":"Scheidler, R.","year":"1996","journal-title":"Des. Codes Cryptogr.","ISSN":"https:\/\/id.crossref.org\/issn\/0925-1022","issn-type":"print"},{"key":"44","isbn-type":"print","first-page":"413","article-title":"On the units in algebraic number fields","author":"Steiner, Ray","year":"1977","ISBN":"https:\/\/id.crossref.org\/isbn\/0919628184"},{"key":"45","unstructured":"[Ste92] A. Stein, Baby step-giant step-Verfahren in reellquadratischen Kongruenzfunktionenk\u00f6rpern mit Charakteristik ungleich 2, Diplomarbeit, Universit\u00e4t des Saarlandes, Saarbr\u00fccken, 1992."},{"issue":"1","key":"46","doi-asserted-by":"publisher","first-page":"75","DOI":"10.5802\/jtnb.191","article-title":"Equivalences between elliptic curves and real quadratic congruence function fields","volume":"9","author":"Stein, Andreas","year":"1997","journal-title":"J. Th\\'{e}or. Nombres Bordeaux","ISSN":"https:\/\/id.crossref.org\/issn\/1246-7405","issn-type":"print"},{"key":"47","series-title":"Universitext","isbn-type":"print","volume-title":"Algebraic function fields and codes","author":"Stichtenoth, Henning","year":"1993","ISBN":"https:\/\/id.crossref.org\/isbn\/3540564896"},{"key":"48","isbn-type":"print","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1007\/BFb0054896","article-title":"An improved method of computing the regulator of a real quadratic function field","author":"Stein, Andreas","year":"1998","ISBN":"https:\/\/id.crossref.org\/isbn\/3540646574"},{"issue":"2","key":"49","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1080\/10586458.1999.10504394","article-title":"Some methods for evaluating the regulator of a real quadratic function field","volume":"8","author":"Stein, Andreas","year":"1999","journal-title":"Experiment. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/1058-6458","issn-type":"print"},{"key":"50","doi-asserted-by":"crossref","unstructured":"[SZ91] A. Stein and H. G. Zimmer, An algorithm for determining the regulator and the fundamental unit of hyperelliptic congruence function field, Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, ISSAC \u201991, Bonn, Germany, July 15-17, 1991, Association for Computing Machinery, 1991, pp. 183\u2013184.","DOI":"10.1145\/120694.120719"},{"issue":"3","key":"51","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1006\/jcom.1995.1014","article-title":"Short proofs using compact representations of algebraic integers","volume":"11","author":"Thiel, Christoph","year":"1995","journal-title":"J. Complexity","ISSN":"https:\/\/id.crossref.org\/issn\/0885-064X","issn-type":"print"},{"key":"52","unstructured":"[Vol03] U. Vollmer, Rigorously analyzed algorithms for the discrete logarithm problem in quadratic number fields, Ph.D. thesis, Technische Universit\u00e4t Darmstadt, 2003."},{"issue":"2","key":"53","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1216\/RMJ-1985-15-2-621","article-title":"Continued fractions and number-theoretic computations","volume":"15","author":"Williams, Hugh C.","year":"1985","journal-title":"Rocky Mountain J. Math.","ISSN":"https:\/\/id.crossref.org\/issn\/0035-7596","issn-type":"print"},{"issue":"177","key":"54","doi-asserted-by":"publisher","first-page":"405","DOI":"10.2307\/2007899","article-title":"On the parallel generation of the residues for the continued fraction factoring algorithm","volume":"48","author":"Williams, H. C.","year":"1987","journal-title":"Math. Comp.","ISSN":"https:\/\/id.crossref.org\/issn\/0025-5718","issn-type":"print"}],"container-title":["Mathematics of Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.ams.org\/mcom\/2011-80-276\/S0025-5718-2011-02490-7\/S0025-5718-2011-02490-7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/www.ams.org\/mcom\/2011-80-276\/S0025-5718-2011-02490-7\/S0025-5718-2011-02490-7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T16:58:20Z","timestamp":1776790700000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.ams.org\/mcom\/2011-80-276\/S0025-5718-2011-02490-7\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,4,26]]},"references-count":54,"journal-issue":{"issue":"276","published-print":{"date-parts":[[2011,10]]}},"alternative-id":["S0025-5718-2011-02490-7"],"URL":"https:\/\/doi.org\/10.1090\/s0025-5718-2011-02490-7","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":[[2011,4,26]]}}}