Finite generation of symmetric ideals

DOI10.1090/S0002-9947-07-04116-5zbMATH Open1129.13008arXivmath/0411514OpenAlexW2061059337MaRDI QIDQ3595013FDOQ3595013

Authors: Matthias Aschenbrenner, Christopher J. Hillar 

Publication date: 9 August 2007

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Abstract: Let $A$ be a commutative Noetherian ring, and let $R=A[X]$ be the polynomial ring in an infinite collection $X$ of indeterminates over $A$. Let ${mathfrakS}_X$ be the group of permutations of $X$. The group ${mathfrakS}_X$ acts on $R$ in a natural way, and this in turn gives $R$ the structure of a left module over the left group ring $R[{mathfrakS}_X]$. We prove that all ideals of $R$ invariant under the action of ${mathfrakS}_X$ are finitely generated as $R[{mathfrakS}_X]$-modules. The proof involves introducing a certain well-quasi-ordering on monomials and developing a theory of Gr"obner bases and reduction in this setting. We also consider the concept of an invariant chain of ideals for finite-dimensional polynomial rings and relate it to the finite generation result mentioned above. Finally, a motivating question from chemistry is presented, with the above framework providing a suitable context in which to study it.

Full work available at URL: https://arxiv.org/abs/math/0411514

Recommendations

• Minimal generators for symmetric ideals
• On Noetherian modules graded by \(G\)-sets
• Symmetric polynomials and nonfinitely generated \(\mathrm{Sym}(\mathbb{N})\)-invariant ideals
• scientific article; zbMATH DE number 2147478
• Finite Gröbner bases in infinite dimensional polynomial rings and applications

zbMATH Keywords

invariant idealsymmetric groupwell-quasi-orderingGröbner basis

Mathematics Subject Classification ID

Combinatorics of partially ordered sets (06A07) Polynomials over commutative rings (13B25) Symmetric groups (20B30) Commutative Noetherian rings and modules (13E05) Commutative rings and modules of finite generation or presentation; number of generators (13E15)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Quasi finitely axiomatizable totally categorical theories
• Title not available (Why is that?)
• Algebraic factor analysis: tetrads, pentads and beyond
• Partial well‐ordering of sets of vectors
• The theory of well-quasi-ordering: a frequently discovered concept
• Ordering by Divisibility in Abstract Algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• SOME INFINITE PERMUTATION MODULES
• A Theorem on Partial Well-Ordering of Sets of Vectors
• Well-Quasi-Ordering of Sequences of Ordinal Numbers
• Title not available (Why is that?)

Cited In (43)

• Stream/block ciphers, difference equations and algebraic attacks
• Equivariant Gröbner bases and the Gaussian two-factor model
• Extended letterplace correspondence for nongraded noncommutative ideals and related algorithms.
• Actions of cocommutative Hopf algebras
• Components of symmetric wide-matrix varieties
• Topological noetherianity of polynomial functors
• FI- and OI-modules with varying coefficients
• Hilbert series of symmetric ideals in infinite polynomial rings via formal languages
• Noetherianity of some degree two twisted commutative algebras
• Gröbner bases of symmetric ideals
• Equivariant lattice bases
• Betti numbers of symmetric shifted ideals
• Asymptotic regularity of invariant chains of edge ideals
• An equivariant Hochster's formula for Sn$\mathfrak {S}_n$‐invariant monomial ideals
• Invariant chains in algebra and discrete geometry
• Title not available (Why is that?)
• Theorems of Carathéodory, Minkowski–Weyl, and Gordan up to Symmetry
• Erratum for ‘‘Finite generation of symmetric ideals”
• Finite Gröbner bases in infinite dimensional polynomial rings and applications
• Symmetric ideals and invariant factors
• When are symmetric ideals monomial?
• Equivariant Hilbert series in non-Noetherian polynomial rings
• Symmetric polynomials and nonfinitely generated \(\mathrm{Sym}(\mathbb{N})\)-invariant ideals
• Corrigendum to: ``Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals
• Minimal generators for symmetric ideals
• Rationality of equivariant Hilbert series and asymptotic properties
• Shift modules, strongly stable ideals, and their dualities
• Betti tables of monomial ideals fixed by permutations of the variables
• Finiteness theorems and algorithms for permutation invariant chains of Laurent lattice ideals
• Minimal and cellular free resolutions over polynomial OI-algebras
• Equivariant algebraic and semi-algebraic geometry of infinite affine space
• Identities in vector spaces and examples of finite-dimensional linear algebras having no finite basis of identities
• Noetherian quotients of the algebra of partial difference polynomials and Gröbner bases of symmetric ideals
• Gröbner Bases for the Polynomial Ring with Infinite Variables and Their Applications
• MFO-RIMS tandem workshop: Symmetries on polynomial ideals and varieties. Abstracts from the MFO-RIMS tandem workshop held September 5--11, 2021 (hybrid meeting)
• Representations of \(\mathbb{N}^{\infty}\)-type combinatorial categories
• A Kruskal-Katona type result and applications
• Finiteness for the \(k\)-factor model and chirality varieties
• Stability in the homology of unipotent groups
• Regularity of \(\mathfrak{S}_n\)-invariant monomial ideals
• Gröbner bases and gradings for partial difference ideals
• Lefschetz properties in algebra, geometry and combinatorics. Abstracts from the workshop held September 27 -- October 3, 2020 (hybrid meeting)
• Topological noetherianity for algebraic representations of infinite rank classical groups

This page was built for publication: Finite generation of symmetric ideals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3595013)