arxiv: v3 [math.gr] 7 Dec Introduction

Transcription

1 arxiv: v3 [mat.gr] 7 Dec 206 Concrete algoritms for word problem and subsemigroup problem for semigroups wic are disoint unions of finitely many copies of te free monogenic semigroup Nabila Abugazala Department of Matematical Sciences Princess Noura bint Abdulraman University Riyad, Saudi Arabia nabugazala@pnu.edu.sa April 4, 208 Abstract Every semigroup wic is a finite disoint union of copies of te free monogenic semigroup (natural numbers under addition) as soluble word problem and soluble membersip problem. Efficient algoritms are given for bot problems. Introduction It is well known tat some semigroups may be decomposed into a disoint union of subsemigroups wic is unlike te structures of classical algebra suc as groups and rings. For instance, te Rees Teorem states tat every completely simple semigroup is a Rees matrix semigroup over a group G, and is tus a disoint union of copies of G, see [7, Teorem 4.2.]; every Clifford semigroup is a strong semilattice of groups and as suc it is a disoint union of its maximal subgroups, see Te autor is financially supported by Princess Noura bint Abdulraman University in Riyad and Saudi Aramco Ibn Kaldun Fellowsip for Saudi Women, in partnersip wit te Center for Clean Water and Clean Energy at MIT. Key words and prases: Semigroup, Decidability, Word problem, Membersip problem. Matematics Subect Classification: 20M05.

2 [7, Teorem IV.2.2]; every commutative semigroup is a semilattice of arcimedean semigroups, see [5, Teorem 3.3.]. If S is a semigroup wic can be decomposed into a disoint union of subsemigroups, ten it is natural to ask ow te properties of S depend on tese subsemigroups. For example, if te subsemigroups are finitely generated, ten so is S. Araúo et al.[3] consider te finite presentability of semigroups wic are disoint unions of finitely presented subsemigroups; Golubov [4] sowed tat a semigroup wic is a disoint union of residually finite subsemigroups is residually finite. In te context were S is a semigroup wic is a disoint union of finitely many copies of te free monogenic semigroup, te autors in [] proved tat S is finitely presented and residually finite; in [2] te autors proved tat, up to isomorpism and anti-isomorpism, tere are only two types of semigroups wic are unions of two copies of te free monogenic semigroup. Similarly, tey sowed tat tere are only nine types of semigroups wic are unions of tree copies of te free monogenic semigroup and provided finite presentations for semigroups of eac of tese types. In tis paper we continue investigating finiteness conditions for a semigroup wic is a disoint union of finitely many copies of te free monogenic semigroup, te decidability of te word problem and membersip problem in particular. Te paper is organized as follows. In section 2 we recall some lemmas from [] and explain te obtained results wit clarify te strong regularities wic are all described in terms of aritmetic progressions. In Section 3 we prove tat S as a soluble word problem and soluble membersip problem. 2 Properties of te semigroup wic is a disoint union of finitely many copies of te free monogenic semigroup Let S be a semigroup wic is a disoint union of finitely many copies of te free monogenic semigroup: S = N a, a A were A is a finite set and N a = a for a A. We proved in [, Teorem 3.] tat te semigroup S as te finite presentation A a k b = [α(a, k, b, )] κ(a,k,b,), (a, b A, k {, 2,..., }), () for some α(a, k, b, ) A and κ(a, k, b, ) N. We introduce te necessary lemmas from te paper [] to add more information to te presentation (). Lemma 2. ([], Lemma 2.4). If a p x = b r, a p+q x = b r+s 2

