Showing 1–28 of 28 results for author: García-García, I

On ideals of affine semigroups and affine semigroups with maximal embedding dimension

Authors: J. I. García-García, R. Tapia-Ramos, A. Vigneron-Tenorio

Abstract: Let $S\subseteq \mathbb N^p$ be a semigroup, any $P\subseteq S$ is an ideal of $S$ if $P+S\subseteq P$, and an $I(S)$-semigroup is the affine semigroup $P\cup \{0\}$, with $P$ an ideal of $S$. We characterise the $I(S)$-semigroups and the ones that also are $\mathcal C$-semigroups. Moreover, some algorithms are provided to compute all the $I(S)$-semigroups satisfying some properties. From a family… ▽ More Let $S\subseteq \mathbb N^p$ be a semigroup, any $P\subseteq S$ is an ideal of $S$ if $P+S\subseteq P$, and an $I(S)$-semigroup is the affine semigroup $P\cup \{0\}$, with $P$ an ideal of $S$. We characterise the $I(S)$-semigroups and the ones that also are $\mathcal C$-semigroups. Moreover, some algorithms are provided to compute all the $I(S)$-semigroups satisfying some properties. From a family of ideals of $S$, we introduce the affine semigroups with maximal embedding dimension, characterising them and describing some families. △ Less

Submitted 23 May, 2024; originally announced May 2024.

MSC Class: 20M14; 20M12;

On the quotient of affine semigroups by a positive integer

Authors: J. I. García-García, R. Tapia-Ramos, A. Vigneron-Tenorio

Abstract: This work delves into the {\it quotient of an affine semigroup by a positive integer}, exploring its intricate properties and broader implications. We unveil an {\it associated tree} that serves as a valuable tool for further analysis. Moreover, we successfully generalize several key irreducibility results, extending their applicability to the more general class of $\mathcal C$-semigroup quotients… ▽ More This work delves into the {\it quotient of an affine semigroup by a positive integer}, exploring its intricate properties and broader implications. We unveil an {\it associated tree} that serves as a valuable tool for further analysis. Moreover, we successfully generalize several key irreducibility results, extending their applicability to the more general class of $\mathcal C$-semigroup quotients. To shed light on these concepts, we introduce the novel notion of an {\it arithmetic variety of affine semigroups}, accompanied by illuminating examples that showcase its power. △ Less

Submitted 18 February, 2024; v1 submitted 14 February, 2024; originally announced February 2024.

On $p$-Frobenius of affine semigroups

Authors: Evelia R. García Barroso, Juan Ignacio García-García, Luis José Santana Sánchez, Alberto Vigneron-Tenorio

Abstract: The aim of this paper is to study the $p$-Frobenius vector of affine semigroups $S\subset \mathbb N^q$; that is, the maximum element, with respect to a graded monomial order, with at most $p$ factorizations in $S$. We produce several algorithms to compute these vectors. Finally, we study how the $p$-Frobenius vectors behave when considering gluings of $S$ with $\mathbb N^q$. The aim of this paper is to study the $p$-Frobenius vector of affine semigroups $S\subset \mathbb N^q$; that is, the maximum element, with respect to a graded monomial order, with at most $p$ factorizations in $S$. We produce several algorithms to compute these vectors. Finally, we study how the $p$-Frobenius vectors behave when considering gluings of $S$ with $\mathbb N^q$. △ Less

Submitted 10 November, 2023; originally announced November 2023.

Some properties of affine $\mathcal C$-semigroups

Authors: Juan Ignacio García-García, Daniel Marín-Aragón, Adrián Sánchez-Loureiro, Alberto Vigneron-Tenorio

Abstract: Numerical semigroups have been extensively studied throughout the literature, and many of their invariants have been characterized. In this work, we generalize some of the most important results about symmetry, pseudo-symmetry, or fundamental gaps, to affine $\mathcal C$-semigroups. In addition, we give algorithms to compute the tree of irreducible $\mathcal C$-semigroups and $\mathcal C$-semigrou… ▽ More Numerical semigroups have been extensively studied throughout the literature, and many of their invariants have been characterized. In this work, we generalize some of the most important results about symmetry, pseudo-symmetry, or fundamental gaps, to affine $\mathcal C$-semigroups. In addition, we give algorithms to compute the tree of irreducible $\mathcal C$-semigroups and $\mathcal C$-semigroups with a given Frobenius vector. △ Less

