Genus of numerical semigroups generated by three elements. (Q1758530): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
(One intermediate revision by one other user not shown)
Property / arXiv ID
 
Property / arXiv ID: 1104.3600 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Maximality properties in numerical semigroups and applications to one-dimensional analytically irreducible local domains / rank
 
Normal rank
Property / cites work
 
Property / cites work: On numerical semigroups / rank
 
Normal rank
Property / cites work
 
Property / cites work: On graded rings. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Generators and relations of abelian semigroups and semigroup rings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Numerical semigroups. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Numerical semigroups with embedding dimension three. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Pseudo-symmetric numerical semigroups with three generators. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Every positive integer is the Frobenius number of an irreducible numerical semigroup with at most four generators. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some Examples of one Dimensional Gorenstein Domains / rank
 
Normal rank

Revision as of 20:17, 5 July 2024

scientific article
Language Label Description Also known as
English
Genus of numerical semigroups generated by three elements.
scientific article

    Statements

    Genus of numerical semigroups generated by three elements. (English)
    0 references
    0 references
    0 references
    0 references
    9 November 2012
    0 references
    A numerical semigroup \(H\) is a submonoid of \(\mathbb N\) (the set of nonnegative integers) with finite complement in \(\mathbb N\). The elements in \(\mathbb N\setminus H\) are the gaps of \(H\), and its cardinality, denoted by \(g(H)\), is the genus of \(H\). The largest integer not belonging to \(H\) is its Frobenius number, \(F(H)\). It is easy to prove that \(2g(H)\geq F(H)+1\). When the equality holds we say that \(H\) is symmetric, and when \(2g(H)=F(H)+2\), we say that \(H\) is pseudo-symmetric. Every numerical semigroup \(H\) admits a unique minimal system of generators. The cardinality of \(A\) is the embedding dimension of \(H\). In this manuscript the authors focus on non-symmetric embedding dimension three numerical semigroups. Assume that \(H\) is such a semigroup, and \(\{a,b,c\}\) is its minimal generating system, with \(a<b<c\). Let \(k\) be a field and \(t\) an unknown. The semigroup ring \(k\) associated to \(H\) is \(k[H]=k[t^h\mid h\in H]=K[t^a,t^b,t^c]\). Let \(X\), \(Y\) and \(Z\) be three variables. The semigroup morphism \(\varphi\colon k[X,Y,Z]\to k[H]\) induced by \(X\mapsto t^a\), \(Y\mapsto t^b\), \(Z\mapsto t^c\), has kernel \(\mathfrak p\) generated by the maximal minors of the matrix \(\left(\begin{smallmatrix} X^\alpha &Y^\beta &Z^\gamma\\ Y^{\beta'}&Z^{\gamma'}&X^{\alpha'}\end{smallmatrix}\right)\), for some positive integers \(\alpha\), \(\beta\), \(\gamma\), \(\alpha'\), \(\beta'\) and \(\gamma'\) [see \textit{J. Herzog}, Manuscr. Math. 3, 175-193 (1970; Zbl 0211.33801)]. The main result of this paper states that \(2g(H)-(F(H)+1)\) equals \(\alpha\beta\gamma\) if \(\beta'b>\alpha a\), and \(\alpha'\beta'\gamma'\) otherwise. As a direct consequence the authors obtain a characterization of the pseudo-symmetry of \(H\): \(H\) is pseudo-symmetric if and only if either \(\alpha=\beta=\gamma=1\) or \(\alpha'=\beta'=\gamma'=1\). This characterization is an alternative to the one given by \textit{J. C. Rosales} and \textit{P. A. García-Sánchez}, [in J. Algebra 291, No. 1, 46-54 (2005; Zbl 1088.20034)]. The authors use this characterization to present a procedure to compute all pseudo-symmetric embedding dimension three numerical semigroups with given Frobenius number. Every even positive integer can be realized as the Frobenius number of a pseudo-symmetric numerical semigroup of embedding dimension at most four [\textit{J. C. Rosales} and \textit{P. A. García-Sánchez}, Ark. Mat. 42, No. 2, 301-306 (2004; Zbl 1059.20059)]. The set of even positive integers that can be realized as the Frobenius number of a pseudo-symmetric embedding dimension three numerical semigroup is not fully determined. The authors shed some light on this problem in Section 4. In the last section the authors characterize simple embedding dimension three numerical semigroups.
    0 references
    numerical semigroups of embedding dimension three
    0 references
    symmetric numerical semigroups
    0 references
    pseudo-symmetric numerical semigroups
    0 references
    genera of numerical semigroups
    0 references
    Frobenius numbers
    0 references
    semigroup rings
    0 references
    minimal generating sets
    0 references

    Identifiers

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