Unit groups and class numbers of real cyclic octic fields
HTML articles powered by AMS MathViewer
- by Yuan Yuan Shen PDF
- Trans. Amer. Math. Soc. 326 (1991), 179-209 Request permission
Abstract:
The generating polynomials of D. Shanks’ simplest quadratic and cubic fields and M.-N. Gras’ simplest quartic and sextic fields can be obtained by working in the group ${\mathbf {PG}}{{\mathbf {L}}_2}({\mathbf {Q}})$. Following this procedure and working in the group ${\mathbf {PG}}{{\mathbf {L}}_2}({\mathbf {Q}}(\sqrt 2))$, we obtain a family of octic polynomials and hence a family of real cyclic octic fields. We find a system of independent units which is close to being a system of fundamental units in the sense that the index has a uniform upper bound. To do this, we use a group theoretic argument along with a method similar to one used by T. W. Cusick to find a lower bound for the regulator and hence an upper bound for the index. Via Brauer-Siegel’s theorem, we can estimate how large the class numbers of our octic fields are. After working out the first three examples in $\S 5$, we make a conjecture that the index is $8$. We succeed in getting a system of fundamental units for the quartic subfield. For the octic field we obtain a set of units which we conjecture to be fundamental. Finally, there is a very natural way to generalize the octic polynomials to get a family of real ${2^n}$-tic number fields. However, to select a subfamily so that the fields become Galois over ${\mathbf {Q}}$ is not easy and still a lot of work on these remains to be done.References
- Gary Cornell and Lawrence C. Washington, Class numbers of cyclotomic fields, J. Number Theory 21 (1985), no. 3, 260–274. MR 814005, DOI 10.1016/0022-314X(85)90055-1
- T. W. Cusick, Lower bounds for regulators, Number theory, Noordwijkerhout 1983 (Noordwijkerhout, 1983) Lecture Notes in Math., vol. 1068, Springer, Berlin, 1984, pp. 63–73. MR 756083, DOI 10.1007/BFb0099441
- Marie-Nicole Gras, Special units in real cyclic sextic fields, Math. Comp. 48 (1987), no. 177, 179–182. MR 866107, DOI 10.1090/S0025-5718-1987-0866107-1 —, Table numérique du nombre de classes et des unités des extensions cycliques réeles de degré $4$ de ${\mathbf {Q}}$, Publ. Math. Fac. Sci. Besançon 2 (1977/78), 1-26, 1-53.
- A. Korkine and G. Zolotareff, Sur les formes quadratiques positives quaternaires, Math. Ann. 5 (1872), no. 4, 581–583 (French). MR 1509795, DOI 10.1007/BF01442912
- Serge Lang, Algebraic number theory, 2nd ed., Graduate Texts in Mathematics, vol. 110, Springer-Verlag, New York, 1994. MR 1282723, DOI 10.1007/978-1-4612-0853-2
- Daniel A. Marcus, Number fields, Universitext, Springer-Verlag, New York-Heidelberg, 1977. MR 0457396
- Daniel Shanks, The simplest cubic fields, Math. Comp. 28 (1974), 1137–1152. MR 352049, DOI 10.1090/S0025-5718-1974-0352049-8 Y. Y. Shen, Units of real cyclic octic fields, Ph. D. Dissertation, University of Maryland at College Park, 1988. C. L. Siegel, The integer solutions of the equation ${y^2}= a{x^n} + b{x^{n - 1}} + \cdots + k$, J. London Math. Soc. 1 (1926), 66-88 (=Gesammelte Abhandlungen, Band I, pp. 207-208).
- Joseph H. Silverman, An inequality relating the regulator and the discriminant of a number field, J. Number Theory 19 (1984), no. 3, 437–442. MR 769793, DOI 10.1016/0022-314X(84)90082-9
- F. J. van der Linden, Class number computations of real abelian number fields, Math. Comp. 39 (1982), no. 160, 693–707. MR 669662, DOI 10.1090/S0025-5718-1982-0669662-5
- Lawrence C. Washington, Introduction to cyclotomic fields, Graduate Texts in Mathematics, vol. 83, Springer-Verlag, New York, 1982. MR 718674, DOI 10.1007/978-1-4684-0133-2
Additional Information
- © Copyright 1991 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 326 (1991), 179-209
- MSC: Primary 11R20; Secondary 11R27, 11R29
- DOI: https://doi.org/10.1090/S0002-9947-1991-1031243-3
- MathSciNet review: 1031243