Submitted 4 May, 2023; originally announced May 2023.

MSC Class: 20M14; 68R05

Conductors of Abhyankar-Moh semigroups of even degrees

Authors: Evelia R. GarcÍa Barroso, Juan Ignacio GarcÍa-GarcÍa, Luis José Santana SÁnchez, Alberto Vigneron-Tenorio

Abstract: In their paper on the embeddings of the line in the plane, Abhyankar and Moh proved an important inequality, now known as the Abhyankar-Moh inequality, which can be stated in terms of the semigroup associated with the branch at infinity of a plane algebraic curve. Barrolleta, García Barroso and P\loski studied the semigroups of integers satisfying the Abhyankar-Moh inequality and call them Abhyank… ▽ More In their paper on the embeddings of the line in the plane, Abhyankar and Moh proved an important inequality, now known as the Abhyankar-Moh inequality, which can be stated in terms of the semigroup associated with the branch at infinity of a plane algebraic curve. Barrolleta, García Barroso and P\loski studied the semigroups of integers satisfying the Abhyankar-Moh inequality and call them Abhyankar-Moh semigroups. They described such semigroups with the maximum conductor. In this paper we prove that all possible conductor values are achieved for the Abhyankar-Moh semigroups of even degree. Our proof is constructive, explicitly describing families that achieve a given value as its conductor. △ Less

Submitted 9 September, 2022; originally announced September 2022.

MSC Class: 20M14; 14H20

The complexity of a numerical semigroup

Authors: J. I. García-García, M. A. Moreno-Frías, J. C. Rosales, A. Vigneron-Tenorio

Abstract: Let $S$ and $Δ$ be numerical semigroups. A numerical semigroup $S$ is an $\mathbf{I}(Δ)$-{\it semigroup} if $S\backslash \{0\}$ is an ideal of $Δ$. We will denote by $\mathcal{J}(Δ)=\{S \mid S \text{ is an $\mathbf{I}(Δ)$-semigroup} \}.$ We will say that $Δ$ is {\it an ideal extension of } $S$ if $S\in \mathcal{J}(Δ).$ In this work, we present an algorithm that allows to build all the ideal extens… ▽ More Let $S$ and $Δ$ be numerical semigroups. A numerical semigroup $S$ is an $\mathbf{I}(Δ)$-{\it semigroup} if $S\backslash \{0\}$ is an ideal of $Δ$. We will denote by $\mathcal{J}(Δ)=\{S \mid S \text{ is an $\mathbf{I}(Δ)$-semigroup} \}.$ We will say that $Δ$ is {\it an ideal extension of } $S$ if $S\in \mathcal{J}(Δ).$ In this work, we present an algorithm that allows to build all the ideal extensions of a numerical semigroup. We can recursively denote by $\mathcal{J}^0(\mathbb{N})=\mathbb{N},$ $\mathcal{J}^1(\mathbb{N})=\mathcal{J}(\mathbb{N})$ and $\mathcal{J}^{k+1}(\mathbb{N})=\mathcal{J}(\mathcal{J}^{k}(\mathbb{N}))$ for all $k\in \mathbb{N}.$ The complexity of a numerical semigroup $S$ is the minimun of the set $\{k\in \mathbb{N}\mid S \in \mathcal{J}^k(\mathbb{N})\}.$ In addition, we will give an algorithm that allows us to compute all the numerical semigroups with fixed multiplicity and complexity. △ Less

Submitted 2 February, 2022; originally announced February 2022.

On the ideal of some sumset semigroups

Authors: J. I. García-García, D. Marín-Aragón, A. Vigneron-Tenorio

Abstract: A sumset semigroup is a non-cancellative commutative monoid obtained from the sumset of finite non-negative integer sets. In this work, an algorithm for computing the ideals associated with some sumset semigroups is provided. Using these ideals, we study some factorization properties of sumset semigroups and some additive properties of sumsets. This approach links computational commutative algebra… ▽ More A sumset semigroup is a non-cancellative commutative monoid obtained from the sumset of finite non-negative integer sets. In this work, an algorithm for computing the ideals associated with some sumset semigroups is provided. Using these ideals, we study some factorization properties of sumset semigroups and some additive properties of sumsets. This approach links computational commutative algebra with additive number theory. △ Less