3 for some a, b A, x S, p, q, r N, s N 0, ten for all t N 0. a p+qt x = b r+st Lemma 2.2. Let a, c A, b S. If a p b = c n p for two distinct values of p ten tere exists an aritmetic progression p+qn, r N, s N {0} suc tat a p+qn b = c r+sn for every n {0,, 2,...}. Proof. Since, a p b = c n p for two distinct values of p, ten we ave q, r, suc tat a q b = c n q, a r b = c n r were q r and r q is as small as possible. Hence, by Lemma 2., a r+n(r q) b = c n r+n(n r n q ) olds for every n N. Lemma 2.3. Let a, c A, b S. Suppose q N is te smallest possible number suc tat a p b = c r, a p+q b = c r+s for some p, r N, s N {0} olds in S. Ten if i {p+, p+2,..., p+q } and a i b = d t we ave d = c. Proof. Suppose to te contrary tat d = c ten we ave (i) a p b = c r ; (ii) a i b = c t ; (iii) a p+q b = c r+s. Case. If t r ten from(i),(ii) and Lemma 2., we obtain an aritmetic progression wit a difference i p q, a contradiction. Case 2. If t < r ten from (ii),(iii) and Lemma 2., we obtain an aritmetic progression wit a difference p + q i q, a contradiction. Definition 2.4. An aritmetic progression is a sequence of te form a k, a k+q, a k+2q, were a A, k, q N, (so tat te difference of any two consecutive powers is constant), and we call it a minimal aritmetic progression if q is te smallest possible number suc tat a k b = c r, a k+q b = c r+s for some k, r N, s N 0. Definition 2.5. Te interval on N a of lengt L is te set I = [a t, a t+l ] = {a N a : t t+l}. Lemma 2.6. Tere exists P N suc tat te following olds. For every (not necessarily distinct) a, b A, and every x S, if a r and a s (r < s) are te first two powers of a suc tat a r x, a s x N b ten s r P. Proof. Consider x to be arbitrary but fixed. Witin N a tere are at most n = A minimal aritmetic progressions by Lemmas 2., 2.3, one for eac N b, b A. So we ave sets A ci for c i {c, c 2,, c m } A were eac A ci is te set of elements a k suc tat a k x = c r i, wit te differences d d 2 d s d m respectively. Tus, N a = H A c A c2 A cs A cm were H = {a, a 2,..., a p } 3

4 and A cs = {a p s, a p s+d s,...} suc tat p s = p + s for every s m and ten A c A c2 A cs A cm contains all but finitely many elements of N a wic is H by Lemma 2.. Now, we prove tat tere exists P N not dependent on x, suc tat d s P and tis is sufficient since a, b A, A is finite and by taking te maximum of P over all a, b will do for all. Let us consider an interval I on N a of lengt L = d d 2... d s wic occurs at te point a pm+ were p M is te maximum power among {p, p 2,..., p s,..., p m }. Claim. I must contain at least one element from A cs A cs+ A cm. PROOF. Suppose to te contrary tat all te elements in I belong to A c A c2 A cs. Since A i is an aritmetic progression wit a difference d i ( i s ), and since d i L it follows tat A ci+l A ci. Hence, if I A c A c2 A cs, it follows tat I a L A c A c2 A cs, and so I a ul A c A c2 A cs for all u N. Since I is an interval of lengt L, it follows tat (I a ul ) contains all but finitely many elements of N. Tis contradicts te fact tat A cs is an infinite set disoint from all A c, A c2,..., A cs. Terefore te claim as been proved. Now we prove te lemma by induction on s. If s = ten we coose L =. Assume tat te statement olds for every k s. As a result of our claim, an interval J of lengt tl can be viewed as a disoint union of t intervals of lengt L. Eac of te latter contains a elements from A cs A cm, and so J contains at least t suc elements. Suppose tat d s > L(m+). So te interval [a r, a r+l(m+) ] contains at least m+ elements from A cs A cs+ A cm and no elements from A cs. Ten by using te pigeonole principle, we conclude tat two elements come from te same A ct (s < t m) wit a difference less tan d s, a contradiction. Tus d s L(m+) L(n+). Since te number L is dependent on d,..., d s, none of tem is dependent on x by te induction ypotesis and by replacing m by n wic is independent of x, we get P = L(n + ) wic does not depend on x. Te preceding result means tat te differences of all minimal aritmetic progressions arising in Lemma 2. are uniformly bounded. In te next lemma we prove tat tere is a uniform bound to ow far aritmetic progressions can start. Lemma 2.7. Tere exists Q N suc tat te following olds. For every a, b A, and every x S, if a r and a s (r < s) are te first two powers of a suc tat a r x, a s x N b ten r Q. Proof. Assume te opposite, i.e. tat te start of an aritmetic progression can occur arbitrarily far into N a, say beyond T (n+)p, were P is te constant in Lemma 2.6 and n = A. Tat means u N a T x = b p, a T+d x = b q (2) Since te difference d P by Lemma 2.6, te n numbers T dk ( k n) are all positive. By using te pigeonole principle, tere are two distinct powers a T d, a T kd were (witout loss of generality) we assume > k, suc tat 4

