Finite generation of symmetric ideals

DOI10.1090/S0002-9947-07-04116-5MaRDI QIDQ3595013zbMATH OpenOpenAlexFDO

Authors Matthias Aschenbrenner, Christopher J. Hillar

Publication date 9 August 2007

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

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

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)

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.

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

Cites work

• scientific article; zbMATH DE number 5003332 (Why is no real title available?)
• scientific article; zbMATH DE number 638938 (Why is no real title available?)
• scientific article; zbMATH DE number 704831 (Why is no real title available?)
• scientific article; zbMATH DE number 835749 (Why is no real title available?)
• scientific article; zbMATH DE number 3210032 (Why is no real title available?)
• scientific article; zbMATH DE number 3198033 (Why is no real title available?)
• A Theorem on Partial Well-Ordering of Sets of Vectors
• Algebraic factor analysis: tetrads, pentads and beyond
• Ordering by Divisibility in Abstract Algebras
• Partial well‐ordering of sets of vectors
• Quasi finitely axiomatizable totally categorical theories
• SOME INFINITE PERMUTATION MODULES
• The theory of well-quasi-ordering: a frequently discovered concept
• Well-Quasi-Ordering of Sequences of Ordinal Numbers

Cited in

(44)

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

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)