Submitted 5 October, 2021; v1 submitted 8 February, 2021; originally announced February 2021.

MSC Class: 11B13; 11P70; 13P25; 20M12; 20M14

The Buchweitz set of a numerical semigroup

Authors: S. Eliahou, J. I. García-García, D. Marín-Aragón, A. Vigneron-Tenorio

Abstract: Let $A \subset {\mathbb Z}$ be a finite subset. We denote by $\mathcal{B}(A)$ the set of all integers $n \ge 2$ such that $|nA| > (2n-1)(|A|-1)$, where $nA=A+\cdots+A$ denotes the $n$-fold sumset of $A$. The motivation to consider $\mathcal{B}(A)$ stems from Buchweitz's discovery in 1980 that if a numerical semigroup $S \subseteq {\mathbb N}$ is a Weierstrass semigroup, then… ▽ More Let $A \subset {\mathbb Z}$ be a finite subset. We denote by $\mathcal{B}(A)$ the set of all integers $n \ge 2$ such that $|nA| > (2n-1)(|A|-1)$, where $nA=A+\cdots+A$ denotes the $n$-fold sumset of $A$. The motivation to consider $\mathcal{B}(A)$ stems from Buchweitz's discovery in 1980 that if a numerical semigroup $S \subseteq {\mathbb N}$ is a Weierstrass semigroup, then $\mathcal{B}({\mathbb N} \setminus S) = \emptyset$. By constructing instances where this condition fails, Buchweitz disproved a longstanding conjecture by Hurwitz (1893). In this paper, we prove that for any numerical semigroup $S \subset {\mathbb N}$ of genus $g \ge 2$, the set $\mathcal{B}({\mathbb N} \setminus S) $ is finite, of unbounded cardinality as $S$ varies. △ Less

Submitted 24 November, 2020; v1 submitted 18 November, 2020; originally announced November 2020.

MSC Class: 14H55; 11P70; 20M14

On reducible non-Weierstrass semigroups

Authors: J. I. García-García, D. Marín-Aragón, F. Torres, A. Vigneron-Tenorio

Abstract: Weierstrass semigroups are well-known along the literature. We present a new family of non-Weierstrass semigroups which can be written as an intersection of Weierstrass semigroups. In addition, we provide methods for calculating non-Weierstrass semigroups with genus as large as desired. Weierstrass semigroups are well-known along the literature. We present a new family of non-Weierstrass semigroups which can be written as an intersection of Weierstrass semigroups. In addition, we provide methods for calculating non-Weierstrass semigroups with genus as large as desired. △ Less

Submitted 26 May, 2020; originally announced May 2020.

MSC Class: 14H55; 11P70; 20M14

Generalized strongly increasing semigroups

Authors: E. R. García Barroso, J. I. García-García, A. Vigneron-Tenorio

Abstract: In this work we present a new class of numerical semigroups called GSI-semigroups. We see the relations between them and others families of semigroups and we give explicitly their set of gaps. Moreover, an algorithm to obtain all the GSI-semigroups up to a given Frobenius number is provided and the realization of positive integers as Frobenius numbers of GSI-semigroups is studied. In this work we present a new class of numerical semigroups called GSI-semigroups. We see the relations between them and others families of semigroups and we give explicitly their set of gaps. Moreover, an algorithm to obtain all the GSI-semigroups up to a given Frobenius number is provided and the realization of positive integers as Frobenius numbers of GSI-semigroups is studied. △ Less

Submitted 30 March, 2020; originally announced March 2020.

MSC Class: 20M14; 14H10

Journal ref: Mathematics 2021, 9, 1370

Characterizing affine $\mathcal{C}$-semigroups

Authors: J. D. Díaz-Ramírez, J. I. García-García, D. Marín-Aragón, A. Vigneron-Tenorio

