×

zbMATH — the first resource for mathematics

Gröbner bases and primary decomposition of polynomial ideals. (English) Zbl 0667.13008
An algorithm to compute the primary decomposition of ideals in a polynomial ring over a “factorially closed algorithmic principal ideal domain” (see the paper for the technical definition) is given. The construction is based on the Gröbner basis algorithm. Induction over the dimension is used and localization at principal primes lowers the dimension. In the zero-dimensional case Gröbner bases are again used for decomposing. Finally it is showed how the reduction process can be applied to computing radicals and testing for primality.
Reviewer: R.Fröberg

MSC:
13F20 Polynomial rings and ideals; rings of integer-valued polynomials
13-04 Software, source code, etc. for problems pertaining to commutative algebra
68W30 Symbolic computation and algebraic computation
13A15 Ideals and multiplicative ideal theory in commutative rings
PDF BibTeX Cite
Full Text: DOI
References:
[1] Ayoub, C., The decomposition theorem for ideals in polynomial rings over a domain, J. algebra, 76, 99-110, (1982) · Zbl 0505.13005
[2] Ayoub, C., On constructing bases for ideals in polynomial rings over the integers, J. number theory, 17, 204-225, (1983) · Zbl 0516.13018
[3] Buchberger, B., Ein algorithmus zum auffinden der basiselemente des restklassenringes nach einem nulldimensionalen polynomideal, () · Zbl 1245.13020
[4] Buchberger, B., Ein algorithmisches kriterium für die Lösbarkeit eines algebraischen gleichungssystems, Aequationes math., 4, 374-383, (1970) · Zbl 0212.06401
[5] Buchberger, B., A theoretical basis for the reduction of polynomials to canonical forms, ACM SIGSAM bulletin, 39, 19-29, (1976)
[6] Buchberger, B., A criterion for detecting unnecessary reductions in the construction of Gröbner bases, (), 3-21 · Zbl 0417.68029
[7] Buchberger, B., Gröbner bases: an algorithmic method in polynomial ideal theory, (), 184-232 · Zbl 0587.13009
[8] Davenport, J.; Trager, B., Factorization over finitely generated fields, (), 200-205
[9] Kaplansky, I., ()
[10] Lazard, D., Ideal bases and primary decomposition: case of two variables, J. of symb. comp., 1, 261-270, (1985) · Zbl 0616.68036
[11] Richman, F., Constructive aspects of Noetherian rings, Proc. am. math. soc., 44, 436-441, (1974) · Zbl 0265.13011
[12] Seidenberg, A., Constructions in algebra, Trans. am. math. soc., 197, 273-313, (1974) · Zbl 0356.13007
[13] Seidenberg, A., Constructions in a polynomial ring over the ring of integers, Am. J. math., 100, 685-703, (1978) · Zbl 0416.13013
[14] Seidenberg, A., On the lasker-Noether decomposition theorem, Am. J. math., 106, 611-638, (1984) · Zbl 0567.13006
[15] Spear, D., A constructive approach to commutative ring theory, (), 369-376
[16] Trinks, W., Über B. buchbergers verfahren, systeme algebraischer gleichungen zu lösen, J. number theory, 10, 475-488, (1978) · Zbl 0404.13004
[17] Zacharias, G., Generalized Gröbner bases in commutative polynomial rings, ()
[18] Zariski, O.; Samuel, P., ()
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.