5 a T d x, a T kd x belong to te same N c wit a difference ( k)d were b = c and tat is clear because a T d, a T kd appear before a T, a T+d were tey are te first two powers suc tat (2) olds. Terefore, a T+2( k)d x N c but tis element also belongs to N b were te power T+ 2( k)d {T, T+d,..., T+ md,...}(m N), a contradiction. Lemma 2.8. As x = b s ranges over all of S, only finitely many aritmetic progressions arise in Lemma 2.. Proof. Immediate consequence of Lemmas 2.6, 2.7 in wic all tese aritmetic progressions start witin a bounded range and teir periods are bounded as well. 3 Decidability for S 3. Word problem A semigroup S generated by a finite set A as soluble word problem (wit respect to A) if tere exists an algoritm wic, for any two words u, v A +, decides weter te relation u = v olds in S or not. For finitely generated semigroups it is easy to see tat solubility of te word problem does not depend on te coice of (finite) generating set for S. We write w w 2 if te words w and w 2 are identical, and w = w 2 if tey represent te same element of S. Remark 3.. It is well known tat finitely presented residually finite semigroups ave soluble word problem [4], and from our results in [], te semigroup under consideration in tis paper is finitely presented and residually finite and ten as soluble word problem. However, we give a concrete algoritm wic is muc more efficient tan te generic one in te following teorem. Teorem 3.2. Every semigroup wic is a disoint union of finitely many copies of te free monogenic semigroup as soluble word problem. Proof. Let S = a A N a, and N a = a. Tus te Algoritm is as follows: Input: u, v A + and u x i x i 2 2 x i m and v y every k m and l n. Output: u = v or u = v in S. y 2 2 y n n, were x k, y l A for Te idea of te Algoritm is to reduce te word u to an equivalent word a k for some a A and k N. Step. Lemma 3.3. If we ave a presentation on S of te form A a k b = [α(a, k, b, )] κ(a,k,b,), (a, b A, k {, 2,..., }), (3) 5

6 for some α(a, k, b, ) A and κ(a, k, b, ) N, ten tere is an algoritm tat reduces any word of te form a i b to a word of te form c were a, b, c A and N. Proof. We specify te presentation (3) as follows. Firstly, notice tat te relations in te presentation are of te form x i y = z were x, y, z A and i, N and tus we ave at most n(n ) minimal aritmetic progressions in wic we get at most n(n ) differences. Take te te least common multiple (LCM) of all tese differences D. Tus R a,b = { a i b = [α(a, i, b, )] κ(a,i,b,) : i =,..., r(a, b) }, Were r(a, b) Q = (n+ )P from 2.6, 2.7. R a,b = r(a,b)+d k=r(a,b)+ { a k b = [α(a, k, b, )] κ(a,k,b,), a k+d b = [α(a, k+d, b, )] κ(a,k+d,b,)}, and ten we get te required presentation as R = a,b A (R a,b R a,b), were k = ld, l is any natural number. Notice tat from (4) we ave a k+d b = a D a k b = a D [α(a, k, b, )] κ(a,k,b,) = [α(a, k+d, b, )] κ(a,k+d,b,) (5) So witin N a we ave P t aritmetic progressions, were t is te remainder of division of r(a, b)+q by D for every q {, 2,, D} as follows: P 0 = {a r(a,b)+, a r(a,b)++d, a r(a,b)++2d,...}, P = {a r(a,b)+2, a r(a,b)+2+d, a r(a,b)+2+2d,...},. P D = {a r(a,b)+d, a r(a,b)+2d, a r(a,b)+3d,...}. Tus for every i N every word of te form a i b is reduced to a word of te form c. (4) Step 2. Lemma 3.4. For a, b A and s N, a finite number of applications of relations in R transforms a s b to[α(a, r(a, b)+t++ f D, b, )] κ(a,r(a,b)+t++ f D,b,) were α(a, r(a, b)+t++ f D, b, ) A and κ(a, r(a, b)+t++ f D, b, ) N. 6