Abstract: Let $\mathcal C \subset \mathbb N^p$ be a finitely generated integer cone and $S\subset \mathcal C$ be an affine semigroup such that the real cones generated by $\mathcal C$ and by $S$ are equal. The semigroup $S$ is called $\mathcal C$-semigroup if $\mathcal C\setminus S$ is a finite set. In this paper, we characterize the $\mathcal C$-semigroups from their minimal generating sets, and we give an… ▽ More Let $\mathcal C \subset \mathbb N^p$ be a finitely generated integer cone and $S\subset \mathcal C$ be an affine semigroup such that the real cones generated by $\mathcal C$ and by $S$ are equal. The semigroup $S$ is called $\mathcal C$-semigroup if $\mathcal C\setminus S$ is a finite set. In this paper, we characterize the $\mathcal C$-semigroups from their minimal generating sets, and we give an algorithm to check if $S$ is a $\mathcal C$-semigroup and to compute its set of gaps. We also study the embedding dimension of $\mathcal C$-semigroups obtaining a lower bound for it, and introduce some families of $\mathcal C$-semigroups whose embedding dimension reaches our bound. In the last section, we present a method to obtain a decomposition of a $\mathcal C$-semigroup into irreducible $\mathcal C$-semigroups. △ Less

Submitted 19 May, 2021; v1 submitted 7 July, 2019; originally announced July 2019.

MSC Class: 20M14 (Primary); 68R05 (Secondary)

A geometrical characterization of proportionally modular affine semigroups

Authors: J. D. Díaz-Ramírez, J. I. García-García, A. Sánchez-R. -Navarro, A. Vigneron-Tenorio

Abstract: A proportionally modular affine semigroup is the set of nonnegative integer solutions of a modular Diophantine inequality $f_1x_1+\cdots +f_nx_n \mod b \le g_1x_1+\cdots +g_nx_n$ where $g_1,\dots,g_n,$ $f_1,\ldots ,f_n\in \mathbb{Z}$ and $b\in\mathbb{N}$. In this work, a geometrical characterization of these semigroups is given. Moreover, some algorithms to check if a semigroup $S$ in… ▽ More A proportionally modular affine semigroup is the set of nonnegative integer solutions of a modular Diophantine inequality $f_1x_1+\cdots +f_nx_n \mod b \le g_1x_1+\cdots +g_nx_n$ where $g_1,\dots,g_n,$ $f_1,\ldots ,f_n\in \mathbb{Z}$ and $b\in\mathbb{N}$. In this work, a geometrical characterization of these semigroups is given. Moreover, some algorithms to check if a semigroup $S$ in $\mathbb{N}^n$, with $\mathbb{N}^n\setminus S$ a finite set, is a proportionally modular affine semigroup are provided by means of that geometrical approach. △ Less

Submitted 4 June, 2019; originally announced June 2019.

Comments: 3 figures

