Decomposition of semigroup algebras

DOI10.1080/10586458.2012.688376zbMATH Open1270.13013arXiv1110.3653OpenAlexW2137145679MaRDI QIDQ4908504FDOQ4908504

Authors: Janko Böhm, David Eisenbud, Max Joachim Nitsche 

Publication date: 6 March 2013

Published in: Experimental Mathematics (Search for Journal in Brave)

Abstract: Let A subseteq B be cancellative abelian semigroups, and let R be an integral domain. We show that the semigroup ring R[B] can be decomposed, as an R[A]-module, into a direct sum of R[A]-submodules of the quotient ring of R[A]. In the case of a finite extension of positive affine semigroup rings we obtain an algorithm computing the decomposition. When R[A] is a polynomial ring over a field we explain how to compute many ring-theoretic properties of R[B] in terms of this decomposition. In particular we obtain a fast algorithm to compute the Castelnuovo-Mumford regularity of homogeneous semigroup rings. As an application we confirm the Eisenbud-Goto conjecture in a range of new cases. Our algorithms are implemented in the Macaulay2 package MonomialAlgebras.

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

Recommendations

• Decomposition of monomial algebras: applications and algorithms
• Castelnuovo-Mumford regularity of seminormal simplicial affine semigroup rings
• A combinatorial proof of the Eisenbud-Goto conjecture for monomial curves and some simplicial semigroup rings
• Decompositions of monomial ideals in real semigroup rings
• On decomposable semigroups and applications.

zbMATH Keywords

Castelnuovo-Mumford regularitysemigroup ringsEisenbud-Goto conjecturecomputational commutative algebra

Mathematics Subject Classification ID

Local cohomology and commutative rings (13D45) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10) Computational aspects and applications of commutative rings (13P99)

Cites Work

• Castelnuovo-Mumford regularity of simplicial toric rings.
• Hilbert functions of graded algebras
• Linear free resolutions and minimal multiplicity
• Title not available (Why is that?)
• Rings of Invariants of Tori, Cohen-Macaulay Rings Generated by Monomials, and Polytopes
• On a theorem of Castelnuovo, and the equations defining space curves
• A sharp Castelnuovo bound for smooth surfaces
• Towards a structure theory for projective varieties of degree = codimension + 2
• A criterion for detecting m-regularity
• Saturation and Castelnuovo-Mumford regularity
• Castenuovo bounds for certain subvarieties in \({\mathbb{P}}^ n\)
• On equations defining arithmetically Cohen-Macaulay schemes. I
• Syzygies of codimension 2 lattice ideals
• Castelnuovo-Mumford regularity of seminormal simplicial affine semigroup rings
• Castelnuovo Bounds for Locally Cohen-Macaulay Schemes
• Castelnuovo–Mumford regularity of simplicial semigroup rings with isolated singularity
• On the Castelnuovo-Mumford regularity of connected curves
• The purity of the Frobenius and local cohomology
• On Buchsbaum simplicial affine semigroups.
• Divisorial linear algebra of normal semigroup rings
• On seminormal monoid rings

Cited In (14)

• On decomposable semigroups and applications.
• A combinatorial proof of the Eisenbud-Goto conjecture for monomial curves and some simplicial semigroup rings
• Title not available (Why is that?)
• Decomposition of strongly separative monoids
• Decomposition of monomial algebras: applications and algorithms
• A decomposition of Arf semigroups
• Hadamard decompositions of semisimple associative algebras
• Classification of Rota-Baxter operators on semigroup algebras of order two and three
• Algebras whose multiplication algebra is semiprime. A decomposition theorem
• Title not available (Why is that?)
• Paradoxical decomposition of semigroups
• Decomposition of some central separable algebras
• Title not available (Why is that?)
• Seminormality, canonical modules, and regularity of cut polytopes

Uses Software

• Macaulay2
• SINGULAR
• MonomialAlgebras

This page was built for publication: Decomposition of semigroup algebras

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