Prime decompositions of radicals in polynomial rings
type: Item
instance of: scholarly article
title: Prime decompositions of radicals in polynomial rings
zbMATH Open document ID: 0832.13020
author: M. Kalkbrener
published in: Journal of Symbolic Computation
publication date: 1996-02-06T00:00:00Z
review text: Let \(R\) be a noetherian commutative ring with identity, \(S\) a set of finite subsets of \(R\), and Rep a surjective function from \(S\) to \(\text{Spec} (R)\). The author proves the following result: Theorem. Assume that for every \(C\in S\) there exists an algorithm for expressing every nonconstant element of \(K[x]\) as a product of irreducible polynomials, where \(K\) is the quotient field of the residue class ring \(R/ \text{Rep} (C)\). Then there exists a system of representations \((\overline S, \text{Rep})\) in \(R[x]\) and an algorithm that computes for a given finite subset \(F\) of \(R[x]\) a subset \(\{C_1, \ldots, C_r\}\) of \(\overline S\) such that \(\text{Radical} (F) = \bigcap^r_{i = 1} \text{Rep} (C_i)\). The algorithm that is constructed may be considered to be a generalization of the primary decomposition lifting the algorithm of Witt and Wu for multivariate polynomial rings over a field of characteristic zero. The author suggests modifications to his algorithm which would address problems concerning superfluous components and termination times.
reviewed by: Dwight M. Olson
Mathematics Subject Classification ID: 13P05
Mathematics Subject Classification ID: 13F20
Mathematics Subject Classification ID: 68W10
Mathematics Subject Classification ID: 13A10
zbMATH DE Number: 762066
zbMATH Keywords: algorithm for radical
zbMATH Keywords: multivariate polynomial rings
MaRDI profile type: Publication
OpenAlex ID: W1967579587
DOI: 10.1006/JSCO.1994.1052
description: scientific article; zbMATH DE number 762066