Next Article in Journal
Effects of Asymmetry between Design Models and User Models on Subjective Comprehension of User Interface
Next Article in Special Issue
A Note on Decomposable and Reducible Integer Matrices
Previous Article in Journal
Preemptive Prediction-Based Automated Cyberattack Framework Modeling
Previous Article in Special Issue
Pareto Optimality for Multioptimization of Continuous Linear Operators
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Counting the Ideals with a Given Genus of a Numerical Semigroup with Multiplicity Two

by
M. A. Moreno-Frías
1,* and
José Carlos Rosales
2
1
Departamento de Matemáticas, Facultad de Ciencias, Universidad de Cádiz, Puerto Real, E-11510 Cádiz, Spain
2
Departamento de Álgebra, Facultad de Ciencias, Universidad de Granada, E-18071 Granada, Spain
*
Author to whom correspondence should be addressed.
Submission received: 13 April 2021 / Revised: 29 April 2021 / Accepted: 1 May 2021 / Published: 3 May 2021

Abstract

:
Let S and T be two numerical semigroups. We say that T is an I ( S ) -semigroup if T { 0 } is an ideal of S. Given k a positive integer, we denote by Δ ( k ) the symmetric numerical semigroup generated by { 2 , 2 k + 1 } . In this paper we present a formula which calculates the number of I ( S ) -semigroups with genus g ( Δ ( k ) ) + h for some nonnegative integer h and which we will denote by i ( Δ ( k ) , h ) . As a consequence, we obtain that the sequence { i ( Δ ( k ) , h ) } h N is never decreasing. Besides, it becomes stationary from a certain term.
MSC:
20M14 (Primary); 05A15 (Secondary)

1. Introduction

