Mathematics in Computer Science

, Volume 6, Issue 3, pp 217–233 | Cite as

Efficient Arithmetic in Successive Algebraic Extension Fields Using Symmetries



In this article, we present new results for efficient arithmetic operations in a number field K represented by successive extensions. These results are based on multi-modular and evaluation–interpolation techniques. We show how to use intrinsic symmetries in order to increase the efficiency of these techniques. Applications to splitting fields of univariate polynomials are presented.


Algorithms Arithmetic Algebraic extension field Splitting field 

Mathematics Subject Classification

Primary 12Y05 Secondary 12F10 12-04 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abdeljaouad-Tej I., Orange S., Renault G., Valibouze A.: Computation of the decomposition group of a triangular ideal. Appl. Algebra Eng. Commun. Comput. 15(3–4), 279–294 (2004)MathSciNetMATHCrossRefGoogle Scholar
  2. 2.
    Anai, H., Noro, M., Yokoyama, K.: Computation of the splitting fields and the Galois groups of polynomials. In: Algorithms in Algebraic Geometry and Applications (Santander, 1994). Progr. Math., vol. 143, pp. 29–50. Birkhäuser, Basel (1996)Google Scholar
  3. 3.
    Aubry A., Valibouze A.: Using Galois ideals for computing relative resolvents. J. Symb. Comput. 30(6), 635–651 (2000)MathSciNetMATHCrossRefGoogle Scholar
  4. 4.
    Bosma W., Cannon J., Playoust C.: The Magma algebra system. I. The user language. J. Symb. Comput. 24(3–4), 235–265 (1997) [Computational algebra and number theory (London, 1993)]MathSciNetMATHCrossRefGoogle Scholar
  5. 5.
    Bostan A., Chowdhury M., van der Hoeven J., Schost E.: Homotopy techniques for multiplication modulo triangular sets. J. Symb. Comput. 46(12), 1378–1402 (2011)MATHCrossRefGoogle Scholar
  6. 6.
    Cohen, H.: A course in computational algebraic number theory. In: Graduate Texts in Mathematics, vol. 138. Springer-Verlag, Berlin (1993)Google Scholar
  7. 7.
    Cox, J., Little, D., O’Shea, D.: Ideals, varieties, and algorithms. In: Undergraduate Texts in Mathematics Springer-Verlag, NewYork (1991)Google Scholar
  8. 8.
    Dahan, X., Schost, É.: Sharp estimates for triangular sets. In: ISSAC’04: Proceedings of the 2004 International Symposium on Symbolic and Algebraic Computation, pp. 103–110. ACM (2004)Google Scholar
  9. 9.
    Diaz-Toca G.M., Lombardi H.: Dynamic Galois Theory. J. Symb. Comput. 45(12), 1316–1329 (2010)MathSciNetMATHCrossRefGoogle Scholar
  10. 10.
    Ducos L.: Construction de corps de décomposition grâce aux facteurs de résolvantes. Commun. Algebra 28(2), 903–924 (2000)MathSciNetMATHCrossRefGoogle Scholar
  11. 11.
    Geissler K., Klüners J.: Galois group computation for rational polynomials. J. Symb. Comput. 30(6), 653–674 (2000) (Algorithmic methods in Galois theory)MATHCrossRefGoogle Scholar
  12. 12.
    Langemyr, L.: Algorithms for a multiple algebraic extension. In: Effective Methods in Algebraic Geometry. Progress in Mathematics, vol. 94, pp. 235–248. Birkhäuser, Boston (1991)Google Scholar
  13. 13.
    Langemyr, L.: Algorithms for a multiple algebraic extension II. In: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes. Lecture Notes in Computer Science, vol. 539, pp. 234–233. Springer-Verlag, Berlin (1991)Google Scholar
  14. 14.
    Lederer M.: Explicit constructions in splitting fields of polynomials. Riv. Mat. Univ. Parma (7) 3*, 233–244 (2004)MathSciNetMATHGoogle Scholar
  15. 15.
    Li X., Moreno Maza M., Schost É.: Fast arithmetic for triangular sets: from theory to practice. J. Symb. Comput. 44(7), 891–907 (2009)MathSciNetMATHCrossRefGoogle Scholar
  16. 16.
    Orange, S.: Calcul de corps de décomposition—Utilisations fines d’ensembles de permutations en théorie de Galois effective. Ph.D. thesis, LIP6, Université Paris VI (2006)Google Scholar
  17. 17.
    Orange, S., Renault, G., Yokoyama, K.: Computation schemes for splitting fields of polynomials. In: ISSAC ’09: Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, pp. 279–286. ACM (2009)Google Scholar
  18. 18.
    Pohst, M., Zassenhaus, H.: Algorithmic algebraic number theory. In: Encyclopedia of Mathematics and its Applications, vol. 30. Cambridge University Press, Cambridge (1997) (Revised reprint of the 1989 original)Google Scholar
  19. 19.
    Renault, G., Yokoyama, K.: A modular method for computing the splitting field of a polynomial. In: Algorithmic Number Theory Symposium, vol. 4076 (2006)Google Scholar
  20. 20.
    Renault, G., Yokoyama, K.: Multi-modular algorithm for computing the splitting field of a polynomial. In: ISSAC ’08: Proceedings of the Twenty-First International Symposium on Symbolic and Algebraic Computation, pp. 247–254. ACM (2008)Google Scholar
  21. 21.
    Rennert N., Valibouze A.: Calcul de résolvantes avec les modules de Cauchy. Exp. Math. 8(4), 351–366 (1999)MathSciNetMATHCrossRefGoogle Scholar
  22. 22.
    Yokoyama K.: A modular method for computing the Galois groups of polynomials. J. Pure Appl. Algebra 117/118, 617–636 (1997)MathSciNetCrossRefGoogle Scholar

Copyright information

© Springer Basel AG 2012

Authors and Affiliations

  1. 1.LMAH, Université du HavreLe HavreFrance
  2. 2.INRIA, Paris-Rocquencourt, POLSYS Project, CNRS, UMR 7606, LIP6UPMC, Univ. Paris 06ParisFrance
  3. 3.Rikkyo UniversityTokyoJapan

Personalised recommendations