Direct methods for primary decomposition

DOI10.1007/BF01231331zbMath0770.13018OpenAlexW2071231019WikidataQ105501245 ScholiaQ105501245MaRDI QIDQ1209132

Craig Huneke, David Eisenbud, Vasconcelos, Wolmer V.

Publication date: 16 May 1993

Published in: Inventiones Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/144049

zbMATH Keywords

computer algebraradicalprimary decompositionMacaulayideal in a polynomial ring

Mathematics Subject Classification ID

Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Ideals and multiplicative ideal theory in commutative rings (13A15) Divisibility and factorizations in commutative rings (13A05)

Related Items (89)

The structure of Koszul algebras defined by four quadrics ⋮ Finding sparse systems of parameters ⋮ Canonical comprehensive Gröbner bases ⋮ Unnamed Item ⋮ Primary decomposition of modules: a computational differential approach ⋮ Regularity of prime ideals ⋮ Recovering Exact Results from Inexact Numerical Data in Algebraic Geometry ⋮ Associated primes and arithmetic degrees ⋮ A symbolic test for \((i,j)\)-uniformity in reduced zero-dimensional schemes ⋮ Computing generators of the ideal of a smooth affine algebraic variety ⋮ Implementation of prime decomposition of polynomial ideals over small finite fields ⋮ The computation of purity filtrations over commutative Noetherian rings of operators and their application to behaviors ⋮ The Multivariate Schwartz--Zippel Lemma ⋮ Typical ranks for 3-tensors, nonsingular bilinear maps and determinantal ideals ⋮ Algorithms for \(b\)-functions, restrictions, and algebraic local cohomology groups of \(D\)-modules ⋮ A spectral sequence for splines ⋮ The regularity conjecture for prime ideals in polynomial rings ⋮ Flatness testing and torsionfree morphisms ⋮ Strength and Hartshorne's conjecture in high degree ⋮ Binomial ideals ⋮ Gröbner bases for polynomial systems with parameters ⋮ Local cohomology of logarithmic forms ⋮ Grade filtration of linear functional systems. ⋮ Associated primes of monomial ideals and odd holes in graphs ⋮ Abelian duality and propagation of resonance ⋮ Links of prime ideals ⋮ A Direttissimo Algorithm for Equidimensional Decomposition ⋮ Geometry of logarithmic derivations of hyperplane arrangements ⋮ Brane webs and magnetic quivers for SQCD ⋮ A signature-based algorithm for computing the nondegenerate locus of a polynomial system ⋮ The isomorphism problem of projective schemes and related algorithmic problems ⋮ A connectedness result in positive characteristic ⋮ The minimal components of the Mayr-Meyer ideals. ⋮ The decision of prime and primary ideal ⋮ An FGLM-like algorithm for computing the radical of a zero-dimensional ideal ⋮ Linear PDE with constant coefficients ⋮ On the computation of the Galois group of linear difference equations ⋮ Segre-driven radicality testing ⋮ Multidegrees, prime ideals, and non-standard gradings ⋮ Syzygies, constant rank, and beyond ⋮ Parallelization of modular algorithms ⋮ Primary Decompositions ⋮ Algorithm for primary submodule decomposition without producing intermediate redundant components ⋮ An algorithm for primary decomposition in polynomial rings over the integers ⋮ Thom isotopy theorem for nonproper maps and computation of sets of stratified generalized critical values ⋮ On the generalized Ritt problem as a computational problem ⋮ A rank two vector bundle associated to a three arrangement, and its Chern polynomial ⋮ Alexander duality for Stanley-Reisner rings and squarefree \(\mathbb{N}^n\)-graded modules ⋮ Solving parametric polynomial systems ⋮ Algorithmic stratification of \(\mathbb R\Hom_{\mathcal D}(\mathcal M, \mathcal N)\) for regular algebraic \(\mathcal D\)-modules on \(\mathbb C^n\) ⋮ Practical algorithms for polycyclic matrix groups ⋮ Essential components of an algebraic differential equation ⋮ Computing Galois groups of completely reducible differential equations ⋮ Syzygies and singularities of tensor product surfaces of bidegree (2,1) ⋮ Algorithms for \(b\)-functions, induced systems, and algebraic local cohomology of \(D\)-modules ⋮ Algorithms for \(D\)-modules -- restriction, tensor product, localization, and local cohomology groups ⋮ A new approach to primary decomposition ⋮ Derivations and radicals of polynomial ideals over fields of arbitrary characteristic ⋮ Computing the radical of an ideal in positive characteristic ⋮ Primary decomposition of zero-dimensional ideals over finite fields ⋮ Local cohomology of Stanley-Reisner rings with supports in general monomial ideals ⋮ Algorithms for computing a primary ideal decomposition without producing intermediate redundant components ⋮ Cyclicity of polynomial nondegenerate centers on center manifolds ⋮ On the De Boer-Pellikaan method for computing minimum distance ⋮ Generators for the \(C^m\)-closures of ideals ⋮ Primary Decomposition in Singular ⋮ Parametrization of the orbits of cubic surfaces ⋮ Effective de Rham cohomology — The general case ⋮ Noetherian operators and primary decomposition ⋮ Semidefinite characterization and computation of zero-dimensional real radical ideals ⋮ Evaluation techniques for zero-dimensional primary decomposition ⋮ On the complexity of counting components of algebraic varieties ⋮ A simple introduction to Gröbner basis methods in string phenomenology ⋮ On Carlson's depth conjecture ⋮ Applications of some properties of the canonical module in computational projective algebraic geometry ⋮ The common invariant subspace problem: an approach via Gröbner bases ⋮ Explicit polynomial bounds on prime ideals in polynomial rings over fields ⋮ On the parametrization of hyperelliptic fields with \(S\)-units of degrees 7 and 9 ⋮ Computer algebra and algebraic geometry -- achievements and perspectives ⋮ Cellular binomial ideals. Primary decomposition of binomial ideals ⋮ Flatness and fibred powers over smooth varieties ⋮ Effective algorithm for computing Noetherian operators of zero-dimensional ideals ⋮ Hrushovski's algorithm for computing the Galois group of a linear differential equation ⋮ Efficient localization at a prime ideal without producing unnecessary primary components ⋮ The calculation of radical ideals in positive characteristic ⋮ Computing the primary decomposition of zero-dimensional ideals ⋮ Cyclicity of a class of polynomial nilpotent center singularities ⋮ Key problems in the extension of module-behaviour duality ⋮ On the minimal number of trajectories determining a multidimensional system

Uses Software

• Macaulay2

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A criterion for detecting m-regularity
• On a theorem of Castelnuovo, and the equations defining space curves
• A sharp Castelnuovo bound for smooth surfaces
• Gröbner bases and primary decomposition of polynomial ideals
• A homological investigation of a certain residual ideal
• Solving zero-dimensional algebraic systems
• Computation of Hilbert functions
• Some structure theorems for finite free resolutions
• Liaison des variétés algébriques. I
• What annihilates a module?
• An algebraic formula for the degree of a \(C^\infty\) map germ. Sur une inegalite a la Minkowski pour les multiplicites
• Finding sparse systems of parameters
• Ideal basis and primary decompositions: case of two variables
• Effective computation of the integral closure of a morphism
• A note of Shimura's paper: Discontinuous groups and Abelian varieties
• Symbolic powers in Noetherian domains
• What makes a complex exact?
• Resolution of singularities of an algebraic variety over a field of characteristic zero. I
• On the Lasker-Noether Decomposition Theorem
• Vanishing Theorems, A Theorem of Severi, and the Equations Defining Projective Varieties
• Computing the Integral Closure of an Affine Domain
• What can be computed in algebraic geometry?

This page was built for publication: Direct methods for primary decomposition