Let Z be the set of integer numbers and let N = { 0 , 1 , 2 , , } the set of nonnegative integers. A nonempty subset S of N is a numerical semigroup, if it verifies the following conditions: it is closed under addition, 0 S and N S = { x N x S } is finite.
If S is a numerical semigroup, then there exist three important invariants to the study of a numerical semigroups. They are the multiplicity, the Frobenius number and the genus of S, which are defined, respectively, as m ( S ) = min ( S { 0 } ) , F ( S ) = max { z Z z S } and g ( S ) = ( N S ) , (where X denotes the cardinality of X).
Given A a nonempty subset of N , we consider the submonoid of ( N , + ) generated by A, that is, A = { λ 1 a 1 + + λ n a n n N { 0 } , { a 1 , , a n } A a n d { λ 1 , , λ n } N } .
In ([1], Lemma 2.1) it is proven that A is a numerical semigroup if and only if gcd ( A ) = 1 .
If S is a numerical semigroup where S = A , then A is called a system of generators of S. Moreover, if S B for B A , then A will be called a minimal system of generators of S. In [1], it is proven that every numerical semigroup admits a unique minimal system of generators. Besides, this minimal system of generators is finite. The minimal system of generators of S will denoted by msg ( S ) and its cardinality is called the embedding dimension of S and it is denoted by e ( S ) .
A numerical semigroup S is symmetric if it verifies the following condition: if x N , then x S if and only if F ( S ) x S . In ([1], Corollary 4.7) it is proven that every numerical semigroup of embedding dimension two is symmetric. The introduction of these semigroups is due mainly to Kunz, who proves in [2] that a one-dimensional analytically irreducible Noetherian local ring is Gorenstein if and only if its value semigroup is symmetric. This has motivated that the symmetric numerical semigroups have been the numerical semigroup most studied in the literature.
If k N { 0 } , it is clear that Δ ( k ) = { 2 , 2 k + 1 } is a numerical semigroup with multiplicity 2 and it is known that every numerical semigroup with multiplicity 2 has this form.
If S is a numerical semigroup, then by Proposition 2.10 from [1], we know that e ( S ) m ( S ) . When e ( S ) = m ( S ) , we say that S is a numerical semigroup with maximal embedding dimension (MED-semigroup, see [3]). By Remark 4.21 from [1], we know that { Δ ( k ) k N } is the set formed by all the symmetric numerical semigroups with maximal embedding dimension.
If A and B are nonempty subsets of Z , then we will consider the following set A + B = { a + b a A , b B } . Let S be a numerical semigroup. An ideal of S is a subset nonempty P of S such that P + S P . The ideals of a numerical semigroup have been extensively studied, see for example [4,5,6,7].
If S is a numerical semigroup and P is an ideal of S, then P { 0 } is a numerical semigroup. This fact induces us to give the following definition. A numerical semigroup T is an I ( S ) -semigroup if T { 0 } is an ideal of S.
If T is an I ( S ) -semigroup, then T is a numerical semigroup and T S . Therefore, g ( S ) g ( T ) .
In [8] Bras-Amorós computed the number of numerical semigroups with genus g for g { 0 , , 50 } and she proved that the sequence of the number of numerical semigroup with a fixed genus less than or equal to 50 has a behaviour similar to Fibonacci sequence. She also surmised that, in general, for a fixed integer g there are more numerical semigroups with genus g + 1 than numerical semigroups with genus g. Despite extensive research into this problem, it remains to be solved. For this reason, determining the number of numerical semigroups with a given genus has become a question of great interest (see for instance [8,9,10,11,12,13,14]).
If h N , we denote by J ( S , h ) = { T T   is   an   I ( S ) - semigroup   and   g ( T ) = g ( S ) + h } . Denote by i ( S , h ) the cardinality of J ( S , h ) .
In ([15]) we have conjectured the following: if S is a numerical semigroup, then there exists n S N such that if 0 a < b n S , then i ( S , a ) i ( S , b ) and i ( S , n S + n ) = i ( S , n S ) for all n N .
A numerical semigroup S is ordinary if S = { 0 , m ( S ) , } (the symbol → means that every integer greater than m ( S ) belongs to the set). In [15] we also show that the previous conjecture is true for ordinary numerical semigroups.
The purpose of the present work is to demonstrate that, given k a positive integer and Δ ( k ) = { 2 , 2 k + 1 } , then
i Δ ( k ) , h = h + 2 2 if h 2 k 1 , k + 1 if h 2 k 1 ,
where q = min { z Z q z } for all q Q .
Therefore, if 0 a < b 2 k 1 , then we have i ( S , a ) i ( S , b ) and i ( Δ ( k ) , 2 k 1 + n ) = k + 1 for all n N .
This result proves that the conjecture proposed by M. Bras-Amorós in [8] is true for this family of symmetric numerical semigroups. Moreover, we have taken a step forward towards the resolution of the conjecture, since our result asserts that there exist families of numerical semigroups where the number of semigroups with genus g is equal to the number of semigroups with genus g + 1 from some genus.
The contents of this work are organized as follows. In Section 2 we give some concepts and results used during this work. All of them appear in [15]. In Section 3 we show a characterization of Δ ( k ) -incomparable set. This is the content of Proposition 4. Afterwards, we obtain the expresion of genus of an I ( S ) -semigroup, according to the Δ ( k ) -incomparable set, X. Finally, we prove Theorem 1, which is the main result of the work. We finish the Section and the paper by providing an example illustrating the theorem. Specifically, this example calculates the monotone increasing sequence of the number of I ( Δ ( 5 ) ) -semigroups with a fixed genus. In this example we can see that the sequence becomes stationary in the genus 9 .

2. Results and Basic Concepts

In Proposition 1 from [15], appears the following result.
Proposition 1.
Let S be a numerical semigroup and let X be a subset nonempty of S, then X + S is an ideal of S. Moreover, every ideal of S has this form.
Given S a numerical semigroup, then we define the following order relation in S: a S b if b a S .
A S-incomparable set is a subset nonempty X of S verifying that x x S for all ( x , x ) X × X such that x x .
The content of the following proposition is Theorem 5 from [15].
Proposition 2.
If S is a numerical semigroup, then the set
{ X + S X is a S - incomparable set }
is the set composed by all the ideals of S. Moreover, if X and Y are two S-incomparable sets with X Y , then X + S Y + S .
The following result is Proposition 7 from [15].
Proposition 3.
Let S be a numerical semigroup and let X be a S-incomparable set, then X is finite.

3. The Main Result

