arxiv: v2 [math.nt] 7 Oct 2017

Transcription

1 The Frobenius number for sequences of triangular and tetrahedral numbers A.M. Robles-Pérez a1 J.C. Rosales b1 arxiv: v [math.nt] 7 Oct 017 a Departamento de Matemática Aplicada Facultad de Ciencias Universidad de Granada Granada Spain. b Departamento de Álgebra Facultad de Ciencias Universidad de Granada Granada Spain. Abstract We compute the Frobenius number for sequences of triangular and tetrahedral numbers. In addition we study some properties of the numerical semigroups associated to those sequences. Keywords: Frobenius number triangular numbers tetrahedral numbers telescopic sequences free numerical semigroups. 010 MSC: 11D07 1. Introduction According to [] Frobenius raised in his lectures the following question: given relatively prime positive integers a 1... a n compute the largest natural number that is not representable as a non-negative integer linear combination of a 1... a n. Nowadays it is known as the Frobenius (coin problem. Moreover the solution is called the Frobenius number of the set a 1... a n } and it is denoted by F(a 1... a n. It is well known (see [6 7] that F(a 1 a = a 1 a a 1 a. However at present the Frobenius problem is open for n. More precisely Curtis showed in [6] that it is impossible to find a polynomial formula (this is a finite set of polynomials that computes the Frobenius number if n =. In addition Ramírez Alfonsín proved in [15] that this problem is NP-hard for n variables. Many papers study particular cases (see [16] for more details. Specially when a 1... a n } is part of a classic integer sequences: arithmetic and almost arithmetic ([ ] Fibonacci ([1] geometric ([1] Mersenne ([] repunit ([1] squares and cubes ([10 1] Thabit ([0] et cetera. Corresponding author addresses: arobles@ugr.es (A.M. Robles-Pérez jrosales@ugr.es (J.C. Rosales 1 Both authors are supported by the project MTM P which is funded by Ministerio de Economía y Competitividad and Fondo Europeo de Desarrollo Regional FEDER and by the Junta de Andalucía Grant Number FQM-. The second author is also partially supported by the Junta de Andalucía/Feder Grant Number FQM-589. Preprint submitted to Elsevier October

2 For example in [] Brauer proves that F(n n n + k 1 = ( n + 1 n 1 (1 k 1 where if x R then( x Z and x x < x + 1. On the other hand denoting by a(n = F n(n+1 (n+1(n+ (n+(n+ for n N\0} C. Baker conjectured that (see a(n = 1 + 6( 1n + ( + 9( 1 n n + (5 + ( 1 n n + 6n ; ( 8 a(n = 6n + 18n + 1n 8 for n even; ( 8 a(n = 6n + 1n 6n 0 for n odd. ( 8 Let us observe that both of these examples are particular cases of combinatorial numbers (or binomial coefficients sequences that is ( n 1 n n+k 1 1 in the first case ( n+1 ( n+ ( n+ in the second one. is known as a triangular (or triangle number and Let us recall that ( n+1 that the tetrahedral numbers correspond to ( n+. These classes of numbers are precisely the aim of this paper. In order to achieve our purpose we use a well-known formula by Johnson ([8]: if a 1 a a are relatively prime numbers and gcda 1 a } = d then ( a1 F(a 1 a a = df d a d a + (d 1a. (5 In fact we use the well-known generalization by Brauer and Shockley ([5]: if a 1... a n are relatively prime numbers and d = gcda 1... a n 1 } then ( a1 F(a 1... a n = df d... a n 1 d a n + (d 1a n. (6 An interesting situation to apply these formulae corresponds with telescopic sequences ([9] and leads to free numerical semigroups which were introduced by Bertin and Carbonne ([ ] and previously used by Watanabe ([8]. Let us note that this idea does not coincide with the categorical concept of a free object. Definition 1. Let (a 1... a n be a sequence of positive integers such that gcda 1... a n } = 1 (where n. Let d i = gcda 1... a i } for i = 1... n. We say that (a 1... a n is a telescopic sequence if ai d i is representable as a nonnegative integer linear combination of 1 a d i 1... ai 1 d i 1 for i =... n.

3 ( Let us observe that if (a 1... a n is a telescopic sequence then the sequence a1 d i... ai d i is also telescopic for i =... n 1. Let (N + be the additive monoid of non-negative integers. We say that S is a numerical semigroup if it is an additive subsemigroup of N which satisfies 0 S and N \ S is a finite set. Let X = x 1... x n } be a non-empty subset of N \ 0}. We denote by X = x 1... x n the monoid generated by X that is X = λ 1 x λ n x n λ 1... λ n N}. It is well known (see [] that every submonoid S of (N + has a unique minimal system of generators that is there exists a unique X such that S = X and S Y for any Y X. In addition X is a system of generators of a numerical semigroup if and only if gcd(x = 1. Let X = x 1... x n } be the minimal system of generators of a numerical semigroup S. Then n (that is the cardinality of X is called the embedding dimension of S and it is denoted by e(s. Definition. We say that S is a free numerical semigroup if there exists a telescopic sequence (a 1... a n such that S = a 1... a n. Our purpose in this work is taking advantage of the notion of telescopic sequence in order to compute the Frobenius number associated to sequences of consecutive triangular (or tetrahedral numbers. In order to achieve this purpose let us observe two facts. 1. Two consecutive triangular numbers are not relatively prime (Lemma. ( (n+1. It is easy to check that if n 6 then n+ n+ n+ is a sequence of four consecutive (relatively prime triangular numbers but it does not admit any permutation which is telescopic. Therefore we have to limit our study to sequences of three consecutive triangular numbers. In the same way we have to take sequences of four consecutive tetrahedral numbers. In addition it is possible to apply our techniques (in a much more tedious study to sequences of five consecutive combinatorial numbers ( n m with m = (see Remark 1. However if m 5 it is not possible to use such tools because in general we have not got telescopic sequences (see Remark 1. Let us summarize the content of this work. In Section we compute the Frobenius number of three consecutive triangular numbers. In Section we solve the analogue case for four consecutive tetrahedral numbers. In the last section we show some results on numerical semigroups generated by three consecutive triangular numbers or four consecutive tetrahedral numbers taking advantage of the fact that they are free numerical semigroups. Finally point out that to get a self-contained paper we have included in Section a preliminary subsection with backgrounds on minimal presentations Apéry sets and Betti elements of a numerical semigroup.

4 . Triangular numbers Let us recall that a triangular number (or triangle number is a positive integer which counts the number of dots composing an equilateral triangle. For example in Figure 1 we show the first six triangular numbers. T 1 = 1 T = T = 6 T = 10 T 5 = 15 T 6 = 1 Figure 1: The first six triangular numbers It is well known that the nth triangular number is given by the combinatorial number T n = ( n+1. In order to compute the Frobenius number of a sequence of three triangular numbers we need to determine if we have a sequence of relatively prime integers. First we give a technical lemma. Lemma. We have that gcdt n T n+1 } = n+1 if n is odd; n + 1 if n is even. Proof. If n is odd then we have that } n(n + 1n + 1(n + gcdt n T n+1 } = gcd On the other hand if n is even then } n(n + 1n + 1(n + gcdt n T n+1 } = gcd = n + 1 gcdn } = n + 1. n } = (n+1 gcd 1 = n+1. In the following lemma we show that three consecutive triangular numbers are always relatively prime. Lemma. gcdt n T n+1 T n+ } = 1. Proof. By Lemma if n is odd then gcdt n T n+1 T n+ } = gcd gcdt n T n+1 } gcdt n+1 T n+ } } =

5 } n + 1 n + 1 gcd n + = gcd n + 1 } + 1 = 1. The proof is similar if n is even. Therefore we omit it. In the next result we show the key to obtain the answer to our question. Proposition 5. The sequences (T n T n+1 T n+ and (T n+ T n+1 T n are telescopic. Proof. Let n be an odd integer. From Lemmas and gcdt n T n+1 } = n+1 and gcdt n T n+1 T n+ } = 1. Now it is obvious that T n+ 1 = n + (n + Tn n+1 T n+1 n+1 = n n +. Therefore (T n T n+1 T n+ is telescopic if n is odd. Once again from Lemmas and we have that gcdt n+ T n+1 } = n + (observe that n + 1 is even and gcdt n T n+1 T n+ } = 1. Then it is clear that T n 1 = n (n + 1 Tn+ n + T n+1 n + = n + n + 1. Thus (T n+ T n+1 T n is telescopic if n is odd. In a similar way we can show that (T n T n+1 T n+ and (T n+ T n+1 T n are telescopic if n is even. Now we are ready to give the main result of this section. Proposition 6. Let n N \ 0}. Then n +6n n 10 if n is odd; F(T n T n+1 T n+ = n +9n +6n if n is even. Equivalently F(T n T n+1 T n+ = n (T n + T n+1 + T n (7 Proof. Let n be an odd positive integer. From (5or (6 and the proof of Proposition 5 we have that F(T n T n+1 T n+ = n + 1 ( Tn F n+1 T n+1 n+1 T n+ + n 1 T n+ = n + 1 F (n n + + n 1 (n + (n + and having in mind that F (n n + = n then the conclusion is obvious. On the other hand the reasoning for even n is similar. Finally a straightforward computation leads to (7. 5

6 . Tetrahedral numbers Let us recall that a tetrahedral number (or triangular pyramidal number is a positive integer which counts the number of balls composing a regular tetrahedron. The nth tetrahedral number is given by the combinatorial number TH n = ( n+. Thus in Figure we see the pyramid (by layers associated to the 5th tetrahedral number (TH 5 = 5. Figure : The tetrahedral number TH 5 (representation by layers In this section our purpose is compute the Frobenius number for a sequence of four consecutive tetrahedral numbers. We need a preliminary lemma with an immediate proof. Lemma 7. Let (a 1 a... a n be a sequence of positive integers such that d 1 = gcda 1 a... a n }. If d = gcda a 1... a n a n 1 } then d 1 d. In particular if d = 1 then d 1 = 1. Now let us see that four consecutive tetrahedral numbers are always relatively prime. Lemma 8. gcdth n TH n+1 TH n+ TH n+ } = 1. Proof. It is clear that (TH n+1 TH n TH n+ TH n+1 TH n+ TH n+ = (T n T n+1 T n+. Therefore by applying Lemmas and 7 we have the conclusion. The following lemma has an easy proof too. So we omit it. Lemma 9. Let n N \ 0}. 1. If n = 6k then gcd TH n TH n+1 } = (6k + 1(k If n = 6k + 1 then gcd TH n TH n+1 } = (k + 1(k If n = 6k + then gcd TH n TH n+1 } = (k + 1(k +.. If n = 6k + then gcd TH n TH n+1 } = (k + (6k If n = 6k + then gcd TH n TH n+1 } = (6k + 5(k If n = 6k + 5 then gcd TH n TH n+1 } = (k + 1(6k

7 In the next two results we give the tool for getting the answer to our problem. Proposition 10. The sequence (TH n TH n+1 TH n+ TH n+ is telescopic if and only if n r mod 6 with r 0 1 }. Proof. We are going to study the six possible cases n = 6k + r with k N and r }. 1. Let n = 6k. Since gcdth n TH n+1 TH n+ } is equal to gcd gcdth n TH n+1 } gcdth n+1 TH n+ } } from items 1 and of Lemma 9 we have gcdth n TH n+1 TH n+ } = gcd(6k + 1(k + 1 (k + 1(k + 1} = k + 1. Now it is easy to check that TH n+ = 0 THn THn+1 k+1 + (k + k+1 + THn+ k+1. On the other hand since (TH n TH n+1 TH n+ k + 1 = ( k(6k + 1 (6k + 1(k + 1 (k + 1(k + gcdk(6k + 1 (6k + 1(k + 1} = 6k + 1 and k(6k + 1 (6k + 1(k + 1 (k + 1(k + = 0 + (k + 6k + 1 6k + 1 we conclude that (TH n TH n+1 TH n+ TH n+ is telescopic.. Having in mind items and of Lemma 9 if n = 6k + 1 then we get that gcdth n TH n+1 TH n+ } = k + 1. In addition TH n+ = 0 TH n k TH n+1 k (k + 1TH n+ k + 1. } TH Since gcd n k+1 THn+1 k+1 = k + 1 and TH n+ k + 1 n TH = (k + (k + 1(k TH n+1 (k + 1(k + 1 we have the result.. For n = 6k + we have that gcdth n TH n+1 TH n+ } = k + TH n+ = 0 TH n k + + (k + 1TH n+1 k + + TH n+ k + } TH gcd n k+ THn+1 k+ = k + 1 and TH n+ k + = 0 TH n (k + (k (k + 1 TH n+1 (k + (k

8 . For n = 6k + we have that gcdth n TH n+1 TH n+ } = 6k + 5 TH n+ = 0 TH n 6k TH n+1 6k (k + TH n+ 6k + 5 } TH gcd n 6k+5 THn+1 6k+5 = k + and TH n+ 6k + 5 n TH = (k + 1 (6k + 5(k + + TH n+1 (6k + 5(k If n = 6k + then gcdth n TH n+1 TH n+ } = k + 1. Let us suppose that there exist α β γ N such that TH n+ = α THn THn+1 THn+ k+1 +β k+1 +γ k+1. Then (6k + 7 (k + (k + (6k + 5β (k + γ = (k + (6k + 5α. Since gcd6k + 7 } = gcd6k + 7 k + } = gcd6k + 7 6k + 5} = 1 then there exists α N such that α = (6k + 7 α. Therefore (k + (k + (6k + 5β (k + γ = (k + (6k + 5 α and consequently (k + (k + γ = (6k + 5 β + (k + α. Thus since gcdk+ 6k+5} = 1 we conclude that (6k+5 (k+ γ (that is 6k + 5 divides k + γ and thereby k + γ = 0. Now having in mind that γ is a non-negative integer the equality k + = γ is not possible. That is we have a contradiction. 6. If n = 6k + 5 then gcdth n TH n+1 TH n+ } = 6k + 7 TH n+ = 0 TH n 6k TH n+1 6k (k + 5TH n+ 6k + 7 } TH and gcd n 6k+7 THn+1 6k+7 = k + 1. Let us suppose that there exist α β N such that THn+ 6k+7 = α TH n (6k+7(k+1 + β TH n+1 (6k+7(k+1. In such a case (k + (k + = (6k + 5α + (k + β. Now since gcdk + 6k + 5} = 1 then α = (k + α for some α N and consequently k + β = (6k +5 α that is (6k +5 (k + β. Reasoning as in the previous case since β is a non-negative integer we get a contradiction once again. Using the same techniques as in the previous proof we have the next result. Proposition 11. The sequence (TH n+ TH n+ TH n+1 TH n is telescopic if and only if n r mod 6 with r 5}. 8

9 By combining Propositions 10 and 11 with (6 it is clear that we can obtain the Frobenius number for every sequence (TH n TH n+1 TH n+ TH n+. Thus we get the following result. Proposition 1. Let n N \ 0}. Then F (TH n TH n+1 TH n+ TH n+ = 1. n TH n+1 + nth n+ + n TH n+ TH n if n = 6k;. (n 1TH n+1 + n 1 TH n+ + n 1 TH n+ TH n if n = 6k + 1;. (n 1TH n+1 + n TH n+ + n TH n+ TH n if n = 6k + ; n. TH n+1 + n 1 TH n+ + (n + 1TH n+ TH n if n = 6k + ; n+ 5. TH n+ + n+ TH n+1 + (n + TH n TH n+ if n = 6k + ; 6. (n + TH n+ + n+1 TH n+1 + n+1 TH n TH n+ if n = 6k + 5. Remark 1. From the contents of this section and the previous one it looks like ( that the problem becomes longer and longer when we consider the sequences (n+m 1 m... n+m 1 m with m increasing (and n fixed. Anyway it is easy to see that ( (n+ if n 1 then n+ n+5 n+6 n+7 is a telescopic sequence if and only if n x mod 6 for x 0 1 }; ( (n+7 if n 9 then n+6 if n x mod 6 for x 5}; ( n+5 ( n+ ( n+ if n 5} then both of above sequences are telescopic. is telescopic if and only Therefore we can give a general formula for the Frobenius problem associated to five consecutive combinatorial numbers given of the type ( n. (In order to study this case it is better to consider n x mod 1 for x }. Remark 1. Let n m be( positive integers. At this moment we could conjecture that the sequence (n+m 1 m... n+m 1 m is telescopic if and only if ( (n+m 1 the sequence m... n+m 1 m is not telescopic and consequently we ( (n+m 1 would have an easy algorithmic process to compute F m... n+m 1 m. ( (1 Unfortunately neither = ( nor ( are telescopic. In fact all possible permutations of ( are not telescopic.. Consequences on numerical semigroups As we comment in the introduction if (a 1... a n is a sequence of relatively prime positive integers then the monoid a 1... a n is a numerical semigroup. In this section we are interested in those numerical semigroups which are generated by three consecutive triangular numbers or by four consecutive tetrahedral numbers and have embedding dimension equal to three or four respectively. In fact having in mind that 9

10 (T n T n+1 T n+ is always telescopic either (TH n TH n+1 TH n+ TH n+ or (TH n+ TH n+ TH n+1 TH n is telescopic we can use the ideas of [ Chapter 8] to obtain several results for the numerical semigroups T n = T n T n+1 T n+ and T H n = TH n TH n+1 TH n+ TH n+. Firstly we compute the embedding dimension of T n and T H n. Lemma 15. We have that e(t 1 = 1 e(t = e(t = for all n e(t H 1 = 1 e(t H = e(t H = e(t H n = for all n. Proof. It is obvious that T 1 = 1 6 = 1 = N; T = 6 10 = 10 ; T H 1 = = 1 = N; T H = = 10 5 ; T H = = Thereby e(t 1 = 1 e(t = e(t H 1 = 1 and e(t H = e(t H =. Now let T n = n(n+1 (n+1(n+ (n+(n+ with n. Then n(n+1 (n+1(n+ < (n+(n+ n(n+1 (n+1(n+ (that is < n(n+1 does not divide (n+1(n+ and n(n+1 (n+(n+. On the other hand if we suppose that (n+(n+ n(n+1 (n+1(n+ then there exist α β N such that (n+(n+ = α n(n+1 + β (n+1(n+. Consequently (n + (n + = αn(n β(n + 1(n + that is n + 1 should be a divisor of (n + (n + which is a contradiction. } Thus we conclude that n(n+1 (n+1(n+ (n+(n+ is a minimal system of generators of T n for all n and in consequence e(t = for all n. By using similar arguments we prove that e(t H n = for all n. Since we want to consider general cases along this section we are going to take T n with n and T H n with n. Thus we always have that e(t n = and e(t H n =. The remaining five cases are left as exercises to the reader..1. Preliminaries The concepts developed below can be generalized to more general frameworks. We refer to [] (and the references therein for more details. Let S be a numerical semigroup and let n 1... n e } be the minimal system of generators of S. Then we define the factorization homomorphism associated to S ϕ S : N e S u = (u 1... u e e i=1 u in i. 10

11 Let us observe that if s S then the cardinality of ϕ 1 S (s is just the number of factorizations of s in S. We define the kernel congruence of ϕ S on N e as follows u S v if ϕ S (u = ϕ S (v. It is well known that S is isomorphic to the monoid N e / S. Let ρ N e N e. Then the intersection of all congruences containing ρ is the so-called congruence generated by ρ. On the other hand if is the congruence generated by ρ then we say that ρ is a system of generators of. In this way a presentation of S is a system of generators of S and a minimal presentation of S is a minimal system of generators of S. Let us observe that for numerical semigroups the concepts of minimal presentation with respect cardinality and with respect set inclusion coincide (see [19 Corollary 1.] or [ Corollary 8.1]. Since every numerical semigroup S is finitely generated it follows that S has a minimal presentation with finitely many elements that is S is finitely presented (see [17]. In addition all minimal presentations of a numerical semigroup S have the same cardinality (see [19 Corollary 1.] or [ Corollary 8.1]. Let us describe an algorithmic process (see [19] or [] to compute all the minimal presentations of S. If s S then we define over ϕ 1 S (s the binary relation R s as follows: for u = (u 1... u e v = (v 1... v e ϕ 1 S (s we say that ur sv if there exists a chain u 0 u 1... u r ϕ 1 S (s such that u 0 = u u r = v and u i u i+1 0 for all i 0... r 1} (where is the usual element-wise product of vectors. If ϕ 1 S (s has a unique R s-class then we take the set ρ s =. Otherwise if R s1... R sl are the different classes of ϕ 1 S (s then we choose v i R si for all i 1... l} and consider ρ s to be any set of k 1 pairs of elements in V = v 1... v l } such that any two elements in V are connected by a sequence of pairs in ρ s (or their symmetrics. Finally the set ρ = s S ρ s is a minimal presentation of S. From the previous comments it is clear that for each numerical semigroup S there are finitely many elements s S such that ϕ 1 S (s has more than one R s -class. Precisely such elements are known as the Betti elements of S (see [7]. Remark 16. Let us observe that Betti elements are known from a minimal presentation. In fact the Betti elements of a numerical semigroup S can be computed as the evaluation of the elements of a minimal presentation of S. Let us define some constants which allow for characterizing the free numerical semigroups and moreover getting easily minimal presentations of such numerical semigroups. Definition 17. Let S be a numerical semigroup with minimal system of generators n 1... n e }. For every i... e} we define c i = min k N kn i n 1... n i 1 }. 11

12 For our purposes we consider the following characterization for free numerical semigroups (see [ Proposition 9.15] and the comment after it. Lemma 18. Let S be a numerical semigroup with minimal system of generators n 1... n e }. Then S is free (for the arrangement n 1... n e } if and only if n 1 = c c e. In order to have a minimal presentation of a free numerical semigroup S we use the following result from []. Lemma 19 (Corollary Let S be a free numerical semigroup for the arrangement of its minimal set of generators n 1... n e }. Assume that c i n i = a i1 n a ii 1 n i 1 for some a i1... a ii 1 N. Then (c i x i a i1 x a x ii 1 i 1 i... e} } is a minimal presentation of S. From Remark 16 and Lemma 19 we can easily compute the Betti elements of a free numerical semigroup S. Lemma 0. Let S be a free numerical semigroup for the arrangement of its minimal set of generators n 1... n e }. Assume that c i n i = a i1 n a ii 1 n i 1 for some a i1... a ii 1 N. Then the Betti elements of S are the numbers c i n i with i... e}. Let us recall that if S is a numerical semigroup and n S \ 0} then the Apéry set of n in S (see [1] is Ap(S n = s S s n / S} = 0 ω(1... ω(n 1} where ω(i 1 i n 1 is the least element of S congruent with i modulo n. Let us observe that the cardinality of Ap(S n is just equal to n. In addition it is clear that F(S = max ( Ap(S n n. When S is a free numerical semigroup for the arrangement n 1... n e } then we can compute explicitly (and easily the set Ap(S n 1. (The next lemma is part of [ Lemma 9.15] where there is not a detailed proof. By following the ideas exposed in [ Lemma 9.1] we show a full proof. Lemma 1. Let S = n 1... n e a free numerical semigroup. Then Ap(S n 1 = λ n + + λ e n e λ j 0... c j 1} for all j... e} }. Proof. Let ω(i be a non-zero element of Ap(S n 1. Since ω(i S then there exist α 1... α e N such that ω(i = α 1 n α e n e. From the definition of Apéry set it is clear that α 1 = 0 and consequently ω(i = α n + + α e n e. Now let us take c e. Then α e = γ e c e + δ e with γ e N and 0 δ e < c e. And since c e = a e1 n a ee 1 n e 1 for some a e1... a ee 1 N then ω(i = β 1 n 1 + +β e 1 n e 1 +δ e n e with β... β e 1 N and β 1 = 0 (remember that ω(i Ap(S n 1. Repeating this process with the coefficient of n e 1 up 1

13 to that of n we have that ω(i = δ n + + δ e n e with 0 δ j < c j for all j... e}. At this moment we have that Ap(S n 1 λ n + + λ e n e λ j 0... c j } for all j... e} }. (8 In order to finish the proof it is enough to observe that the cardinality of Ap(S n 1 is n 1 and that from Proposition 18 the cardinality of the second set in 8 is least than or equal to c... c e = n 1... Triangular case Let us take T n = T n T n+1 T n+ with n. We begin computing the values of c and c of T n (for the arrangement T n T n+1 T n+ }. Lemma. Let T n = T n T n+1 T n+. Then 1. c = n and c = n+1 if n is odd;. c = n and c = n + 1 if n is even. Proof. Let n be odd. By definition there exist α β N such that c T n+ = αt n + βt n+1 that is c (n + (n + n(n + 1n + 1(n + = α + β. } From Lemma we have that gcd n(n+1 (n+1(n+ = n+1. Moreover gcd } n + n+1 = gcd n+ } n+1 = 1. Therefore c has to be a multiply of n+1. Since n + 1 (n + (n + = n + n(n (n + 1(n + we conclude that c = n+1. Now we have that c T n+1 = αt n for some α N. That is c (n+1(n+ = α n(n+1 or equivalently c (n + = αn. Then it is obvious that c = n. Repeating similar arguments we have the result in the case of even n. Remark. An analogous result is obtained if we consider the arrangement T n+ T n+1 T n } for the minimal system of generators of T n (see Proposition 5. In fact 1. c = n+ and c = n + if n is odd;. c = n + and c = n+ if n is even. From Lemmas and we have the next result. Proposition. T n is a free numerical semigroup with embedding dimension equal to three. 1

14 By combining Proposition Lemma 19 and the arguments in the proof of Lemma we get a minimal presentation of T n. Proposition 5. A minimal presentation of T n = T n T n+1 T n+ is 1. if n is odd: ( n+1 x n+ x ( nx (n + x 1 } ;. if n is even: ( (n + 1x (n + x ( n x n+ x 1}. By applying Lemma 0 we compute the Betti elements of T n. Corollary 6. The Betti elements of T n are ( 1. n+ and n+ if n is odd;. ( n+ and n+ if n is even. Remark 7. Let us observe that the Betti elements of T n are given in terms of tetrahedral numbers. An analogue property can be observed in the case of T H n (see Corollary : the Betti elements of T H n can be expressed in terms of the combinatorial numbers ( p. Finally taking in Lemma1 the values of c and c given in Lemma we obtain the explicit description of the set Ap(T n T n. Corollary 8. We have that 1. if n is odd then Ap(T n T n = at n+1 +bt n+ a 0... n 1} b 0... n 1 } } ;. if n is even then Ap(T n T n = at n+1 + bt n+ a 0... n } } b 0... n}. Remark 9. Having in mind that if S is a numerical semigroup and n S\0} then F(S = max ( Ap(S n n we recover Proposition 6 (for n... Tetrahedral case We finish with the serie of results relative to the numerical semigroups T H n with n. Since the reasonings and tools are similar to the used ones in the triangular case (and some ones already seen in Section we omit the proofs. Lemma 0. Let T H n = TH n TH n+1 TH n+ TH n+ where n r mod 6 with r 0 1 }. Then 1. c = n c = n + 1 and c = n+ if n = 6k;. c = n c = n+1 and c = n+ if n = 6k + 1;. c = n c = n+1 and c = n+ if n = 6k + ;. c = n c = n+1 and c = n + if n = 6k +. 1

15 Lemma 1. Let T H n = TH n+ TH n+ TH n+1 TH n where n r mod 6 with r 5}. Then 1. c = n+5 c = n+ and c = n + if n = 6k + ;. c = n + 5 c = n+ and c = n+ if n = 6k + 5. Proposition. T H n is a free numerical semigroup with embedding dimension equal to four. Proposition. A minimal presentation of T H n is 1. if n = 6k: ( n+ x x + n+ x ( } (n + 1x (n + x n x n+ x 1 ;. if n = 6k + 1: ( n+ x n+5 x n+1 x x + n+ x 1 ( } nx (n + x 1 ;. if n = 6k + : ( n+ x x + n+ x n+1 x n+ x ( } nx (n + x 1 ;. if n = 6k + : ((n } + x (n + 5x n+1 x x + n+ x n 1 x n+ x 1 ; 5. if n = 6k + : ((n } + x1 nx n+ x n 1 x + n+ 6 x n+5 x n+ x ; 6. if n = 6k + 5: ( n+ x 1 n x + n+1 6 x n+ x n+1 x ( } (n + 5x (n + x. Corollary. The Betti elements of T H n are 1. ( n+5 n+ and n+ if n = 6k; (. n+5 n+ and n+ if n = 6k + 1;. ( n+5 n+ and n+ if n = 6k + ;. ( n+5 n+ and n+ if n = 6k + ; ( 5. n+5 n+ and n+ if n = 6k + ; 6. ( n+5 n+ and n+ if n = 6k + 5. Corollary 5. We have that 15

16 1. if n = 6k then Ap(T H n TH n =. if n = 6k + 1 then Ap(T H n TH n = b. if n = 6k + then Ap(T H n TH n = b. if n = 6k + then Ap(T H n TH n = b 5. if n = 6k + then ath n+1 + bth n+ + cth n+ a 0... n } b 0... n} c 0... n } } ; ath n+1 + bth n+ + cth n+ a 0... n 1} 0... n 1 } c 0... n 1 } } ; Ap(T H n TH n+ = b 6. if n = 6k + 5 then Ap(T H n TH n+ = b ath n+1 + bth n+ + cth n+ a 0... n 1} 0... n } c 0... n } } ; ath n+1 + bth n+ + cth n+ a 0... n } 0... n 1 } } c 0... n + 1} ; ath n + bth n+1 + cth n+ a 0... n + } 0... n + } c 0... n + } } ; ath n + bth n+1 + cth n+ a 0... n + 1 } 0... n + 1 } } c 0... n + }. 16

17 Remark 6. We can get Proposition 1 (for n as an immediate consequence of Corollary 5 (see Remark 9. Remark 7. Having in mind Remark 1 it is possible to developed a serie of results which are analogue ( to those obtain in Subsections. and. for (n+ sequences of the type n+ n+5 n+6 n+7 with n 6. References [1] R. Apéry Sur les branches superlinéaires des courbes algébriques C. R. Acad. Sci. Paris ( [] J. Bertin and P. Carbonne Sur la structure des semi-groupes d entiers et application aux branches C. R. Acad. Sci. Paris 80 ( [] J. Bertin and P. Carbonne Semi-groupes d entiers et application aux branches J. Algebra 9 ( [] A. Brauer On a problem of partitions Amer. J. Math. 6 ( [5] A. Brauer and J. E. Shockley On a problem of Frobenius J. Reine Angew. Math. 11 ( [6] F. Curtis On formulas for the Frobenius number of a numerical semigroup Math. Scand. 67 ( [7] P. A. García-Sánchez and I. Ojeda Uniquely presented finitely generated commutative monoids Pacific J. Math. 8 ( [8] S. M. Johnson A linear diophantine problem Canad. J. Math. 1 ( [9] C. Kirfel and R. Pellikaan The minimum distance of codes in an array coming from telescopic semigroups IEEE Trans. Inform. Theory 1 ( [10] M. Lepilov J. O Rourke and I. Swanson Frobenius numbers of numerical semigroups generated by three consecutive squares or cubes Semigroup Forum 91 ( [11] M. Lewin An algorithm for a solution of a problem of Frobenius J. Reine Angew. Math. 76 ( [1] J. M. Marín J. L. Ramírez Alfonsín and M. P. Revuelta On the Frobenius number of Fibonacci numerical semigroups Integers 7 (007 A1. [1] A. Moscariello On integers which are representable as sums of large squares Int. J. Number Theory 11 (

18 [1] D. C. Ong and V. Ponomarenko The Frobenius number of geometric sequences Integers 8 (008 A. [15] J. L. Ramírez Alfonsín Complexity of the Frobenius problem Combinatorica 16 ( [16] J. L. Ramírez Alfonsín The Diophantine Frobenius problem (Oxford Lectures Series in Mathematics and its Applications 0 Oxford Univ. Press Oxford 005. [17] L. Rédei The Theory of Finitely Generated Commutative Semigroups (International Series of Monographs on Pure and Applied Mathematics vol. 8 Pergamon Press Oxford [18] J. B. Roberts Note on linear forms Proc. Amer. Math. Soc. 7 ( [19] J. C. Rosales An algorithmic method to compute a minimal relation for any numerical semigroup Internat. J. Algebra Comput. 6 ( [0] J. C. Rosales M. B. Branco D. Torrão The Frobenius problem for Thabit numerical semigroups J. Number Theory 155 ( [1] J. C. Rosales M. B. Branco D. Torrão The Frobenius problem for repunit numerical semigroups Ramanujan J. 0 (016. [] J. C. Rosales M. B. Branco D. Torrão The Frobenius problem for Mersenne numerical semigroups Math. Z. 86 ( [] J. C. Rosales and P. A. García-Sánchez Numerical semigroups (Developments in Mathematics vol. 0 Springer New York 009. [] J. C. Rosales P. A. García-Sánchez and J. M. Urbano-Blanco On presentations of commutative monoids Internat. J. Algebra Comput. 9 ( [5] E. S. Selmer On the linear diophantine problem of Frobenius J. Reine Angew. Math. 9/9 ( [6] J. J. Sylvester Problem 78 The Educational Times and Journal of the College of Preceptors New Ser. 6( Solution by W. J. Curran Sharp ibid. 6( Republished as [7]. [7] J. J. Sylvester Problem 78 in: W. J. C. Miller (Ed. Mathematical questions with their solutions from The Educational Times vol. 1 page 1 Francis Hodgson London 188. [8] K. Watanabe Some examples of one dimensional Gorenstein domains Nagoya Math. J. 9 (