A short proof of Bresinski's Theorem on Gorenstein semigroup rings generated by 4 elements

DOI10.1007/978-3-030-40822-0_21zbMATH Open1530.20193arXiv1804.10330MaRDI QIDQ6300879FDOQ6300879

Kei-Ichi Watanabe

Publication date: 26 April 2018

Abstract: Let $H=langle{n}_1,ldots,n_{4}angle$ be a numerical semigroup generated by $4$ elements, which is symmetric and let $k[H]$ be the semigroup ring of $H$ over a field $k$. H. Bresinski proved that the defining ideal of $k[H]$ is minimally generated by $3$ or $5$ elements. We give a new short proof of Bresinski's Theorem using the structure theorem of Buchsbaum and Eisenbud on the minimal free resolution of Gorenstein rings of embedding codimension $3$.

Mathematics Subject Classification ID

Syzygies, resolutions, complexes and commutative rings (13D02) Semigroup rings, multiplicative semigroups of rings (20M25) Special types (Cohen-Macaulay, Gorenstein, Buchsbaum, etc.) (13H10) Commutative semigroups (20M14)

This page was built for publication: A short proof of Bresinski's Theorem on Gorenstein semigroup rings generated by 4 elements

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