Solving norm equations in relative number fields using $S$-units
HTML articles powered by AMS MathViewer
- by Denis Simon;
- Math. Comp. 71 (2002), 1287-1305
- DOI: https://doi.org/10.1090/S0025-5718-02-01309-1
- Published electronically: January 11, 2002
- PDF | Request permission
Abstract:
In this paper, we are interested in solving the so-called norm equation ${\mathcal N}_{L/K} (x)=a$, where $L/K$ is a given arbitrary extension of number fields and $a$ a given algebraic number of $K$. By considering $S$-units and relative class groups, we show that if there exists at least one solution (in $L$, but not necessarily in ${\mathbb Z}_L$), then there exists a solution for which we can describe precisely its prime ideal factorization. In fact, we prove that under some explicit conditions, the $S$-units that are norms are norms of $S$-units. This allows us to limit the search for rational solutions to a finite number of tests, and we give the corresponding algorithm. When $a$ is an algebraic integer, we also study the existence of an integral solution, and we can adapt the algorithm to this case.References
- Hans-Jochen Bartels, Über Normen algebraischer Zahlen, Math. Ann. 251 (1980), no. 3, 191–212 (German). MR 589250, DOI 10.1007/BF01428941
- Kenneth S. Brown, Cohomology of groups, Graduate Texts in Mathematics, vol. 87, Springer-Verlag, New York-Berlin, 1982. MR 672956
- C. Chevalley: Sur la théorie du corps de classe dans les corps finis et les corps locaux, J. Fac. Sci Tokyo, 2 (1933) 365-475.
- Henri Cohen, A course in computational algebraic number theory, Graduate Texts in Mathematics, vol. 138, Springer-Verlag, Berlin, 1993. MR 1228206, DOI 10.1007/978-3-662-02945-9
- Henri Cohen, Francisco Diaz y Diaz, and Michel Olivier, Computation of relative quadratic class groups, Algorithmic number theory (Portland, OR, 1998) Lecture Notes in Comput. Sci., vol. 1423, Springer, Berlin, 1998, pp. 433–440. MR 1726091, DOI 10.1007/BFb0054882
- H. Cohen, F. Diaz y Diaz, M. Olivier: Algorithms for finite abelian groups, submitted to J. Symb. Comp.
- C. Fieker : Ueber Relative Normgleichungen in Algebraischen Zahlkörpern, Dissertation, Technische Univertität Berlin (1997);
- C. Fieker, A. Jurk, and M. Pohst, On solving relative norm equations in algebraic number fields, Math. Comp. 66 (1997), no. 217, 399–410. MR 1355008, DOI 10.1090/S0025-5718-97-00761-8
- U. Fincke and M. Pohst, A procedure for determining algebraic integers of given norm, Computer algebra (London, 1983) Lecture Notes in Comput. Sci., vol. 162, Springer, Berlin, 1983, pp. 194–202. MR 774811, DOI 10.1007/3-540-12868-9_{1}03
- Dennis A. Garbanati, An algorithm for finding an algebraic number whose norm is a given rational number, J. Reine Angew. Math. 316 (1980), 1–13. MR 581319, DOI 10.1515/crll.1980.316.1
- Jean-Pierre Serre, Corps locaux, Publications de l’Université de Nancago, No. VIII, Hermann, Paris, 1968 (French). Deuxième édition. MR 354618
- C. L. Siegel, Normen algebraischer Zahlen, Nachr. Akad. Wiss. Göttingen Math.-Phys. Kl. II (1973), 197–215 (German). MR 342491
- D. Simon: Équations dans les Corps de Nombres et Discriminants Minimaux, thèse, Université de Bordeaux I (1998).
Bibliographic Information
- Denis Simon
- Affiliation: Université Bordeaux I, Laboratoire A2X, 351 Cours de la Libération, 33405 Talence, France
- Email: desimon@math.u-bordeaux.fr
- Received by editor(s): January 22, 1999
- Received by editor(s) in revised form: April 13, 1999
- Published electronically: January 11, 2002
- © Copyright 2002 American Mathematical Society
- Journal: Math. Comp. 71 (2002), 1287-1305
- MSC (2000): Primary 11D57, 11Y50, 11R29
- DOI: https://doi.org/10.1090/S0025-5718-02-01309-1
- MathSciNet review: 1898758