7 Proof. If te relation a s κ(a,r(a,b)+t++ f D,b,) b = [α(a, r(a, b)+ t++ f D, b, )] belongs to R, we are done. Now, suppose tat te given relation does not appear in R, tat means s > k were k = ld for some l and ten s = D+t were 0 t < D and tus a s P t. Notice tat P t starts wit te two elements a r(a,b)+(t+), a r(a,b)+(t++d) and by doing some calculations as follows: First we know tat s = D+ t, and for some f. Tus, So, s r(a, b) t = D+t r(a, b) t = f D D = f D+r(a, b)+. s = r(a, b)+ t++ f D, wic means tat a s is in te f position. Hence, a s b = a f D+r(a,b)+t+ b } a D a D a {{ D } a r(a,b)+t+ b f times = } a D a D a {{ D }[α(a, r(a, b)+ t+, b, )] κ(a,r(a,b)+t+,b,) (by (4)) f times = } a D a {{ D }[α(a, r(a, b)+ t++ D, b, )] κ(a,r(a,b)+t++d,b,) (by (5)) ( f ) times. = [α(a, r(a, b)+ t++ f D, b, )] κ(a,r(a,b)+t++ f D,b,). Terefore, we can obtain[α(a, r(a, b)+ t++ f D, b, )] κ(a,r(a,b)+t++ f D,b,) in finitely many steps. Step 3. Transform u to its normal form as follows: u x i x i 2 2 x i m (x i x 2 )x i 2 2 x i m = x i 2 i x i x i m (by Lemma 3.4) (x i 2 i 2 x 2 )x i x i m m. So, by taking te first power x i wit te next element x 2 and doing tis i 2 steps, we get rid of x i 2 2 and using te same process wit all x i 3 3, x i 4 4,, x i m, we end up wit x I M I after i 2 + i 3 + +i m steps. So we ave u = x I M I. 7

8 Step 4. Transform v to its normal form x J N J analogously to step 3. Step 5. If I = J and I M = J N ten u = v, oterwise u = v. Terefore, S as soluble word problem. 3.2 Subsemigroup membersip problem Let S be a finitely generated semigroup. We say tat S as a soluble subsemigroup membersip problem if tere is an algoritm tat takes as input a finite set Y = {y, y 2,, y k } S and an element x S and decides weter x is in te subsemigroup T generated by Y. Now we introduce necessary well-known teorems about subsemigroups of te natural number semigroup N. We will use tese teorems to devise an algoritm to solve te subsemigroups membersip problem for te semigroup under consideration. Teorem 3.5 ([6], Teorem ). Let S be a subsemigroup of N, ten i) Tere is s N suc tat for n s, n S, or ii) Tere is n N, n > suc tat n is a factor of all s S. We prove tis teorem as te proof itself leads us to Corollary 3.0. PROOF. Assume tat tere exist s, s 2,..., s m S suc tat te g.c.d of te collection (s, s 2,..., s m ) is. Let S be te subsemigroup of N generated by {s, s 2,..., s m }, notice tat S S. Let s = 2s s 2... s m and for b > s, since te g.c.d of(s, s 2,..., s m ) is, we may find integers α, α 2,..., α m suc tat α s + +α m s m = b. Hence tere exist integers q i and r i suc tat α i = q i s... s i s i+... s m + r i were 0 < r i s... s i s i+... s m (i = 2, 3,..., m). Now put β = α +(q 2 + +q m )s 2 s 3... s m, β i = r i, (i = 2, 3,..., m). Tus b = β s + β 2 s β m s m. Note tat β i > 0 for i = 2, 3..., m. But since β 2 s β m s m = r 2 s 2 + +r m s m 2s s 2... s m < b, clearly β > 0. Tus tere are two types of subsemigroups of N. Te first type contains all natural numbers greater tan some fixed natural number, and will be called relatively prime subsemigroups of N. Te second type is a fixed integral multiple of a relatively prime subsemigroup. Corollary 3.6. Every subsemigroup of N is finitely generated. Remark 3.7. Tis corollary is well known and ere is an easy proof. 8

9 Proof. Suppose tat S is a subsemigroup of N and te greatest common divisor of S is. Tus te generating set for S is S {, 2,..., 2k} were k N suc tat for every n k : n S. Indeed tis is so because if m > 2k ten m = qk+ f. Tus m = (q )k+k+ f were k+ f S {, 2,..., 2k}. Fact: If S is a subsemigroup of N ten te greatest common divisor g.c.d of S is te g.c.d of te generator set of S. Corollary 3.8. Every subsemigroup of N as te form F D N,d, were F is a finite set and D N,d = {da : a N}. Definition 3.9. Suppose tat te semigroup S is generated by {n, n 2,, n k }. If tere exist two elements d, N S and a set F S suc tat F = S {, 2,,N }; S {N,N +, } = {dk : k N, dk N}, ten we say tat S is defined by te triple[d,n, F]. Corollary 3.0. Suppose tat S is a subsemigroup of te natural number semigroup N. Suppose tat S is generated by n, n 2,, n k. Ten S is defined by te triple [d,n, F] were d is te greatest common divisor of {n, n 2,, n k }, N = 2dn n 2 n k, and F {, 2,,N }. Proof. Follows immediately from Teorem 3.5 and Corollary 3.6. Corollary 3.. Suppose tat S is a subsemigroup of te free monogenic semigroup N. Suppose tat S is generated by a n, a n 2,, a n k. Ten S is defined by te triple [d,n, F] were d is te greatest common divisor of {a n, a n 2,, a n k}, N = a 2 da n a n2 a n k, and F {a, a 2,, a N }. Proof. Directly by Corollary 3.0. After understanding ow subsemigroups of N beave we are ready to start designing te algoritm. Since S = N N 2 N n, 9

