Abstract
We give deterministic polynomial-time algorithms that, given an order, compute the primitive idempotents and determine a set of generators for the group of roots of unity in the order. Also, we show that the discrete logarithm problem in the group of roots of unity can be solved in polynomial time. As an auxiliary result, we solve the discrete logarithm problem for certain unit groups in finite rings. Our techniques, which are taken from commutative algebra, may have further potential in the context of cryptology and computer algebra.
Similar content being viewed by others
References
M. F. Atiyah and I. G. Macdonald, Introduction to commutative algebra, Addison-Wesley Publishing Co., Reading, MA, 1969.
J. Hopcroft and R. Tarjan, Algorithm 447: efficient algorithms for graph manipulation, Communications of the ACM, 16, no. 6 (1973) 372–378.
S. Lang, Algebra, Third edition, Graduate Texts in Mathematics 211, Springer-Verlag, New York, 2002.
A. K. Lenstra, Factoring polynomials over algebraic number fields, in Computer algebra (London, 1983), Lect. Notes in Comp. Sci. 162, Springer, Berlin, 1983, 245–254.
H. W. Lenstra, Jr., Lattices, in Algorithmic number theory: lattices, number fields, curves and cryptography, Math. Sci. Res. Inst. Publ. 44, Cambridge Univ. Press, Cambridge, 2008, 127–181, http://library.msri.org/books/Book44/files/06hwl.pdf.
H. W. Lenstra, Jr. and A. Silverberg, Revisiting the Gentry-Szydlo Algorithm, in Advances in Cryptology–CRYPTO 2014, Lect. Notes in Comp. Sci. 8616, Springer, Berlin, 2014, 280–296.
H. W. Lenstra, Jr. and A. Silverberg, Lattices with symmetry, to appear in Journal of Cryptology, https://eprint.iacr.org/2014/1026.
H. W. Lenstra, Jr. and A. Silverberg, Algorithms for commutative algebras over the rational numbers, arXiv:1509.08843.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by John Cremona.
This material is based on research sponsored by DARPA under Agreement Number FA8750-13-2-0054 and by the Alfred P. Sloan Foundation. The US Government is authorized to reproduce and distribute reprints for Governmental purposes notwithstanding any copyright notation thereon. The views and conclusions contained herein are those of the authors and should not be interpreted as necessarily representing the official policies or endorsements, either expressed or implied, of DARPA or the US Government.
Rights and permissions
About this article
Cite this article
Lenstra, H.W., Silverberg, A. Roots of Unity in Orders. Found Comput Math 17, 851–877 (2017). https://doi.org/10.1007/s10208-016-9304-1
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10208-016-9304-1