English

The minimal components of the Mayr-Meyer ideals

Commutative Algebra 2007-05-23 v1

Abstract

Mayr and Meyer found ideals J(n,d)J(n,d) (in a polynomial ring in 10n+210n+2 variables over a field kk and generators of degree at most d+2d+2) with ideal membership property which is doubly exponential in nn. This paper is a first step in understanding the primary decomposition of these ideals: it is proved here that J(n,d)J(n,d) has nd2+20nd^2 + 20 minimal prime ideals. Also, all the minimal components are computed, and the intersection of the minimal components as well.

Keywords

Cite

@article{arxiv.math/0209172,
  title  = {The minimal components of the Mayr-Meyer ideals},
  author = {Irena Swanson},
  journal= {arXiv preprint arXiv:math/0209172},
  year   = {2007}
}
R2 v1 2026-07-22T16:47:38.669Z