Minimal systems of generators for ideals of semigroups (Q1380002): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claims
RedirectionBot (talk | contribs)
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
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references