Given k N { 0 } , the numerical semigroup generated by { 2 , 2 k + 1 } , will be denoted by Δ ( k ) . Our first purpose in this section will be to show how the Δ ( k ) -incomparable sets are.
The Frobenius problem for numerical semigroups consists in finding formulas for the Frobenius number and genus of a numerical semigroup by using its minimal system of generators. This problem was solved by Sylvester in [16] for numerical semigroups with embedding dimension two. Specifically, Sylvester proves that if a and b are positive integers greater than or equal to two and gcd { a , b } = 1 , then F { a , b } = a b a b and g { a , b } = ( a 1 ) ( b 1 ) 2 . At the present time, the Frobenius problem is still open for embedding dimension greater than or equal to three (see [17]). The following result has an immediate proof.
Lemma 1.
If k is a positive integer, then
Δ ( k ) = 2 x x N 2 x + 2 k + 1 x N .
Moreover, F ( Δ ( k ) ) = 2 k 1 and g ( Δ ( k ) ) = k .
Proposition 4.
Let X be a nonempty subset of N . Then X is a Δ ( k ) -incomparable set if and only if one of the following conditions is verified:
(1) 
X = { a } for some a N such that a is even.
(2) 
X = { a } for some a N such that a is odd and a 2 k + 1 .
(3) 
X = { a , b } with { a , b } N , a is even, b is odd, a 2 , b 2 k + 1 and | a b | 2 k 1 .
Proof. 
(Necessity). Initially, note that if { x , y } X and x y , then x and y have different parity. Therefore, if X has cardinality greather than or equal to two, then X = { a , b } where { a , b } N , a is even, b is odd, a 2 and b 2 k + 1 . In addition, { a b , b a } Δ ( k ) = and so | a b | 2 k 1 .
(Sufficiency). Trivial. □
The following result is deduced from Proposition 9 in [7].
Lemma 2.
Given S a numerical semigroup, a S { 0 , 1 } and we consider the set T = { a } + S { 0 } , then F ( T ) = F ( S ) + a , g ( T ) = g ( S ) + a 1 and m ( T ) = a .
Proposition 5.
Let X { 0 } be a Δ ( k ) -incomparable set and we consider the numerical semigroup S = X + Δ ( k ) { 0 } . Then
(1) 
If X = { a } , then g ( S ) = g ( Δ ( k ) ) + a 1 .
(2) 
If X = { a , b } where a is even and b is odd, then
g ( S ) = g ( Δ ( k ) ) + a 2 2 + b 2 k 1 2 .
Proof. 
(1) 
It is a trivial consequence from Lemma 2.
(2) 
By Proposition 4, a 2 , b 2 k + 1 and | a b | 2 k 1 . And by Lemma 1,
g ( S ) = g ( Δ ( k ) ) + { x N 2 x a 2   and   x   is   even } +
{ x N 2 k + 1 x b 2   and   x   is   odd }
because b a + 2 k 1 and a b + 2 k 1 . Therefore the genus of S is g ( S ) = g ( Δ ( k ) ) + a 2 2 + b 2 k 1 2 .
 □
At this point, after these results, it is possible for us to validate the Theorem announced in the Introduction.
Theorem 1.
If h N { 0 } , then
i ( Δ ( k ) , h ) = h + 2 2 i f h 2 k 1 , k + 1 i f h 2 k 1 .
Proof. 
(1)
In the first place, we focus on the calculation of all the elements of the set J ( Δ ( k ) , h ) which have the form S = { a } + Δ ( k ) { 0 } , being a Δ ( k ) . By 1) from Proposition 5, g ( S ) = g ( Δ ( k ) ) + a 1 . Thus, if S J ( Δ ( k ) , h ) , then a = h + 1 . As a Δ ( k ) , then by applying Lemma 1, we deduce the following:
  • If h is odd, then J ( Δ ( k ) , h ) contains a unique element which has the shape { a } + Δ ( k ) { 0 } .
  • If h is even and h + 1 2 k 1 , then J ( Δ ( k ) , h ) does not contain any element with the form { a } + Δ ( k ) { 0 } .
  • If h is even and h + 1 2 k + 1 , then J ( Δ ( k ) , h ) contains a unique element whit the shape { a } + Δ ( k ) { 0 } .
