Some nilpotent and commutative finite semigroups Manuel Delgado - - PowerPoint PPT Presentation

Some nilpotent and commutative finite semigroups

Manuel Delgado WORKSHOP ON SEMIGROUPS (To remember John M. Howie on the occasion of his 76th birthday) Lisbon, 23-25 May, 2012

Numerical Semigroups Quotients Computations Nilpotent semigroups

Outline

1

Numerical Semigroups

2

Quotients

3

Computations

4

Nilpotent semigroups

• M. Delgado

Some finite semigroups Lisbon, 24/05/2012 2 / 14

Numerical Semigroups Quotients Computations Nilpotent semigroups

Numerical semigroups

Notation

N – non-negative integers

A semigroup

(N, +) – non-negative integers under the usual addition

Subsemigroups

Let {0} = S ≤ N and let d = gcd(S).

S d =

s

d ∈ S | s ∈ S

• is isomorphic to S.

♯

• N \ S

d

• < ∞

A reference:

• J. Rosales and P. Garc´

ıa S´

• anchez. Numerical Semigroups. Springer, 2009.
• M. Delgado

Some finite semigroups Lisbon, 24/05/2012 3 / 14

Numerical Semigroups Quotients Computations Nilpotent semigroups

Definition of numerical semigroup

S ⊆ N \ {0} S + S ⊆ S ♯(N \ S) < ∞ (equivalently gcd (S) = 1) For historical reasons (?) 0 ∈ S is usually required. Every subsemigroup of (N, +) is isomorphic to a numerical semigroup.

Remark

Numerical semigroups are isomorphic if and only if they are equal.

Remark

A numerical semigroup S has unique minimal generating system: S \ (S + S).

• M. Delgado

Some finite semigroups Lisbon, 24/05/2012 4 / 14

Numerical Semigroups Quotients Computations Nilpotent semigroups

Example

Consider S = 3, 7, 11. Its elements are the amounts that can be formed with the following coins: 1 2 3 4 5 6 7 8 9 10 11 12 13

• M. Delgado, J. Morais, and P. Garc´

ıa-S´ anchez. Numericalsgps – a GAP package for computing with numerical semigroups, 2011, December. Version number 0.971. http://cmup.fc.up.pt/cmup/mdelgado/numericalsgps/

• M. Delgado

Some finite semigroups Lisbon, 24/05/2012 5 / 14

Numerical Semigroups Quotients Computations Nilpotent semigroups

Notable elements

Example

S = 5, 8, 11, 14, 17 = {a5+b8+c11+d14+e17 | a, b, c, d, e ∈ N, abcde = 0}

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17

F(S) m(S) c(S)

H(S) = N \ S = {1, 2, 3, 4, 6, 7, 9, 12} . . . . . . . . . . . . . . . . . . . . . . . . . . . . . gaps g(S) = ♯H(S) = 8 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . genus m(S) = 5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .multiplicity F(S) = 12 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Frobenius number c(S) = 13 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .conductor Ongoing experiments led to the following figure (under construction) which exhibits an impressive regularity:

• M. Delgado

Some finite semigroups Lisbon, 24/05/2012 6 / 14

Numerical Semigroups Quotients Computations Nilpotent semigroups

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 1 100 10,000 1,000,000 100,000,000 10,000,000,000 1,000,000,000,000 100,000,000,000,000 10,000,000,000,000,000 1,000,000,000,000,000,000 100,000,000,000,000,000,000

GENUS

2 to 100 Multiplicities Number of Numerical semigroups

• M. Delgado

Some finite semigroups Lisbon, 24/05/2012 7 / 14

Numerical Semigroups Quotients Computations Nilpotent semigroups

Each column corresponds to a multiplicity and shows the accumulated number of numerical semigroups having that multiplicity up to genus 100. The y-axis is in logarithmic scale. The leftmost part reflects the computations done while the upper rightmost part follows from a result of Kaplan.

Number of numerical semigroups of genus 55

