Skip to main content
Erschienen in: Mathematics in Computer Science 3/2022

01.09.2022

Efficient Localization at a Prime Ideal Without Producing Unnecessary Primary Components

verfasst von: Yuki Ishihara

Erschienen in: Mathematics in Computer Science | Ausgabe 3/2022

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Atiyah, M.F., MacDonald, I.G.: Introduction to Commutative Algebra. Addison-Wesley Series in Mathematics. Avalon Publishing, New York (1994) Atiyah, M.F., MacDonald, I.G.: Introduction to Commutative Algebra. Addison-Wesley Series in Mathematics. Avalon Publishing, New York (1994)
2.
Zurück zum Zitat Becker, T., Weispfenning, V.: Gröbner Basis: A Computational Approach to Commutative Algebra. Graduate Texts in Mathematics. Springer, New York (1993)CrossRefMATH Becker, T., Weispfenning, V.: Gröbner Basis: A Computational Approach to Commutative Algebra. Graduate Texts in Mathematics. Springer, New York (1993)CrossRefMATH
3.
Zurück zum Zitat 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)CrossRefMATH 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)CrossRefMATH
5.
6.
Zurück zum Zitat Gianni, P., Trager, B., Zacharias, G.: Gröbner bases and primary decomposition of polynomial ideals. J. Symb. Comput. 6(2), 149–167 (1988)CrossRefMATH Gianni, P., Trager, B., Zacharias, G.: Gröbner bases and primary decomposition of polynomial ideals. J. Symb. Comput. 6(2), 149–167 (1988)CrossRefMATH
7.
Zurück zum Zitat Greuel, G.-M., Pfister, G.: A Singular Introduction to Commutative Algebra. Springer, Heidelberg (2008)MATH Greuel, G.-M., Pfister, G.: A Singular Introduction to Commutative Algebra. Springer, Heidelberg (2008)MATH
8.
Zurück zum Zitat 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.: 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)
9.
Zurück zum Zitat 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) 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)
10.
Zurück zum Zitat Kawazoe, T., Noro, M.: Algorithms for computing a primary ideal decomposition without producing intermediate redundant components. J. Symb. Comput. 46(10), 1158–1172 (2011)MathSciNetCrossRefMATH Kawazoe, T., Noro, M.: Algorithms for computing a primary ideal decomposition without producing intermediate redundant components. J. Symb. Comput. 46(10), 1158–1172 (2011)MathSciNetCrossRefMATH
11.
Zurück zum Zitat 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)CrossRef 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)CrossRef
12.
Zurück zum Zitat 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)MathSciNetCrossRefMATH 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)MathSciNetCrossRefMATH
13.
Zurück zum Zitat Shimoyama, T., Yokoyama, K.: Localization and primary decomposition of polynomial ideals. J. Symb. Comput. 22(3), 247–277 (1996)MathSciNetCrossRefMATH Shimoyama, T., Yokoyama, K.: Localization and primary decomposition of polynomial ideals. J. Symb. Comput. 22(3), 247–277 (1996)MathSciNetCrossRefMATH
14.
Zurück zum Zitat Sturmfels, B.: Solving systems of polynomial equations. In: CBMS Regional Conference Series. American Mathematical Society, no. 97 (2002) Sturmfels, B.: Solving systems of polynomial equations. In: CBMS Regional Conference Series. American Mathematical Society, no. 97 (2002)
15.
Zurück zum Zitat Vasconcelos, W.: Computational Methods in Commutative Algebra and Algebraic. Geometry Algorithms and Computation in Mathematics, vol. 2. Springer, Heidelberg (2004) Vasconcelos, W.: Computational Methods in Commutative Algebra and Algebraic. Geometry Algorithms and Computation in Mathematics, vol. 2. Springer, Heidelberg (2004)
16.
Zurück zum Zitat 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) 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)
Metadaten
Titel
Efficient Localization at a Prime Ideal Without Producing Unnecessary Primary Components
verfasst von
Yuki Ishihara
Publikationsdatum
01.09.2022
Verlag
Springer International Publishing
Erschienen in
Mathematics in Computer Science / Ausgabe 3/2022
Print ISSN: 1661-8270
Elektronische ISSN: 1661-8289
DOI
https://doi.org/10.1007/s11786-022-00537-4

Premium Partner