(2)
In the second place, let us see how many elements there are in J ( Δ ( k ) , h ) which have the form S = { a , b } + Δ ( k ) { 0 } , where a is even, b is odd, a 2 , b 2 k + 1 and | a b | 2 k 1 .
By 2) from Proposition 5, we know that a 2 2 + b 2 k 1 2 = h and, in consequence we have a + b = 2 h + 2 k + 3 . Therefore, { a , b } + Δ ( k ) { 0 } belongs to J ( Δ ( k ) , h ) if and only if a + b = 2 h + 2 k + 3 , a 2 , b 2 k + 1 , a is even, b is odd and | a b | 2 k 1 . We distinguish the following cases:
  • As b 2 k + 1 , then a 2 h + 2 .
  • As b = 2 h + 2 k + 3 a and b a 2 k 1 , then h + 2 a .
  • As b = 2 h + 2 k + 3 a and a b 2 k 1 , then a h + 2 k + 1 .
As a consequence of these three previous cases, we can say that the number of elements of J ( Δ ( k ) , h ) which have the form { a , b } + Δ ( k ) { 0 } coincides with the cardinality of the set
{ a N a   is   even   and   h + 2 a min { 2 h + 2 , h + 2 k + 1 } } .
Note that min { 2 h + 2 , h + 2 k + 1 } = 2 h + 2 if h 2 k 1 , h + 2 k + 1 if h 2 k 1 .
Now, we are going to study these two cases:
  • If h 2 k 1 , then { a N a   is   even   and   h + 2 a 2 h + 2 } = h + 2 2 , where q = max { z Z z q } for all q Q .
  • If h 2 k 1 , then { a N a   is   even   and   h + 2 a h + 2 k + 1 } = k .
(3)
Finally, we are able to affirm the following:
  • If h 2 k 1 then, according to previous points (1) and (2), we deduce that
    i ( Δ ( k ) , h ) = h + 2 2 + 1 if h is odd , h + 2 2 if h is even .
    So i ( Δ ( k ) , h ) = h + 2 2 .
  • If h 2 k 1 then, according again to the previous points (1) and (2), we assert that i ( Δ ( k ) , h ) = k + 1 .
 □
Example 1.
The increasing sequence of the number of I ( Δ ( 5 ) ) -semigroups with a fixed genus is the following:
  • i ( Δ ( 5 ) , 0 ) = 1 ,
  • i ( Δ ( 5 ) , 1 ) = i ( Δ ( 5 ) , 2 ) = 2 ,
  • i ( Δ ( 5 ) , 3 ) = i ( Δ ( 5 ) , 4 ) = 3 ,
  • i ( Δ ( 5 ) , 5 ) = i ( Δ ( 5 ) , 6 ) = 4 ,
  • i ( Δ ( 5 ) , 7 ) = i ( Δ ( 5 ) , 8 ) = 5 ,
  • i ( Δ ( 5 ) , h ) = 6 for all h 9 .

4. Conclusions

This paper is devoted to study the number of I ( S ) -semigroups with a fixed genus for a particular case of symmetric numerical semigroup S. That is, numerical semigroups which have the form Δ ( k ) = { 2 , 2 k + 1 } , being k N . We have proved that, in this case, the sequence of the number of I ( Δ ( k ) ) -semigroups with a fixed genus, follows a nondecreasing sequence.
We have performed many calculations for this problem and all of them show that this sequence is a nondecreasing sequence for every numerical semigroup considered. For this reason, in future works, we are going to study the behaviour of this sequence in other families of numerical semigroups. Also, we want to obtain the formula of the bound where the sequence becomes stationary.

Author Contributions

All authors have contributed equally. All authors have read and agreed to the published version of the manuscript.

Funding

This work was supported by the regional research groups FQM-298 and FQM-343 (Junta de Andalucia/Feder) and by the project MTM2017-84890-P.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Acknowledgments

