Primary decomposition of modules: Two variables over a field
Ideals and multiplicative ideal theory in commutative rings (13A15) Structure, classification theorems for modules and ideals in commutative rings (13C05) 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)
Let \(k\) be a field. Let \(N\) be a submodule of the free \(k[x,y]\)-module \(k[x,y]^ s\) for some \(s>0\). First, the author gives a partial structure theorem for Gröbner bases of \(N\). Secondly, she presents an algorithm for computing the primary decomposition of \(N\subset k[x,y]^ s\). In fact, if \({\mathfrak P}=\langle u,v\rangle\) is a maximal ideal containing \(\text{Ann}(k[x,y]^ s/N)\) and \(Q\) is the unique primary component of \(N\), then \(Q\) is written down explicitly. Finally, as an illustration, a submodule \(N\) of \(\mathbb{Q}[x,y]^ 3\) is considered and the primary modules corresponding to \(\langle x,y\rangle\), \(\langle x,y+1\rangle\), \(\langle x-1,y\rangle\) are computed.
- Gröbner bases and primary decomposition of modules
- Primary decomposition of modules: a computational differential approach
- Primary decomposition of modules over Dedekind domains using Gröbner bases
- Algorithms for primary decomposition of modules
- Algorithm for primary submodule decomposition without producing intermediate redundant components
This page was built for publication: Primary decomposition of modules: Two variables over a field
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2368065)
