Goto Chapter: Top 1 2 3 4 5 6 7 8 9 A B C Bib Ind
 Top of Book   Previous Chapter   Next Chapter 

6 Irreducible numerical semigroups
 6.1 Irreducible numerical semigroups
  6.1-1 IsIrreducibleNumericalSemigroup

  6.1-2 IsSymmetricNumericalSemigroup

  6.1-3 IsPseudoSymmetricNumericalSemigroup

  6.1-4 AnIrreducibleNumericalSemigroupWithFrobeniusNumber

  6.1-5 IrreducibleNumericalSemigroupsWithFrobeniusNumber

  6.1-6 DecomposeIntoIrreducibles

6 Irreducible numerical semigroups

6.1 Irreducible numerical semigroups

An irreducible numerical semigroup is a semigroup that cannot be expressed as the intersection of numerical semigroups properly containing it.

It is not difficult to prove that a semigroup is irreducible if and only if it is maximal (with respect to set inclusion) in the set of all numerical semigroup having its same Frobenius number (see [RB03]). Hence, according to [FH87] (respectively [BF97]), symmetric (respectively pseudo-symmetric) numerical semigroups are those irreducible numerical semigroups with odd (respectively even) Frobenius number.

In [GJ03] it is shown that a numerical semigroup is irreducible if and only if it has only one special gap. We use this characterization.

In this section we show how to construct the set of all numerical semigroups with a given Frobenius number. First we construct an irreducible numerical semigroup with the given Frobenius number (as explained in [JCR04]), and then we construct the rest from it. That is why we have separated both functions.

Every numerical semigroup can be expressed as an intersection of irreducible numerical semigroups. If S can be expressed as S=S_1cap cdotscap S_n, with S_i irreducible numerical semigroups, and no factor can be removed, then we say that this decomposition is minimal. Minimal decompositions can be computed by using Algorithm 26 in [GJ03].

6.1-1 IsIrreducibleNumericalSemigroup
> IsIrreducibleNumericalSemigroup( s )( function )

s is a numerical semigroup. The output is true if s is irreducible, false otherwise.

gap> IsIrreducibleNumericalSemigroup(NumericalSemigroup(4,6,9));
true
gap> IsIrreducibleNumericalSemigroup(NumericalSemigroup(4,6,7,9));
false

                        

6.1-2 IsSymmetricNumericalSemigroup
> IsSymmetricNumericalSemigroup( s )( function )

s is a numerical semigroup. The output is true if s is symmetric, false otherwise.

gap> IsSymmetricNumericalSemigroup(NumericalSemigroup(10,23));      
true            
gap> IsSymmetricNumericalSemigroup(NumericalSemigroup(10,11,23));
false

                        

6.1-3 IsPseudoSymmetricNumericalSemigroup
> IsPseudoSymmetricNumericalSemigroup( s )( function )

s is a numerical semigroup. The output is true if s is pseudo-symmetric, false otherwise.

gap> IsPseudoSymmetricNumericalSemigroup(NumericalSemigroup(6,7,8,9,11));
true
gap> IsPseudoSymmetricNumericalSemigroup(NumericalSemigroup(4,6,9));
false

                        

6.1-4 AnIrreducibleNumericalSemigroupWithFrobeniusNumber
> AnIrreducibleNumericalSemigroupWithFrobeniusNumber( f )( function )

f is an integer greater than or equal to -1. The output is an irreducible numerical semigroup with frobenius number f. From the way the procedure is implemented, the resulting semigroup has at most four generators (see [JCR04]).

gap> FrobeniusNumber(AnIrreducibleNumericalSemigroupWithFrobeniusNumber(28));
28

                        

6.1-5 IrreducibleNumericalSemigroupsWithFrobeniusNumber
> IrreducibleNumericalSemigroupsWithFrobeniusNumber( f )( function )

f is an integer greater than or equal to -1. The output is the set of all irreducible numerical semigroups with frobenius number f.

gap> Length(IrreducibleNumericalSemigroupsWithFrobeniusNumber(39));
227

                        

6.1-6 DecomposeIntoIrreducibles
> DecomposeIntoIrreducibles( s )( function )

s is a numerical semigroup. The output is a set of irreducible numerical semigroups containing it. These elements appear in a minimal decomposition of s as intersection into irreducibles.

gap> DecomposeIntoIrreducibles(NumericalSemigroup(5,6,8));
[ <Numerical semigroup>, <Numerical semigroup> ]

                        
 Top of Book   Previous Chapter   Next Chapter 
Goto Chapter: Top 1 2 3 4 5 6 7 8 9 A B C Bib Ind

generated by GAPDoc2HTML