Minimal systems of generators for ideals of semigroups (Q1380002): Difference between revisions
From MaRDI portal
Removed claims |
Changed an Item |
||
Property / author | |||
Property / author: Emilio Briales / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Antonio Campillo / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Carlos Marijuán / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Pilar Pisón-Casares / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: László Márki / rank | |||
Normal rank |
Revision as of 16:20, 11 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Minimal systems of generators for ideals of semigroups |
scientific article |
Statements
Minimal systems of generators for ideals of semigroups (English)
0 references
23 March 1999
0 references
Let \(S\) be a commutative cancellative finitely generated (additive) semigroup with 0 such that \(S\cap(-S)=\{0\}\). Let \(\{n_1,\dots,n_r\}\subset S\) be a set of generators for \(S\). For a field \(k\), the semigroup algebra \(k[S]\) is an \(S\)-graded ring in a trivial way, and the polynomial ring \(R=k[X_1,\dots,X_r]\) can also be considered as an \(S\)-graded ring, assigning the degree \(n_i\) to \(X_i\), and the component \(R_m\) is a finite dimensional \(k\)-vector space (in fact the latter property is equivalent to the condition \(S\cap(-S)=\{0\}\)). Now the \(k\)-algebra epimorphism \(\phi\colon R\to k[S]\) defined by \(\phi(X_i)=n_i\) is a graded homomorphism of degree zero, hence its kernel \(I\) is a homogeneous ideal. This ideal is called ``the defining ideal of the semigroup \(S\)'', or simply, by an abuse of language, ``the ideal of \(S\)''. Based on the method of \textit{A. Campillo} and \textit{P. Pisón} [C. R. Acad. Sci., Paris, Sér. I 316, No. 12, 1303-1306 (1993; Zbl 0816.20050)] the present paper presents an algorithm to compute a minimal system of binomial generators for \(I\). Investigations of this kind have their origin in the study of algebraic curves and go back to \textit{J. Herzog} [Manuscr. Math. 3, 175-193 (1970; Zbl 0211.33801)].
0 references
generators and relations
0 references
finitely generated commutative cancellative semigroups
0 references
semigroup rings
0 references
defining ideals
0 references
semigroup algebras
0 references
graded rings
0 references