10 and T is a subsemigroup of S, ten T = T T 2 T m, were T i N i for every i {, 2,, m}, m n. Consequently, te generator set for T is A T = A Ti, i {,2,,m} were A Ti is te generator set of T i for every i {, 2,, m}. Tus T is finitely generated ([3], Proposition 3.). Lemma 3.2. Suppose tat te subsemigroup U = N A T is defined by te triple [ d,n, F ]. Ten tere is an algoritm wic takes arbitrary Ui, U and b A T and tests weter or not. U i b N U Proof. Let a r U ib N. Ten a r U a r F or a r = ad for some d d t were d t = N, by Corollary 3.0. Teorem 3.3. Every semigroup wic is a disoint union of finitely many copies of te free monogenic semigroup as a soluble subsemigroup membersip problem. Proof. Let S be suc a semigroup. Ten te Algoritm is as follows: Input. A finite set A T S, specified as normal form words over te generating set, and an element x S, specified as a normal form word. Output. Weter x T were T is te subsemigroup of S generated by A T. Step. Take U i = A i = N i A t, wic means tat U i is a finitely generated subsemigroup of N i and ten is defined by te triple [d i,n i, F i ] by Corollary 3.. Now ceck if were wic means ceck weter U i x (U, U 2,..., U m ) = T (U, U 2,..., U m ) = U U 2 U m, m U i for every i {, 2,, m} and for every x A T, i= by Lemma 3.2. If yes ten go to step 4. If tere was a r i i x = ar and a r ten go to step 2. U 0

11 Step 2. Add te missing element a r to U and ten we ave U (+) = A U a r, wic is defind by te triple [d(+),n (+), F (+) ]. Notice tat by adding a r to U we reduce te gaps in F or we reduce te difference d by Corollary 3.8. Tus we get te new description ( U, U 2,, U, U (+) ), U +,, U m, (6) Step 3. We start again wit te new description (6) and we keep adding tese missing elements wit all i {, 2,, m}. And ten we reac to te final description ( (+s U ), U (+s 2) 2,, U (+s ),, U (+s m) ) m = T. Wic means tat U (+s ) b m i= U (+s i) i for every b A T and for every {, 2,, m} and tat because as we explained before eac U is defined by te triple [ ] r d,n, F. So if we add an element a to U tat means, by Corollary 3.8, we reduce te gaps in F and tey are finite, or we reduce te difference d and we can do tis ust finitely often. Tus we add finitely many elements in eac U, wic implies tat tis process terminates. So now eac U (+s ) is defined by te triple [ (+s ) d,n (+s ), F (+s ) ]. Step 4. If we were given x = a r ust take tis element and see in U (+s ) or S and we want to see if x T or not ten we if a r F(+s ), r = d (+s ) k for some d (+s ) k d (+s ) t were d (+s ) t = N (+s ), ten x T oterwise x T. Acknowledgment I would like to tank te reviewer for teir detailed comments and constructive suggestions for te manuscript. Te autor wants to tank Prof Nik Ruškuc (University of St Andrews) for is many elpful contributions to tis work. And to tank Prof Pavel Etingof (MIT) for is useful comments and suggestions on tis paper.

12 References [] N. Abugazala, N. Ruškuc, On disoint unions of finitely many copies of te free monogenic semigroup, Semigroup Forum, 87 (203), No., Springer US, pp [2] N. Abugazala, J. D Mitcell, Y. Péresse, N. Ruškuc, A classification of disoint unions of two or tree free monogenic semigroup, Semigroup Forum, 9 (205), Issue, pp [3] I.M. Araúo, M.J.J. Branco, V.H. Fernandes, G.M.S. Gomes, and N. Ruškuc, On generators and relations for unions of semigroups, Semigroup Forum, 63 (200), pp [4] E.A. Golubov. Finitely approximable regular semigroups (Russian), Mat. Zametki, 7 (975), pp (Englis translation: Mat. Notes 7 (975) ) [5] P.A. Grillet, Semigroups, Marcel Dekker, New York, 995. [6] J. Higgins, Subsemigroups of te additive positive integers, Fibonacci Quart, 0 (972), [7] J.M. Howie, Fundamentals of Semigroup Teory, Clarendon Press, Oxford,