On the infrastructure of the principal ideal class of an algebraic number field of unit rank one

Authors:
Johannes Buchmann and H. C. Williams

Journal:
Math. Comp. **50** (1988), 569-579

MSC:
Primary 11R11; Secondary 11R16, 11R27, 11Y16, 11Y40

DOI:
https://doi.org/10.1090/S0025-5718-1988-0929554-6

MathSciNet review:
929554

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Let *R* be the regulator and let *D* be the absolute value of the discriminant of an order of an algebraic number field of unit rank 1. It is shown how the infrastructure idea of Shanks can be used to decrease the number of binary operations needed to compute *R* from the best known for most continued fraction methods to . These ideas can also be applied to significantly decrease the number of operations needed to determine whether or not any fractional ideal of is principal.

**[1]**I. O. Angell,*A table of complex cubic fields*, Bull. London Math. Soc.**5**(1973), 37–38. MR**0318099**, https://doi.org/10.1112/blms/5.1.37**[2]**Richard Brauer,*On the zeta-functions of algebraic number fields*, Amer. J. Math.**69**(1947), 243–250. MR**0020597**, https://doi.org/10.2307/2371849**[3]**D. A. Buell, "Computer computation of class groups in quadratic number fields,"*Congr. Numer.*, v. 22, 1978, pp. 3-12.**[4]**Johannes Buchmann,*Abschätzung der Periodenlänge einer verallgemeinerten Kettenbruchentwicklung*, J. Reine Angew. Math.**361**(1985), 27–34 (German). MR**807249**, https://doi.org/10.1515/crll.1985.361.27**[5]**Johannes Buchmann,*The computation of the fundamental unit of totally complex quartic orders*, Math. Comp.**48**(1987), no. 177, 39–54. MR**866097**, https://doi.org/10.1090/S0025-5718-1987-0866097-1**[6]**Johannes Buchmann,*On the computation of units and class numbers by a generalization of Lagrange’s algorithm*, J. Number Theory**26**(1987), no. 1, 8–30. MR**883530**, https://doi.org/10.1016/0022-314X(87)90092-8**[7]**Johannes Buchmann,*On the period length of the generalized Lagrange algorithm*, J. Number Theory**26**(1987), no. 1, 31–37. MR**883531**, https://doi.org/10.1016/0022-314X(87)90093-X**[8]**Johannes Buchmann and H. C. Williams,*On principal ideal testing in totally complex quartic fields and the determination of certain cyclotomic constants*, Math. Comp.**48**(1987), no. 177, 55–66. MR**866098**, https://doi.org/10.1090/S0025-5718-1987-0866098-3**[9]**Johannes Buchmann and H. C. Williams,*On principal ideal testing in algebraic number fields*, J. Symbolic Comput.**4**(1987), no. 1, 11–19. MR**908408**, https://doi.org/10.1016/S0747-7171(87)80049-4**[10]**M. D. Hendy,*The distribution of ideal class numbers of real quadratic fields*, Math. Comp.**29**(1975), no. 132, 1129–1134. MR**0409402**, https://doi.org/10.1090/S0025-5718-1975-0409402-4**[11]**E. L. Ince, "Cycles of reduced ideals in quadratic fields,"*Mathematical Tables*, Vol. IV, British Association for the Advancement of Science, London, 1934.**[12]**Ravindran Kannan and Achim Bachem,*Polynomial algorithms for computing the Smith and Hermite normal forms of an integer matrix*, SIAM J. Comput.**8**(1979), no. 4, 499–507. MR**573842**, https://doi.org/10.1137/0208040**[13]**H. W. Lenstra, Jr., "On the calculation of class numbers and regulators of quadratic fields,"*Lond. Math. Soc. Lecture Note Ser.*, v. 56, 1982, pp. 123-150.**[14]**C. D. Patterson and H. C. Williams,*Some periodic continued fractions with long periods*, Math. Comp.**44**(1985), no. 170, 523–532. MR**777283**, https://doi.org/10.1090/S0025-5718-1985-0777283-1**[15]**H. Zantema,*Class numbers and units*, Computational methods in number theory, Part II, Math. Centre Tracts, vol. 155, Math. Centrum, Amsterdam, 1982, pp. 213–234. MR**702518**

R. J. Schoof,*Quadratic fields and factorization*, Computational methods in number theory, Part II, Math. Centre Tracts, vol. 155, Math. Centrum, Amsterdam, 1982, pp. 235–286. MR**702519****[16]**Daniel Shanks,*The infrastructure of a real quadratic field and its applications*, Proceedings of the Number Theory Conference (Univ. Colorado, Boulder, Colo., 1972) Univ. Colorado, Boulder, Colo., 1972, pp. 217–224. MR**0389842****[17]**Hugh C. Williams,*Continued fractions and number-theoretic computations*, Rocky Mountain J. Math.**15**(1985), no. 2, 621–655. Number theory (Winnipeg, Man., 1983). MR**823273**, https://doi.org/10.1216/RMJ-1985-15-2-621**[18]**H. C. Williams,*The spacing of the minima in certain cubic lattices*, Pacific J. Math.**124**(1986), no. 2, 483–496. MR**856174****[19]**H. C. Williams and J. Broere,*A computational technique for evaluating 𝐿(1,𝜒) and the class number of a real quadratic field*, Math. Comp.**30**(1976), no. 136, 887–893. MR**0414522**, https://doi.org/10.1090/S0025-5718-1976-0414522-5**[20]**H. C. Williams, G. Cormack, and E. Seah,*Calculation of the regulator of a pure cubic field*, Math. Comp.**34**(1980), no. 150, 567–611. MR**559205**, https://doi.org/10.1090/S0025-5718-1980-0559205-7**[21]**H. C. Williams, G. W. Dueck, and B. K. Schmid,*A rapid method of evaluating the regulator and class number of a pure cubic field*, Math. Comp.**41**(1983), no. 163, 235–286. MR**701638**, https://doi.org/10.1090/S0025-5718-1983-0701638-2

Retrieve articles in *Mathematics of Computation*
with MSC:
11R11,
11R16,
11R27,
11Y16,
11Y40

Retrieve articles in all journals with MSC: 11R11, 11R16, 11R27, 11Y16, 11Y40

Additional Information

DOI:
https://doi.org/10.1090/S0025-5718-1988-0929554-6

Article copyright:
© Copyright 1988
American Mathematical Society