1, 142, 140, 736, 859 We plan also to produce a library of numerical semigroups of small genus. Besides all numerical semigroups up to a certain genus (this number will depend of the space, which in turn depends on a compromise between the compression and the time needed to access the data), the library should contain all the “interesting” numerical semigroups up to a higher genus.

• M. Delgado

Some finite semigroups Lisbon, 24/05/2012 8 / 14

Numerical Semigroups Quotients Computations Nilpotent semigroups

Rees Quotients

Ideal

A (semigroup) ideal I of a numerical semigroup S has a unique finite minimal system of generators G such that I = G + (S ∪ {0}).

Example

S = 5, 7, 11 I = {10} + (S ∪ {0})

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25

Rees quotient

S/I = {5, 7, 11, 12, 14, 16, 18, 19, 23, ∞}

• M. Delgado

Some finite semigroups Lisbon, 24/05/2012 9 / 14

Numerical Semigroups Quotients Computations Nilpotent semigroups

The quotients obtained this way are commutative nilpotent semigroups. Denote by RQNS the class of semigroups that are Rees quotients of numerical semigroups. We consider also the classes N of nilpotent (finite) semigroups, Com of commutative (finite) semigroups. With V.H. Fernandes we obtained the following:

Theorem 2.1

The class RQNS generates the pseudovariety N ∩ Com.

Remark

A minimal set of generators of S/I is given by the generators of S that are “finite” (i.e., do not belong to I).

• M. Delgado and V.H. Fernandes.

Quotients of numerical semigroups. Ongoing...

• M. Delgado

Some finite semigroups Lisbon, 24/05/2012 10 / 14

Numerical Semigroups Quotients Computations Nilpotent semigroups

Cayley graph

5 12 16 7 14 18 19 23 11 5 7 11

Computations

compute an isomorphic transformation semigroup; compute the Cayley graph and use some of the many options available in the GAP package “viz” to display it.

• M. Delgado

Some finite semigroups Lisbon, 24/05/2012 11 / 14

Numerical Semigroups Quotients Computations Nilpotent semigroups

How to compute with these semigroups? The most reasonable approach seems to be to compute an isomorphic transformation semigroup and then use “citrus”. The transformation semigroup can be computed in a somehow clever way: to each generator associate a transformation of the set of elements of the semigroup with an added identity that describes the action of the generator in the semigroup elements. Then, consider the semigroup generated by the transformations obtained. Doing so, our transformation semigroup is given by the minimum number of generators. Note: Constructing the semigroup by the multiplication table and using the right regular representation to obtain a transformation semigroup to do further computations using “Citrus” was too slow. In particular, getting a “small” generating set is slow...

• M. Delgado

Some finite semigroups Lisbon, 24/05/2012 12 / 14

Numerical Semigroups Quotients Computations Nilpotent semigroups

Code has been written to compute the isomorphic transformation semigroup. Options have been added to “viz” to allow to have labellings as the ones in the Cayley graph shown... Software:

• M. Delgado, A. Egri-Nagy, J. D. Mitchell and M. Pfeiffer. Viz - a GAP

package for drawing GAP objects. Under development. https://bitbucket.org/zen154115/viz

• J. D. Mitchell. Citrus - a GAP package to compute with transformation

semigroups, 2012. Version number 0.6. http://www-groups.mcs.st-andrews.ac.uk/~jamesm/citrus/ The GAP Group. GAP – Groups, Algorithms, and Programming, Version 4.5 (beta), 2012. http://www.gap-system.org/

• M. Delgado

Some finite semigroups Lisbon, 24/05/2012 13 / 14

Numerical Semigroups Quotients Computations Nilpotent semigroups

The motivation for the computational work referred comes from work (some already done, other ongoing) of A. Distler concerning the classification of nilpotent semigroups. Having examples at hand can be useful to get intuition that can help to proceed.

• A. Distler.

Classification and enumeration of finite semigroups. PhD thesis, University of St Andrews, 2010. http://research-repository.st-andrews.ac.uk/handle/10023/945

• M. Delgado

Some finite semigroups Lisbon, 24/05/2012 14 / 14