Abstract
In Commutative Algebra, localization at a prime ideal in a polynomial ring is a basic but important tool. It is well-known that localization at a prime ideal can be computed through “primary decomposition”, however, it contains unnecessary primary components for the localization. In this paper, we propose a method for computing the localization without producing unnecessary primary components. Also, we discuss computation for desirable primary components from a view of “the degree of nilpotency”. In a computational experiment, we see the effectiveness of our method by its speciality.
Similar content being viewed by others
References
Atiyah, M.F., MacDonald, I.G.: Introduction to Commutative Algebra. Addison-Wesley Series in Mathematics. Avalon Publishing, New York (1994)
Becker, T., Weispfenning, V.: Gröbner Basis: A Computational Approach to Commutative Algebra. Graduate Texts in Mathematics. Springer, New York (1993)
Cox, D.A., Little, J.B., O’Shea, D.: Ideals, Varieties and Algorithms: An Introduction to Computational Algebraic Geometry and Commutative Algebra, Undergraduates Texts In Mathematics, 4th edn. Springer, New York (2015)
Decker, W., Greuel, G.-M., Pfister, G.; Schönemann, H.: Singular 4-2-0—a computer algebra system for polynomial computations. http://www.singular.uni-kl.de (2020)
Eisenbud, D., Huneke, C., Vasconcelos, W.: Direct methods for primary decomposition. Invent. Math. 110(1), 207–235 (1992)
Gianni, P., Trager, B., Zacharias, G.: Gröbner bases and primary decomposition of polynomial ideals. J. Symb. Comput. 6(2), 149–167 (1988)
Greuel, G.-M., Pfister, G.: A Singular Introduction to Commutative Algebra. Springer, Heidelberg (2008)
Ishihara, Y., Yokoyama, K.: Effective localization using double ideal quotient and its implementation. In: Computer Algebra in Scientific Computing, CASC 2018, LNCS, vol. 11077. Springer, pp. 272–287 (2018)
Ishihara, Y., Yokoyama, K.: Computation of a primary component of an ideal from its associated prime by effective localization. In: Communications of Japan Society for Symbolic and Algebraic Computation, vol. 4. Japan Society for Symbolic and Algebraic Computation, pp. 1–31 (2020)
Kawazoe, T., Noro, M.: Algorithms for computing a primary ideal decomposition without producing intermediate redundant components. J. Symb. Comput. 46(10), 1158–1172 (2011)
Matzat, B.H., Greuel, G.-M., Hiss, G.: Primary decomposition: algorithms and comparisons. In: Matzat, B.H., Greuel, G.M., Hiss, G. (eds.) Algorithmic Algebra and Number Theory, pp. 187–220. Springer, Heidelberg (1999)
Mayr, E.W., Meyer, A.R.: The complexity of the word problems for commutative semigroups and polynomial ideals. Adv. Math. 46(3), 305–329 (1982)
Shimoyama, T., Yokoyama, K.: Localization and primary decomposition of polynomial ideals. J. Symb. Comput. 22(3), 247–277 (1996)
Sturmfels, B.: Solving systems of polynomial equations. In: CBMS Regional Conference Series. American Mathematical Society, no. 97 (2002)
Vasconcelos, W.: Computational Methods in Commutative Algebra and Algebraic. Geometry Algorithms and Computation in Mathematics, vol. 2. Springer, Heidelberg (2004)
Yokoyama, K.: A note on distinct nilpotency decomposition of polynomial ideals over finite fields, Commentarii mathematici Universitatis Sancti Pauli, vol. 59, no. 2. Department of Mathematics Rikkyo University, pp. 145–164 (2010)
Acknowledgements
The author appreciates the kind support of the computational facility by Professor Masayuki Noro. He is grateful to Professor Ernst W. Mayr for his helpful comments during the CASC 2021 conference. He would like to thank Professor Kazuhiro Yokoyama for constructive comments and suggestions for the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Ishihara, Y. Efficient Localization at a Prime Ideal Without Producing Unnecessary Primary Components. Math.Comput.Sci. 16, 14 (2022). https://doi.org/10.1007/s11786-022-00537-4
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11786-022-00537-4