MSC Class: 20M14 (Primary); 68U05 (Secondary

Union of sets of lengths of numerical semigroups

Authors: J. I. García-García, D. Marín-Aragón, A. Vigneron-Tenorio

Abstract: Let $S=\langle a_1,\ldots,a_p\rangle$ be a numerical semigroup, $s\in S$ and ${\sf z}(s)$ its set of factorizations. The set of length is denoted by ${\mathcal L}(s)=\{{\tt L}(x_1,\dots,x_p)\mid (x_1,\dots,x_p)\in{\sf Z}(s)\}$ where ${\tt L}(x_1,\dots,x_p)=x_1+\ldots+x_p$. From these definitions, the following sets can be defined… ▽ More Let $S=\langle a_1,\ldots,a_p\rangle$ be a numerical semigroup, $s\in S$ and ${\sf z}(s)$ its set of factorizations. The set of length is denoted by ${\mathcal L}(s)=\{{\tt L}(x_1,\dots,x_p)\mid (x_1,\dots,x_p)\in{\sf Z}(s)\}$ where ${\tt L}(x_1,\dots,x_p)=x_1+\ldots+x_p$. From these definitions, the following sets can be defined ${\textsf W}(n)=\{s\in S\mid \exists x\in{\sf z}(s) \textrm{ such that } {\tt{L}}(x)=n\}$, $ν(n)=\cup_{s\in {\textsf W}(n)} {\mathcal L}(s)=\{l_1<l_2<\ldots< l_r\}$ and $Δν(n)=\{l_2-l_1,\ldots,l_r-l_{r-1}\}$. In this paper, we prove that the set $Δν(S)=\cup_{n\in{\mathbb{N}}}Δν(n)$ is almost periodic with period ${\rm lcm}(a_1,a_p)$. △ Less

Submitted 4 June, 2019; originally announced June 2019.

MSC Class: 20M14; 20M05

On pseudo-Frobenius elements of submonoids of $\mathbb{N}^d$

Authors: J. I. García-García, I. Ojeda, J. C. Rosales, A. Vigneron-Tenorio

Abstract: In this paper we study those submonoids of $\mathbb{N}^d$ which a non-trivial pseudo-Frobenius set. In the affine case, we prove that they are the affine semigroups whose associated algebra over a field has maximal projective dimension possible. We prove that these semigroups are a natural generalization of numerical semigroups and, consequently, most of their invariants can be generalized. In the… ▽ More In this paper we study those submonoids of $\mathbb{N}^d$ which a non-trivial pseudo-Frobenius set. In the affine case, we prove that they are the affine semigroups whose associated algebra over a field has maximal projective dimension possible. We prove that these semigroups are a natural generalization of numerical semigroups and, consequently, most of their invariants can be generalized. In the last section we introduce a new family of submonoids of $\mathbb{N}^d$ and using its pseudo-Frobenius elements we prove that the elements in the family are direct limits of affine semigroups. △ Less

Submitted 26 March, 2019; originally announced March 2019.

MSC Class: 20M14; 13D02

A detector for CLIC: main parameters and performance

Authors: Dominik Arominski, Jean-Jacques Blaising, Erica Brondolin, Dominik Dannheim, Konrad Elsener, Frank Gaede, Ignacio García-García, Steven Green, Daniel Hynds, Emilia Leogrande, Lucie Linssen, John Marshall, Nikiforos Nikiforou, Andreas Nürnberg, Estel Perez-Codina, Marko Petrič, Florian Pitters, Aidan Robson, Philipp Roloff, André Sailer, Ulrike Schnoor, Frank Simon, Rosa Simoniello, Simon Spannagel, Rickard Ström , et al. (3 additional authors not shown)

Abstract: Together with the recent CLIC detector model CLICdet a new software suite was introduced for the simulation and reconstruction of events in this detector. This note gives a brief introduction to CLICdet and describes the CLIC experimental conditions at 380 GeV and 3 TeV, including beam-induced backgrounds. The simulation and reconstruction tools are introduced, and the physics performance obtained… ▽ More Together with the recent CLIC detector model CLICdet a new software suite was introduced for the simulation and reconstruction of events in this detector. This note gives a brief introduction to CLICdet and describes the CLIC experimental conditions at 380 GeV and 3 TeV, including beam-induced backgrounds. The simulation and reconstruction tools are introduced, and the physics performance obtained is described in terms of single particles, particles in jets, jet energy resolution and flavour tagging. The performance of the very forward electromagnetic calorimeters is also discussed. △ Less

Submitted 18 December, 2018; originally announced December 2018.

Report number: CLICdp-Note-2018-005

Frobenius number and minimum genus of numerical semigroups with fixed multiplicity and embedding dimension

Authors: J. I. García-García, D. Marín-Aragón, M. A. Moreno-Frías, J. C. Rosales, A. Vigneron-Tenorio

Abstract: Fixed two positive integers m and e, some algorithms for computing the minimal Frobenius number and minimal genus of the set of numerical semigroups with multiplicity m and embedding dimension e are provided. Besides, the semigroups where these minimal values are achieved are computed too. Fixed two positive integers m and e, some algorithms for computing the minimal Frobenius number and minimal genus of the set of numerical semigroups with multiplicity m and embedding dimension e are provided. Besides, the semigroups where these minimal values are achieved are computed too. △ Less

Submitted 14 December, 2017; originally announced December 2017.

MSC Class: 20M14; 20M05

Semigroups with fixed multiplicity and embedding dimension

Authors: J. I. García-García, D. Marín-Aragón, M. A. Moreno-Frías, J. C. Rosales, A. Vigneron-Tenorio

Abstract: Given $m\in \mathbb{N},$ a numerical semigroup with multiplicity $m$ is called packed numerical semigroup if its minimal generating set is included in $\{m,m+1,\ldots, 2m-1\}.$ In this work, packed numerical semigroups are used to built the set of numerical semigroups with fixed multiplicity and embedding dimension, and to create a partition in this set. Moreover, Wilf's conjecture is checked in t… ▽ More Given $m\in \mathbb{N},$ a numerical semigroup with multiplicity $m$ is called packed numerical semigroup if its minimal generating set is included in $\{m,m+1,\ldots, 2m-1\}.$ In this work, packed numerical semigroups are used to built the set of numerical semigroups with fixed multiplicity and embedding dimension, and to create a partition in this set. Moreover, Wilf's conjecture is checked in the tree associated to some packed numerical semigroups. △ Less

Submitted 10 October, 2017; originally announced October 2017.

MSC Class: 20M14 (Primary); 20M05 (Secondary)

An extension of Wilf's conjecture to affine semigroups

Authors: J. I. García-García, D. Marín-Aragón, A. Vigneron-Tenorio

Abstract: Let $\CaC\subset \Q^p$ be a rational cone. An affine semigroup $S\subset \CaC$ is a $\CaC$-semigroup whenever $(\CaC\setminus S)\cap \N^p$ has only a finite number of elements. In this work, we study the tree of $\CaC$-semigroups, give a method to generate it and study their subsemigroups with minimal embedding dimension. We extend Wilf's conjecture for numerical semigroups to $\CaC$-semigroups… ▽ More Let $\CaC\subset \Q^p$ be a rational cone. An affine semigroup $S\subset \CaC$ is a $\CaC$-semigroup whenever $(\CaC\setminus S)\cap \N^p$ has only a finite number of elements. In this work, we study the tree of $\CaC$-semigroups, give a method to generate it and study their subsemigroups with minimal embedding dimension. We extend Wilf's conjecture for numerical semigroups to $\CaC$-semigroups and give some families of $\CaC$-semigroups fulfilling the extended conjecture. We also check that other conjectures on numerical semigroups seem to be also satisfied by $\CaC$-semigroups. △ Less

Submitted 30 August, 2016; originally announced August 2016.

MSC Class: 20M14; 05A15; 68R05

Proportionally modular affine semigroups

Authors: J. I. García-García, M. A. Moreno-Frías, A. Vigneron-Tenorio

Abstract: This work introduces a new kind of semigroup of $\N^p$ called proportionally modular affine semigroup. These semigroups are defined by modular Diophantine inequalities and they are a generalization of proportionally modular numerical semigroups. We prove they are finitely generated and we give an algorithm to compute their minimal generating sets. We also specialise on the case $p=2$. For this cas… ▽ More This work introduces a new kind of semigroup of $\N^p$ called proportionally modular affine semigroup. These semigroups are defined by modular Diophantine inequalities and they are a generalization of proportionally modular numerical semigroups. We prove they are finitely generated and we give an algorithm to compute their minimal generating sets. We also specialise on the case $p=2$. For this case, we provide a faster algorithm to compute their minimal system of generators and we prove they are Cohen-Macaulay and Buchsbaum. Besides, the Gorenstein property is charactized, and their (minimal) Fröbenius vectors are determinated. △ Less

Submitted 10 July, 2016; v1 submitted 4 December, 2015; originally announced December 2015.

On divisor-closed submonoids and minimal distances in finitely generated monoids

Authors: J. I. García-García, D. Marín-Aragón, M. A. Moreno-Frías

Abstract: We study the lattice of divisor-closed submonoids of finitely generated cancellative commutative monoids. In case the monoid is an affine semigroup, we give a geometrical characterization of such submonoids in terms of its cone. Finally, we use our results to give an algorithm for computing $Δ^*(H)$ the set of minimal distance of $H$. We study the lattice of divisor-closed submonoids of finitely generated cancellative commutative monoids. In case the monoid is an affine semigroup, we give a geometrical characterization of such submonoids in terms of its cone. Finally, we use our results to give an algorithm for computing $Δ^*(H)$ the set of minimal distance of $H$. △ Less

Submitted 8 September, 2016; v1 submitted 30 August, 2015; originally announced August 2015.

MSC Class: 13A05; 11R27; 20M14; 20M13; 52B11

A characterization of some families of Cohen--Macaulay, Gorenstein and/or Buchsbaum rings

Authors: Juan Ignacio García-García, Daniel Marín-Aragón, Alberto Vigneron-Tenorio

Abstract: We provide algorithmic methods to check the Cohen--Macaulayness, Buchsbaumness and/or Gorensteiness of some families of semigroup rings that are constructed from the dilation of bounded convex polyhedrons of $\R^3_{\geq}$. Some families of semigroup rings are given satifying these properties. We provide algorithmic methods to check the Cohen--Macaulayness, Buchsbaumness and/or Gorensteiness of some families of semigroup rings that are constructed from the dilation of bounded convex polyhedrons of $\R^3_{\geq}$. Some families of semigroup rings are given satifying these properties. △ Less

Submitted 20 September, 2017; v1 submitted 16 July, 2015; originally announced July 2015.

MSC Class: 20M14 (Primary); 52B10; 13H10 (Secondary)

Computation of Delta sets of numerical monoids

Authors: J. I. García-García, M. A. Moreno-Frías, A. Vigneron-Tenorio

Abstract: Let $\{a_1,\dots,a_p\}$ be the minimal generating set of a numerical monoid $S$. For any $s\in S$, its Delta set is defined by $Δ(s)=\{l_{i}-l_{i-1}|i=2,\dots,k\}$ where $\{l_1<\dots<l_k\}$ is the set $\{\sum_{i=1}^px_i\,|\, s=\sum_{i=1}^px_ia_i \textrm{ and } x_i\in \N \textrm{ for all }i\}.$ The Delta set of $S$, denoted by $Δ(S)$, is the union of all the sets $Δ(s)$ with $s\in S.$ As proved in… ▽ More Let $\{a_1,\dots,a_p\}$ be the minimal generating set of a numerical monoid $S$. For any $s\in S$, its Delta set is defined by $Δ(s)=\{l_{i}-l_{i-1}|i=2,\dots,k\}$ where $\{l_1<\dots<l_k\}$ is the set $\{\sum_{i=1}^px_i\,|\, s=\sum_{i=1}^px_ia_i \textrm{ and } x_i\in \N \textrm{ for all }i\}.$ The Delta set of $S$, denoted by $Δ(S)$, is the union of all the sets $Δ(s)$ with $s\in S.$ As proved in [S.T. Chapman, R. Hoyer, and N. Kaplan. Delta sets of numerical monoids are eventually periodic. Aequationes Math. 77 (2009), no. 3, 273--279], there exists a bound $N$ such that $Δ(S)$ is the union of the sets $Δ(s)$ with $s\in S$ and $s<N$. In this work, by using geometrical tools, we obtain a sharpened bound and we give an algorithm to compute $Δ(S)$ from the factorizations of only $a_1$ elements. △ Less

Submitted 29 August, 2014; v1 submitted 2 June, 2014; originally announced June 2014.

MSC Class: 20M14 (Primary); 20M05 (Secondary)

Affine convex body semigroups and Buchsbaum rings

Authors: J. I. García-García, A. Sánchez-R. -Navarro, A. Vigneron-Tenorio

Abstract: In this work, new families of Buchsbaum rings, developed by mean of convex body semigroups, are presented. We characterize Buchsbaum circle and convex polygonal semigroups and describe algorithmic methods to check these characterizations. In this work, new families of Buchsbaum rings, developed by mean of convex body semigroups, are presented. We characterize Buchsbaum circle and convex polygonal semigroups and describe algorithmic methods to check these characterizations. △ Less

Submitted 17 October, 2014; v1 submitted 11 February, 2014; originally announced February 2014.

MSC Class: 20M14 (Primary); 20M05; 13H10 (Secondaries)

Computation of the w-primality and asymptotic w-primality with applications to numerical semigroups

Authors: J. I. García-García, M. A. Moreno-Frías, A. Vigneron-Tenorio

Abstract: We give an algorithm to compute the $ω$-primality of finitely generated atomic monoids. Asymptotic $\w$-primality is also studied and a formula to obtain it in finitely generated quasi-Archimedean monoids is proven. The formulation is applied to numerical semigroups, obtaining an expression of this invariant in terms of its system of generators. We give an algorithm to compute the $ω$-primality of finitely generated atomic monoids. Asymptotic $\w$-primality is also studied and a formula to obtain it in finitely generated quasi-Archimedean monoids is proven. The formulation is applied to numerical semigroups, obtaining an expression of this invariant in terms of its system of generators. △ Less

Submitted 9 March, 2014; v1 submitted 22 July, 2013; originally announced July 2013.

MSC Class: 20M14; 13A05 (Primaries); 13F15; 20M05 (Secondaries)

Computing families of Cohen-Macaulay and Gorenstein rings

Authors: J. I. García-García, A. Vigneron-Tenorio

Abstract: We characterize Cohen-Macaulay and Gorenstein rings obtained from certain types of convex body semigroups. Algorithmic methods to check if a polygonal or circle semigroup is Cohen-Macaulay/Gorenstein are given. We also provide some families of Cohen-Macaulay and Gorenstein rings. We characterize Cohen-Macaulay and Gorenstein rings obtained from certain types of convex body semigroups. Algorithmic methods to check if a polygonal or circle semigroup is Cohen-Macaulay/Gorenstein are given. We also provide some families of Cohen-Macaulay and Gorenstein rings. △ Less

Submitted 18 April, 2013; originally announced April 2013.

Comments: 11 pages, 5 figures

Affine convex body semigroups

Authors: J. I. García-García, M. A. Moreno-Frías, A. Sánchez-R. -Navarro, A. Vigneron-Tenorio

Abstract: In this paper we present a new kind of semigroups called convex body semigroups which are generated by convex bodies of R^k. They generalize to arbitrary dimension the concept of proportionally modular numerical semigroup of [7]. Several properties of these semigroups are proven. Affine convex body semigroups obtained from circles and polygons of R^2 are characterized. The algorithms for computing… ▽ More In this paper we present a new kind of semigroups called convex body semigroups which are generated by convex bodies of R^k. They generalize to arbitrary dimension the concept of proportionally modular numerical semigroup of [7]. Several properties of these semigroups are proven. Affine convex body semigroups obtained from circles and polygons of R^2 are characterized. The algorithms for computing minimal system of generators of these semigroups are given. We provide the implementation of some of them. △ Less

Submitted 9 March, 2012; originally announced March 2012.

MSC Class: 20M14 (Primary); 20M05 (Secondary)

Journal ref: Semigroup Forum, 87 (2), 331-350 (2013)

Combinatorial properties and characterization of glued semigroups

Authors: J. I. García-García, M. A. Moreno-Frías, A. Vigneron-Tenorio

Abstract: This work focuses on the combinatorial properties of glued semigroups and provides its combinatorial characterization. Some classical results for affine glued semigroups are generalized and some methods to obtain glued semigroups are developed. This work focuses on the combinatorial properties of glued semigroups and provides its combinatorial characterization. Some classical results for affine glued semigroups are generalized and some methods to obtain glued semigroups are developed. △ Less

Submitted 13 October, 2013; v1 submitted 14 April, 2011; originally announced April 2011.

Comments: 13 pages, 6 figures, This paper was initially presented at the "Centennial Congress RSME2011" http://campus.usal.es/~rsme2011/

MSC Class: 20M14 (Primary); 20M05 (Secondary)

Journal ref: Abstract and Applied Analysis Volume 2014 (2014), Article ID 436417, 8 pages

On the decomposable semigroups and applications

Authors: Juan Ignacio García-García, M. Ángeles Moreno-Frías, Alberto Vigneron-Tenorio

Abstract: The aim of this work is to reduce the complexity of the available algorithms for computing the generator sets of a semigroup ideal by using the Hermite normal form. In order to achieve it we introduce the concept of decomposable semigroup. If a semigroup is decomposable, the computation of its ideal is equivalent to compute the ideals of each semigroup in the decomposition, thus obtaining a reduct… ▽ More The aim of this work is to reduce the complexity of the available algorithms for computing the generator sets of a semigroup ideal by using the Hermite normal form. In order to achieve it we introduce the concept of decomposable semigroup. If a semigroup is decomposable, the computation of its ideal is equivalent to compute the ideals of each semigroup in the decomposition, thus obtaining a reduction of the complexity of the algorithms. Furthermore, since these computations are mutually independent, they can be carried out in parallel. The concept of decomposable variety is introduced and a combinatorial characterization of decomposable semigroup is obtained. Some applications are also provided. △ Less

Submitted 18 December, 2012; v1 submitted 13 June, 2010; originally announced June 2010.

Journal ref: Journal of Symbolic Computation 58 (2013) 103--116