English

The set of Arf numerical semigroups with given Frobenius number

Commutative Algebra 2023-03-23 v1

Abstract

In this work we will show that if FF is a positive integer, then the set Arf(F)={SS\mboxisanArfnumericalsemigroupwithFrobeniusnumberF}{\mathrm{Arf}}(F)=\{S\mid S \mbox{ is an Arf numerical semigroup with Frobenius number } F\} verifies the following conditions: 1) Δ(F)={0,F+1,}\Delta(F)=\{0,F+1,\rightarrow\} is the minimum of Arf(F),{\mathrm{Arf}}(F), 2) if {S,T}Arf(F)\{S, T\} \subseteq {\mathrm{Arf}}(F), then STArf(F),S \cap T \in {\mathrm{Arf}}(F), 3) if SArf(F),S \in {\mathrm{Arf}}(F), SΔ(F)S\neq \Delta(F) and m(S)=min(S\{0}){\mathrm m}(S)=\min (S \backslash \{0\}), then S\{m(S)}Arf(F)S\backslash \{{\mathrm m}(S)\} \in {\mathrm{Arf}}(F). The previous results will be used to give an algorithm which calculates the set Arf(F).{\mathrm{Arf}}(F). Also we will see that if XS\Δ(F)X\subseteq S\backslash \Delta(F) for some SArf(F),S\in {\mathrm{Arf}}(F), then there is the smallest element of Arf(F){\mathrm{Arf}}(F) containing X.X.

Keywords

Cite

@article{arxiv.2303.12470,
  title  = {The set of Arf numerical semigroups with given Frobenius number},
  author = {M. A. Moreno-Frías and J. C. Rosales},
  journal= {arXiv preprint arXiv:2303.12470},
  year   = {2023}
}

Comments

15 pages