The authors would like to thank the reviewers for their useful comments and suggestions that helped to improve this work.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Rosales, J.C.; García-Sánchez, P.A. Numerical Semigroups. In Developments in Mathematics; Springer: New York, NY, USA, 2009; Volume 20. [Google Scholar]
  2. Kunz, E. The value-semigroups of a one-dimensional Gorenstein ring. Proc. Amer. Math. Soc. 1970, 25, 748–751. [Google Scholar] [CrossRef]
  3. Rosales, J.C.; García-Sánchez, P.A.; García-García, J.I.; Urbano-Blanco, J.M. Numerical semigroup with maximal embedding dimension. Int. J. Commutative Ring 2003, 2, 47–53. [Google Scholar]
  4. Anderson, D.D.; Johnson, E.R. Ideal Theory in Commutative Semigroups. Semigroup Forum 1984, 30, 125–158. [Google Scholar] [CrossRef]
  5. Rosales, J.C.; García-Sánchez, P.A.; García-García, J.I. Irreducible ideals of finitely generated commutative monoids. J. Algebra 2001, 238, 328–344. [Google Scholar] [CrossRef] [Green Version]
  6. Rosales, J.C.; García-Sánchez, P.A.; García-García, J.I. Ideals of finitely generated commutative monoids. Semigroup Forum 2003, 66, 305–322. [Google Scholar] [CrossRef]
  7. Rosales, J.C. Principal ideals of numerical semigroups. Bull. Belg. Math. Soc. Simon Stevin 2003, 10, 329–343. [Google Scholar] [CrossRef]
  8. Bras-Amorós, M. Fibonacci-like behavior of the number of numerical semigroups of a given genus. Semigroup Forum 2008, 76, 379–384. [Google Scholar] [CrossRef] [Green Version]
  9. Blanco, V.; Rosales, J.C. The set of numerical semigroups of a given genus. Forum Math. 2012, 85, 255–267. [Google Scholar] [CrossRef] [Green Version]
  10. Bras-Amorós, M. Bounds on the number of numerical semigroups of a given genus. J. Pure Appl. Algebra 2008, 213, 997–1001. [Google Scholar] [CrossRef] [Green Version]
  11. Elizalde, S. Improved bounds on the number of numerical semigroups of a given genus. J. Pure Appl. Algebra 2010, 214, 1862–1873. [Google Scholar] [CrossRef] [Green Version]
  12. Kaplan, N. Counting numerical semigroups by genus and some cases a question of Wilf. J. Pure Appl. Algebra 2012, 216, 1016–1032. [Google Scholar] [CrossRef] [Green Version]
  13. Zhao, Y. Constructing numerical semigroup of a given genus. Semigroup Forum 2009, 80, 242–254. [Google Scholar] [CrossRef] [Green Version]
  14. Zhai, A. Fibonacci-like growth of numerical semigroups with a given genus. Semigroup Forum 2013, 86, 634–662. [Google Scholar] [CrossRef] [Green Version]
  15. Moreno-Frías, M.A.; Rosales, J.C. The ideals of a numerical semigroup. Counting the ideals with a given genus of an ordinary numerical semigroup Prepint.
  16. Sylvester, J.J. Mathematical question with their solutions. Educational Times 1884, 41, 21. [Google Scholar]
  17. Ramírez Alfonsín, J.L. The Diophantine Frobenius Problem; Oxford University Press: London, UK, 2005. [Google Scholar]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Moreno-Frías, M.A.; Rosales, J.C. Counting the Ideals with a Given Genus of a Numerical Semigroup with Multiplicity Two. Symmetry 2021, 13, 794. https://0-doi-org.brum.beds.ac.uk/10.3390/sym13050794

AMA Style

Moreno-Frías MA, Rosales JC. Counting the Ideals with a Given Genus of a Numerical Semigroup with Multiplicity Two. Symmetry. 2021; 13(5):794. https://0-doi-org.brum.beds.ac.uk/10.3390/sym13050794

Chicago/Turabian Style

Moreno-Frías, M. A., and José Carlos Rosales. 2021. "Counting the Ideals with a Given Genus of a Numerical Semigroup with Multiplicity Two" Symmetry 13, no. 5: 794. https://0-doi-org.brum.beds.ac.uk/10.3390/sym13050794

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop