arxiv: v1 [math.gr] 8 Jan 2019

Transcription

1 A NEW EXAMPLE OF LIMIT VARIETY OF APERIODIC MONOIDS arxiv: v1 [math.gr] 8 Jan 2019 WEN TING ZHANG AND YAN FENG LUO Abstract. A imit variety is a variety that is minima with respect to being non-finitey based. The two imit varieties of Marce Jacson are the ony nown exampes of imit varieties of aperiodic monoids. Our previous wor had shown that there exists a imit subvariety of aperiodic monoids that is different from Marce Jacson s imit varieties. In this paper, we introduce a new imit variety of aperiodic monoids. 1. Introduction A variety of agebras is finitey based if there is a finite subset of its identities from which a of its identities may be deduced, otherwise, the variety is said to be non-finitey based. An agebra is finitey based if it generates a finitey based variety, otherwise, the agebra is said to be non-finitey based. There are many finitey based and many non-finitey based finite semigroups, and consequenty the finite basis property for finite semigroups, and for finite agebras in genera has been one of the most extensivey studied in facets of varieties. Refer to the surveys of Voov [15] for a great dea of information on varieties, identities, and the finite basis probem for semigroups. A variety is hereditariy finitey based if a its subvarieties are finitey based. A variety is caed imit variety if it is non-finitey based but every proper subvariety is finitey based; in other words, imit varieties are precisey minima non-finitey based varieties. Zorn s emma impies that each non-finitey based variety contains some imit subvariety; thus, a variety is hereditariy finitey based if and ony if it contains no imit subvarieties. Therefore cassifying hereditariy finitey based varieties in a certain sense reduces to cassifying imit varieties whence the atter tas appears to be very hard in genera. Moreover, finding any concrete imit variety turns out to be nontrivia. For exampe, no concrete imit variety of groups is nown so far even though a recent resut by Kozhevniov [5] shows that there are uncountaby many of them. Amongst (ocay finite) groups, there are nown to be infinitey many imit varieties, however the expicit construction of such an exampe remains one of the foremost unsoved probems in group variety theory [6] In contrast, for inverse semigroup varieties, a compete cassification of non-group imit varieties (and hence, a characterization of hereditariy finitey based varieties moduo groups) has been found by Keiman [4] Mathematics Subject Cassification. 20M07, 03C05, 08B15. Key words and phrases. Monoid, finitey based, variety, imit variety, subvariety attice. This research was supported by the Nationa Natura Science Foundation of China (No , ). Corresponding author. 1

2 2 W. T. ZHANG AND Y. F. LUO Reca that a monoid is aperiodic if a its subgroups are trivia. This artice is concerned with the cass A of aperiodic monoids and its subvarieties. A resut of Kozhevniov impies the existence of continuum many imit varieties of monoids consisting of groups [5]. This maes cassification of imit varieties of monoids unfeasibe uness restrictions are paced on the groups ying in the variety. The cass A is arguaby the most obvious natura candidate for attention. In the eary 2000s, Jacson proved that the variety var{j 1 } generated by the monoid J 1 = a,b,s,t xy = 0 if xy is not a factor of asabtb {1} of order 21 and the variety var{j 2 } generated by the monoid J 2 = a,b,s,t xy = 0 if xy is not a factor of either absatb or asbtab {1} of order 35 are imit subvarieties of A [3, Proposition 5.1]. As commented by Jacson, no other simiar exampes of imit varieties coud be found [3, Section 5]. This ed him to pose the question [3, Question 1]: Is there any finitey generated, non-finitey based subvariety of A that contains neither var{j 1 } nor var{j 2 }? In [11], we show that the J-trivia semigroup L = a,b a 2 = a, b 2 = b, aba = 0 of order six is one of minima non-finitey semigroups. Let L 1 denote the monoid obtained by adjoining an identity eement to L and et var{l 1 } denote the variety generated by L 1. It is easy to see that var{l 1 } is a subvariety of A that contains neithervar{j 1 }norvar{j 2 }. In [16], weshowthat var{l 1 }is non-finiteybased, and so there exists a imit subvariety of A that is different from var{j 1 } and var{j 2 }. Consequenty, identify a imit subvarieties of var{l 1 } is an unavoidabe step in the cassification of imit varieties of aperiodic monoids. The main goa of this paper and its preque is to give an expicit exampe of a imit variety of A. Let A 1 denote the monoid obtained by adjoining an identity eement to the semigroup A = {0,a,b,c,d,e} given by the foowing mutipication tabe: A 0 a b c d e a a b b c 0 0 a 0 c 0 d 0 0 b 0 d 0 e 0 a a c c e The semigroup A was first investigated by Lee and Zhang [11, Section 19], where it was shown to be finitey based. Let B 1 be the semigroup that is dua to A 1. In [17], by using a sufficient condition, we have shown that the semigroup A 1 B 1 is non-finitey based. In this paper, a of proper monoid subvarieties of the variety generated by A 1 B 1 are shown to be finitey based, and the monoid subvariety attice of var M {A 1 B 1 } wi be competey described. Hence the monoid variety var M {A 1 B 1 } is a imit monoid variety. Aso, an identity basis A 1 B 1 wi be given, the finite membership probem for the variety generated by A 1 B 1 admits a poynomia agorithm. In section 3, an identity basis for var{a 1 B 1 } wi be given. In section 4, a monoid subvarieties of var{a 1 B 1 } wi be characterized and each of them is

3 A NEW EXAMPLE OF LIMIT VARIETY OF APERIODIC MONOIDS 3 finitey based. Furthermore, the monoid subvariety attice of var M {A 1 B 1 } wi be competey described. Hence var M {A 1 B 1 } is a imit monoid variety. Reca that a variety is sma if it has finitey many subvarieties, a sma variety is cross if it is finitey based and finitey generated, and a non-crossvariety is amost cross if a its proper subvarieties are Cross. Hence var{a 1 B 1 }) is a sma amost cross variety. 2. Preiminaries Most of the notation and bacground materia of this artice are given in this section. Refer to the monograph [1] for any undefined terminoogy. Let X be a fixed countaby infinite aphabet throughout. For any subset A of X, denote by A the free monoid over A. Eements of X and X are referred to as etters and words respectivey. The content of a word w, denoted by con(w), is the set of etters occurring in w; The mutipicity of a etter x in w, denoted by m(x,w), is the number of times x occurs in w; A etter x is simpe in a word w if m(x,w) = 1; otherwise, x is non-simpe in w. The set of simpe etters of a word w is denoted by sim(w) and the set of non-simpe etters of w is denoted by non(w). Note that con(w) = sim(w) non(w) and sim(w) non(w) =. An identity is typicay written as w w where w and w are nonempty words. Let Π be any set of identities. The deducibiity of an identity w w from Π is indicated by Π w w or w Π w. The variety defined by Π, denoted by V(Π), is the cass of a semigroups that satisfy a identities in Π; in this case, Π is said to be a basis for the variety. For any word w and any set B of etters in w, et w B denote the word obtained from u by retaining the etters from B (but removing a others). It is easy to see that if the identity u v is satisfied by a monoid M, then any identity of the form u B v B is aso satisfied by M. For any cass C of semigroups or monoids, et var{c} denote the semigroup variety generated by C. For any cass C of monoids, et var M {C} denote the monoid variety generated by C. It is easy to see that a monoid S is contained in the semigroup variety of a monoid H if and ony if it is contained in the monoid variety of H. The foowing sma semigroups are required throughout the artice: J = a,b ab = 0, ba = a, b 2 = b, A 0 = a,b a 2 = a, b 2 = b, ba = 0, B 0 = a,b,c a 2 = a, b 2 = b, ab = ba = 0, ac = cb = c, L = a,b a 2 = ba = 0, ab = a, b 2 = b, R = a,b a 2 = ab = 0, ba = a, b 2 = b, M = a,b,c cb = a, and a other products equa to 0, N = a a 2 = 0.

4 4 W. T. ZHANG AND Y. F. LUO For any non-unita semigroup S, et S 1 denote the monoid obtained by adjoining a unit eement to S. Proposition 2.1. (1) A 1 0 = var{x3 x 2,x 2 yx xyx xyx 2,xyhxty yxhxty, xhytxy xhytyx}; (2) B 1 0 = var{x3 x 2,x 2 yx xyx xyx 2,xyhxty yxhxty,xhytxy xhytyx,x 2 y 2 y 2 x 2 }; (3) L 1 = var{x 3 x 2,xyx x 2 y,x 2 y 2 y 2 x 2 }; (4) R 1 = var{x 3 x 2,xyx yx 2,x 2 y 2 y 2 x 2 }; (5) M 1 = var{x 3 x 2,xyx x 2 y,xyx yx 2 }; (6) N 1 = var{x 3 x 2,xy yx}; For any etters x and y of a word w, write x w y to indicate that within w, each occurrence of x precedes every occurrence of y. In other words, if x w y with p = m(x,w) and q = m(y,w), then retaining ony the etters x and y in w resuts in the word x p y q. Lemma 2.2 ([11, Lemma 1.3]). Suppose that w w is any identity satisfied by the semigroup J 1. Then (1) con(w) = con(w ) and sim(w) = sim(w ); (2) for any x con(w) = con(w ) and y sim(w) = sim(w ), the conditions x w y and x w y are equivaent; (3) w sim = w sim. 3. An identity basis for var{a 1 B 1 } The present section estabishes an identities basis for the variety var{a 1 B 1 }. Theorem 3.1. The variety var{a 1 B 1 } is defined by the identities x 2 x 3, xyx x 2 yx xyx 2, (3.1) xy 2 x (xy) 2 (xy) 2 x yx 2 y (yx) 2, xytxsy (xy) 2 txsy, xt(yx) 2 sy xtyxsy, xtysxy xtys(xy) 2, (3.3) xy 2 1y 2 2 y 2 nx xy 2 1xy 2 2x y 2 nx, n = 2,3,..., (3.4) xytxz 2 1 z 2 ny yxtxz 2 1 z 2 ny, n = 0,1,..., (3.5) xz 2 1 z 2 nytxy xz 2 1 z 2 nytyx, n = 0,1,... (3.6) The proof of Theorem 3.1 is given at the end of the section. Most of the equationa deductions in this artice are deductions within the equationa theory of var{a 1 B 1 }. Therefore, it wi be convenient to refer to the identities in Theorem 3.1 coectivey by S, that is, S = {(3.1),,(3.3),(3.4),(3.5),(3.6)}. For any sets Π 1 and Π 2 of identities, the deduction S Π 1 Π 2 is abbreviated to Π 1 Π 2. For any nonempty set Z = {z 1,...,z r } of etters, the word of the form (z 1 z r ) 2, is said to be the Z-square, in particuar, if z 1,...,z r are in aphabetica order, then it said to be the perfect Z-square. More generay, a square (resp. perfect square) is a Z-square (resp. perfect Z-square) for some nonempty set Z of etters.

5 A NEW EXAMPLE OF LIMIT VARIETY OF APERIODIC MONOIDS 5 Lemma 3.2. Let z be any square. Then the identities S impy the identity where z is the perfect con(z)-square. z z, (3.7) Proof. Without oss of generaity, we may assume that z = (z 1 z r ) 2. Then z = z 1 z i z i+1 z r z 1 z i z i+1 z r (3.5) z 1 z i+1 z i z r z 1 z i z i+1 z r (3.6) z 1 z i+1 z i z r z 1 z i+1 z i z r = (z 1 z i+1 z i z r ) 2. Hence the identities S can be used to permute any etters within z in any manner. Specificay, the identities S can be used to permute any etters within z into aphabetica order, whence z S z. Lemma 3.3. Let z and z be any squares with con(z ) con(z). Then the identities S impy the identity z z z zz. (3.8) Proof. By symmetry, it suffices to prove that z z z. Without oss of generaity, we may assume that t(z ) = z, and z = (z 1 z i zz i+1 z r ) 2. Then zz = zz 1 z i zz i+1 z r z 1 z i zz i+1 z r (3.1) z(z 1 z i ) 2 zz i+1 z r z 1 z i zz i+1 z r (z 1 z i z) 2 z i+1 z r z 1 z i zz i+1 z r (3.1) z 1 z i zz i+1 z r z 1 z i zz i+1 z r = z. It is easiy seen how this procedure can be repeated so that the word z z can be converted to z. Lemma 3.4. Let w be any non-simpe word such that sim(w) =. Then the identities S impy the identity w w, where w = z 1 z p where (1) the words z () 1,...,z() p X + are perfect squares; (2) if con(z () ) con(z () g ) for some < g and,g {1,...,p }, then con(z () ) con(z () g ) con(z () j ) for each j g; (3) con(z () ) con(z () g ) for each g and,g {1,...,p }; Proof. Since each non-simpe etter x in w can be repaced by its square x 2 by appying the identities (3.1), the word w can be written into the form of w = z 1 z p, where the words z 1,...,z p X + are squares. Then by Lemma 3.2 we may assume that the words z 1,...,z p are perfect squares. Hence the condition (CF2a) is satisfied.

6 6 W. T. ZHANG AND Y. F. LUO If z con(z ) con(z g ) for some 1 < g p, then w = z z +1 z g (3.8) z 2 z z +1 z g z 2 (3.4) z 2 z zz +1 z zz g z 2 (3.1) z 2 (zz z)(zz +1 z) (zz g z)z 2 (3.7) z 2 z z +1 z g z 2 (3.8) z z +1 z g where z j is the perfect con(z j ) {z}-square for each j =,...,g. Now if con(z ) con(z g ) =, then by repeating the above processes, each etter in con(z ) con(z g ) canbeputintoz j foreach j g. Hencewemayassumethatcon(z ) con(z g ) con(z j ), and so the condition (CF2b) is satisfied. Suppose that con(z () ) con(z () g ) for some < g. Then con(z () ) con(z () +1 ) by the condition (CF2b). Hence by appying the identities (3.1) and, the identity z () z () +1 z() +1 is hod, and so z() can be deeted from w. Hence we may assume that the condition (CF2c) is satisfied. A word w is said to be in canonica form if n w = w 0 (s i w i ) (3.9) for some n 0 such that the foowing conditions are a satisfied: (I) the etters of s 1,...,s n X + are simpe in w; (II) w 0,w n X and w 1,...,w n 1 X + and for each = 0,1,...,n, w = z () 1 z () p where (a) the words z () 1,...,z() p X + are perfect squares; (b) if con(z () ) con(z () g ) for some < g and,g {1,...,p }, then con(z () ) con(z () g ) con(z () j ) for each j g; (c) con(z () ) con(z () g ) for each g and,g {1,...,p }; (d) if x con(z () 1 ) \ con(z() ) and y con(z () ) \ con(z () 1 ) for some {0,1,...,n} and {1,...,p }, then x,y satisfy neither of the foowing conditions: (i) x con(w g ) and y con(w h ) for some g < h < or < g < h or h < < g; (ii) x,y con(w g ) for some g. An identity u v is canonica if the words u and v are in canonica form. Lemma 3.5. Let w be any word. Then there exists some word w in canonica form such that the identities S impy the identity w w.

7 A NEW EXAMPLE OF LIMIT VARIETY OF APERIODIC MONOIDS 7 Proof. It suffices to convert the word w, using the identities S, into a word in canonica form. It is easy to see that the word w can be written into the form of n w = w 0 (s i w i ) (3.10) where s 1,...,s n X +, w 0,w n X, w 1,...,w n 1 X +, the etters of s 1,...,s n are simpe in w and the etters of w 0,...,w n are non-simpe in w. Hence the condition (CF1) is satisfied. Sinceeachnon-simpeetterx j inw canberepacedbyitssquarex 2 j byappying the identities (3.1), the word w can be written into the form of w = z () 1 z () p, where the words z () 1,...,z() p X + are squares. The identities (3.5) and (3.6) can be appied to aphabeticay order the etters in each of z () 1,...,z() p, and so we may assume that the words z () 1,...,z() p are perfect squares. Hence the condition (CF2a) is satisfied. If z con(z () ) con(z () g ) for some < g and,g {1,...,p }, then w = z () z +1 z() g (zz () )z () +1 (z() g z) (3.4) zz () zz () +1 zz() z (3.1) (zz () z)(zz () +1 z) (zz() g z) (zz () ) 2 (zz () () +1 )2 (zz g )2. Hence for each j g, the perfect square z () j square z () j can be repaced by the perfect where con(z () j ) {z} = con(z () j ). Now if con(z () ) con(z () g ) =, then by repeating the above processes, each etter in con(z () ) con(z () g ) can be put into z () j foreach j g. Hence wemayassumethatcon(z () ) con(z () g ) con(z () j ), and so the condition (CF2b) is satisfied. Suppose that con(z () ) con(z () g ) for some < g. Then con(z () ) con(z () +1 ) by the condition (CF2b). Hence by appying the identities (3.1) and, the identity z () z () +1 z() +1 is hod, and so z() can be deeted from w. Hence we may assume that the condition (CF2c) is satisfied. Let x con(z () 1 ) \ con(z() ) and y con(z () ) \ con(z () 1 ) for some {0,1,...,n} and {1,...,p }. Suppose that x,y satisfy one of the conditions (a), (b) and (c) in (CF3). Then since z () 1 z() (z () 1 x)(yz() ) ( ) z () 1 (xy)2 z () ) where ( ) = (3.3) if x,y satisfy the condition (a) or (b), and ( ) = {(3.5),(3.6)} if x,y satisfy the condition (c). Hence in these cases, we may assume that there is a perfect square for the set {x,y} between z () 1 and z(), and so the condition (CF3) is satisfied.

8 8 W. T. ZHANG AND Y. F. LUO Lemma 3.6. The variety var{a 1 B 1 } does not satisfy the foowing identities xy 2 tx xy 2 xtx, (3.11) xty 2 x xtxy 2 x, (3.12) xsxtx xstx, (3.13) xxyy xy 2 x. (3.14) Proof. Let x = e, y = d and t = b in A 1. Then the eft side of (3.11) is ed 2 be = a, but the right side of (3.11) is ed 2 ebe = 0, and so A 1 does not satisfy the identity (3.11). By a dua argument we may show that B 1 does not satisfy the identity (3.12). Let x = e, s = c and t = b in A 1. Then the eft side of (3.13) is ecebe = 0, but the right side of (3.13) is ecbe = 0, and so A 1 does not satisfy the identity (3.13). Let x = e and y = d in A 1. Then the eft side of (3.14) is e 2 d 2 = c, but the right side of (3.14) is d 2 e 2 = 0, and so A 1 does not satisfy the identity (3.14). For any word w, et F SS (w) denote the set of factors of w of ength two that are formed by simpe etters: F SS (w) = {xy X 2 w X xyx, x,y sim(w)}. For exampe, if w = x 3 abcyxdy 2 efx, then F SS (w) = {ab,bc,ef}. Lemma 3.7. Suppose that w w is any identity satisfied by the semigroup S. Then (1) con(w) = con(w ) and sim(w) = sim(w ); (2) F SS (w) = F SS (w ); (3) w sim = w sim. Proof. (1) and (3) foow from Lemma 2.2 since the subsemigroup {0,1,b,d} of A 1 is isomorphic to J 1. (2) foows from Lemma 1.10 of [11] since the variety var{a 1 B 1 } does not satisfy the identity (3.13). For the remainder of this section, suppose that w w is any identity satisfied by the variety var{a 1 B 1 }, where the words n w = w 0 (s i w i ) and w = w 0 (s i w i ) (3.15) are in canonica form. It foows from Lemma 3.7 that n = n and s = s for each = 0,...,n. The remainder of this section is devoted to the verification w = w for each = 0,...,n. Lemma 3.8. con(w ) = con(w ). Proof. Suppose that x con(w )\con(w ). Since the varietyvar{a1 B 1 } satisfies the identity w w, it is easy to see that the variety var{a 1 B 1 } satisfies the identity awb aw b where a b and a,b con(w) = con(w ). Then xsxtx (3.1) x(awb) {s,t,x} x x(aw b) {s,t,x} x (3.1) xstx,

9 A NEW EXAMPLE OF LIMIT VARIETY OF APERIODIC MONOIDS 9 where s con(s ) if 1 and s = a if = 1, and t con(s +1 ) if < n and t = b if = n. But this impies that the semigroup S satisfies the identity (3.13), contradicting Lemma 3.6. Hence con(w ) = con(w ). Lemma 3.9. If for each x,y con(w ) = con(w ), the condition x w y if and ony if x w y (3.16) is satisfied by the identity w w, then w = w. Proof. Without oss of generaity, we may assume that w = z 1 z p and w = z 1 z p. First we may show that ( ) if z i is a perfect square factor of w, then z i aso is a perfect square factor of w. Suppose that con(z i ) is not any subset of con(z g) for g = 1,...,p. Since con(w ) = con(w ) by Lemma 3.8, without oss of generaity, we may assume that con(z ) con(z g) con(z i ) for some 1 < g p. By the condition (CF2c), et x con(z ) \con(z +1 ) and y con(z g)\con(z ). It foows from (CF2b) that x con(z +1 z g z p ) and y con(z 1 z ), that is x w y. But x w y since x,y con(z i ), which contradicts the assumption. Therefore, we may assume that con(z i ) con(z g) for some g = 1,...,p. Suppose that con(z i ) con(z g ). Without oss of generaity, we may assume that z con(z g)\con(z i ). Then z con(z 1 z i 1 z i+1 z p ) by Lemma 3.8 and z con(z 1 z i 1 ) con(z i+1 z p ) by the condition (CF2b). Hence by symmetry, we may assume that z con(z 1 z i 1 ) \ con(z i+1 z p ), in particuar, say z con(z ) \con(z +1 z i 1 ) for some < i. Since z w x for each x con(z i ) con(z g), it foows from the assumption that x con(z 1 z ). Hence con(z i ) con(z 1 z ). Now it foows from the condition (CF2b) that con(z i ) con(z ), which contradicts the condition (CF2c). Hence con(z i ) = con(z g). Now by the definition of perfect square it is easy to see that z i = z g and so ( ) hods. The converse of ( ) aso hods by symmetry. It then foows that z i is a perfect square factor of w if and ony if z i aso is a perfect square factor of w. Hence it foows from the conditions (CF2) that p = p and {z 1,...,z p } = {z 1,...,z p }. Suppose that the occurrence of z i+1 precedes the occurrence of z i in w. By the condition (CF2c), et x con(z i )\con(z i+1 ) and y con(z i+1 )\con(z i ). Then x w y, but x w y, which contradicts the assumption. Hence the order of occurrence of {z 1,...,z p } in w is the same as the order of occurrence of {z 1,...,z p } in w. Therefore w = w. Lemma For each x,y con(w ) = con(w ), if x w y, then x w y. Proof. Let w = z 1 z p. Seeing a contradiction, we may assume that (a) x con(z ) \ con(z +1 z p ) and y con(z g ) \ con(z 1 z g 1 ) for some 1 < g p; (b) for each z con(z +1 z g 1 ), if x w z, then x w z; (c) for each z con(z +1 z g 1 ), if z w y, then z w y; (d) x w y, that is, there exist some x occur after some y in w.

10 10 W. T. ZHANG AND Y. F. LUO There are three cases to consider. Case 1. y con(w 0 w 1 ) and x con(w +1 w n ). Then x 2 y 2 (3.1) xw {x,y} xw {x,y} xy 2 x, but this impies that the variety var{a 1 B 1 } satisfies the identity (3.14), contradicting Lemma 3.6. Case 2. x con(w +1 w n ), say x con(w h ) \ con(w +1 w h 1 ) for some h > and et t be a simpe etter in s h g = + 1. Then y con(z 1 z ) by (CF2b) and (a), and so by (CF3), y con(w 0 w 1 w h w n ). Hence it foows from Lemma 3.8 that xy 2 tx (3.1) xw {x,y,t} xw {x,y,t} (3.1), xy 2 xtx, but this impies that the variety var{a 1 B 1 } satisfies the identity (3.11), contradicting Lemma g > + 1. Then by (CF2c), there exist a etter z such that z con(z +1 ) \ con(z ), and so z con(z 1 z ) by (CF2b). Suppose that z con(z g ). Then z con(z g z p ) by (CF2b). Hence it is easy to see that x w z w y. Since x w z, it foows from the assumption (b) that x w z. Since some x occur after some y in w by (d), w = y x z, that is some y occur before some z in w. Hence z w y, which contradicts the assumption (c). Therefore z con(z g ). It foows from the condition (CF2c) that thereexists aetter s z such that s con(z g 1 )\con(z g ), and sos con(z g z p ) by (CF2b). Hence it is easy to show that x w z and s w y. It foows from the assumptions (b) and (c) that x w z and s w y. Since some x occur after some y in w by (d), it foows that s w z. If s con(w +1 w h 1 ), say s con(w q ) \ con(w +1 w q 1 ) for some < q < h, then since s con(z g 1 ) con(w q ) and y con(z g ) \ con(z 1 z g 1 ), it foows from (CF3) that y con(w 0 w 1 w q w h w n ). Hence it foows from Lemma 3.8 that xy 2 tx (3.1) xw {x,y,t} xw {x,y,t} (3.1), xy 2 xtx but this impies that the variety var{a 1 B 1 } satisfies the identity (3.11), contradicting Lemma 3.6. Ifs con(w +1 w h 1 ), thens con(w +1 w h 1 )bylemma3.8. Sincex con(z ) con(w h ) and z con(z +1 )\con(z 1 z ), it foows from (CF3) that z con(w 0 w 1 w h w n ), and so z con(w 0 w 1 w h w n) by Lemma 3.8. It foows that sz 2 sts (3.1) w {z,t,s} s w {z,t,s} s (3.1), s 2 z 2 ts, but this impies that the variety var{a 1 B 1 } satisfies the identity (3.11), contradicting Lemma 3.6. Case 3. y con(w 0 w 1 ). By arguments that are dua to Case 2 we may show that the variety var{a 1 B 1 } satisfies either the identity (3.14) or the identity (3.12), contradicting Lemma 3.6.

11 A NEW EXAMPLE OF LIMIT VARIETY OF APERIODIC MONOIDS 11 Proof of Theorem 3.1. It is routine to verify that the identities S hod in semigroups A 1 and A 1 so that the variety var{a 1 B 1 } satisfies the identities S. It remains to show that any identity w w of the variety var{a 1 B 1 } is a consequence of the identities S. In the presence of Lemma 3.5, it suffices to assume that the identity w w is canonica. Without oss of generaity, we may assume that w and w are in the form of (3.15), and n = n and s = s for each = 0,...,n. By Lemma 3.10 and its dua, it is easy to see that the condition (3.16) is satisfied by the identity w w. Hence it foows from Lemma 3.9 that w = w for each = 0,...,n. Thus the identity w w is trivia and so is vacuousy a consequence of the identities S. 4. Monoid subvarieties of var{a 1 B 1 } In this section, a monoid subvarieties of var{a 1 B 1 } wi be characterized and the monoid subvariety attice of var{a 1 B 1 } wi be competey described. For convenience, the monoid subvariety of var{a 1 B 1 } defined by Π is denoted by var M {Π}. Lemma 4.1. Let w w be any identity in canonica form where 1 n n w = w 0 (s i w i ) s z 1 z p (s i w i ) and w = w 0 (s i w i }{{} ) i=+1 w and con(w i ) = con(w i ) for each i = 0,1,...,n. Suppose that x and y are nonsimpe etters of con(w ) = con(w ) such that (a) x w y, say x con(z )\con(z +1 z p ) and y con(z g )\con(z 1 z g 1 ) for some 1 < g p; (b) for each z con(z +1 z g 1 ), if x w z, then x w z; (c) for each z con(z +1 z g 1 ), if z w y, then z w y; (d) x w y. Then where w equa either var M {w w } = var M {w w,λ} 1 w 0 (s i w i ) s z 1 z z g 1 (xy) 2 z g z p }{{} w or 1 w 0 (s i w i ) s z 1 z (xy) 2 z +1 z g z p }{{} w and Λ is some subset of {(3.11),(3.12),(3.13)}. n i=+1 n i=+1 (s i w i ) (s i w i ) Proof. There are three cases to consider. Case 1. y con(w 0 w 1 ) and x con(w +1 w n ). Then by Case 1 of Lemma 3.10 that w w (3.14). Therefore var M {w w } = var M {(3.14),w w }. (4.1)

12 12 W. T. ZHANG AND Y. F. LUO Now the deduction (3.14) w w hods since w = w 0 1 (s iw i ) s z 1 z z +1 z g 1 z g z p i=+1 (s iz i ) 1 (s iw i ) s z 1 (z x 2 )z +1 z g 1 (y 2 z g ) z p i=+1 (s iz i ) (3.14) 1 (s iw i ) s z 1 z xz +1 x xz g 1 xy 2 xz g z p i=+1 (s iz i ) 1 (s iw i ) s z 1 z xz +1 x xz g 1 (xy) 2 z g z p i=+1 (s iz i ) (3.14) 1 (s iw i ) s z 1 z x 2 z +1 z g 1 (xy) 2 z g z p i=+1 (s iz i ) 1 (s iw i ) s z 1 z z +1 z g 1 (xy) 2 z g z p i=+1 (s iz i ) = w. It foows from (4.1) that var M {w w } = var M {(3.14),w w }. Case 2. x con(w +1 w n ). Then by Case 2 of Lemma 3.10 that w w (3.11). Therefore var M {w w } = var M {(3.11),w w }. (4.2) Now the deduction (3.11) w w hods since w = w 0 1 (s iw i ) s z 1 z z +1 z g 1 z g z p i=+1 (s iz i ) 1 (s iw i ) s z 1 (z x 2 )z +1 z g 1 (y 2 z g ) z p i=+1 (s iz i ) (3.14) 1 (s iw i ) s z 1 z xz +1 x xz g 1 xy 2 xz g z p i=+1 (s iz i ) 1 (s iw i ) s z 1 z xz +1 x xz g 1 (xy) 2 z g z p i=+1 (s iz i ) (3.14) 1 (s iw i ) s z 1 z x 2 z +1 z g 1 (xy) 2 z g z p i=+1 (s iz i ) 1 (s iw i ) s z 1 z z +1 (xy) 2 z g z p i=+1 (s iz i ) = w. It foows from (4.2) that var M {w w } = var M {(3.11),w w }. Case 3. y con(w 0 w 1 ). Then by Case 3 of Lemma 3.10 that w w (3.12). Therefore var M {w w } = var M {(3.12),w w }. (4.3)

13 A NEW EXAMPLE OF LIMIT VARIETY OF APERIODIC MONOIDS 13 Now the deduction (3.12) w w hods since w = w 0 1 (s iw i ) s z 1 z z +1 z g 1 z g z p i=+1 (s iz i ) 1 (s iw i ) s z 1 (z x 2 )z +1 z g 1 (y 2 z g ) z p i=+1 (s iz i ) (3.14) 1 (s iw i ) s z 1 z yx 2 yz +1 y yz g 1 yz g z p i=+1 (s iz i ) 1 (s iw i ) s z 1 z (xy) 2 z +1 y yz g 1 yz g z p i=+1 (s iz i ) (3.14) 1 (s iw i ) s z 1 z (xy) 2 z +1 z g 1 y 2 z g z p i=+1 (s iz i ) 1 (s iw i ) s z 1 z (xy) 2 z +1 z g 1 z g z p i=+1 (s iz i ) = w. It foows from (4.3) that var M {w w } = var M {(3.12),w w }. Lemma 4.2. Let w w be any identity in canonica form where n n w = w 0 (s i w i ) and w = w 0 (s i w i ) and con(w i ) = con(w i ) for each i = 0,1,...,n. Suppose that w w does not satisfy the condition (3.16). Then var M {w w } = var M {Λ} for some set Λ of identities from {(3.11),(3.12),(3.13)}. Proof. Since w w does not satisfy the condition (3.16), there must exist etters x,y con(w ) = con(w )forsomesuchthatxandy satisfytheconditions(1)-(4) of Lemma 3.10 or its dua conditions. First if there exist some x 1 and y 1 satisfy the conditions (1)-(4) in w. Then by Lemma 3.10, the identities {(3.11),(3.12),(3.13)} can be used to convert w w into w (1) w such that (1) x 1 w y 1 and x 1 w (1) y 1 ; (2) if x 1 w z (resp. z w y 1 ) for any z con(w), then x 1 (1) w y 1 ); z w (1) (3) z w t if and ony if z w (1) t for each z,t con(w)\{x 1,y 1 }. z (resp. whence var M {w w } = var M {w (1) w,λ (1) } for some set Λ (1) of identities from {(3.11),(3.12),(3.13)}. Now if there sti exist etters x 2,y 2 in w (1) w such that x 2,y 2 does not satisfy the conditions (1)-(4) in w (1), then the above procedure can be repeated to construct an identity w (2) w and some subset Λ (2) {(3.11),(3.12),(3.13)}. The construction of w (1) w,w (2) w,... and Λ (1),Λ (2),... cannot continue indefinitey since that is bounded above by C 2 con(w). This procedure can be repeated to obtain an identity w w that satisfies the property for any = 0,1,...,n, x,y con(w ), if x w y, then x w y. (4.4) Hence var M {w w } = var M {w w,λ}.

14 14 W. T. ZHANG AND Y. F. LUO Nowifthereexistettersxandy satisfytheconditions(1)-(4)inw oflemma3.10, then by the same arguments to w, we can construct an identity w w that satisfies the property for any = 0,1,...,n, x,y con(w ), if x w y, then x w y. (4.5) Hence S{w w } = S{w w,λ}. Since w w satisfies the conditions (4.4) and (4.5), by Lemma 3.9 that w w is the trivia identity, and so var M {w w } = var M {Λ}. Lemma 4.3. Let w w be any identity in canonica form where n n w = w 0 (s i w i ) and w = w 0 (s i w i). If con(w i ) = con(w i ) for some i = 1,...,n, then w w (3.13). Proof. It foows from the proof of Lemma 3.8. Lemma 4.4. Let w w be any identity. (1) If either con(w) con(w ) or sim(w) sim(w ), then w w x 2 x (3.13); (2) If F SS (w) F SS (w ), then w w (3.13); (3) If w sim w sim, then w w (3.13). Proof. (1) If w w satisfy either con(w) con(w ) or sim(w) = sim(w ), then monoid N2 1 does not in the variety var M {A 1 B 1 }. It foows from Lemma 1.9 of [11], that w w y 2 xy 2 xy 2 xy 2 y 2 xy 2 x 2 x (3.13) (2) It foows from the proof of (2) of Lemma 3.7. (3) If w sim w sim, then we can derive some identity w w from w w by deeting some etters in con(w) con(w ), such that F SS (w) F SS (w ). Then it foows from (2) that w w (3.13). Theorem 4.5. The subvariety attice of var M {A 1 B 1 } is as shown in Figure 1. Proof. Let w w be any nontrivia identity in canonica form where n w = w 0 (s i w i ) and w = w 0 (s iw i). If w w does not satisfy one of the foowing conditions: (a) con(w) = con(w ) and sim(w) = sim(w ); (b) F SS (w) = F SS ; (c) w sim = w sim ; (d) con(w i ) = con(w i ), then w w (3.13). Hence each subvariety that does not satisfy one of the conditions (a)-(d) is contained in the variety var M S {(3.13)}). It is easy to see that the variety var M S {(3.13)} is just the variety var M {A 1 0} and its subvariety attice can be found in [8]. If w w satisfy a of the conditions (a)-(d), then since w w is nontrivia, it foows that w w for some = 0,...,n. Now it foows from Lemma 4.2 that var M {w w } = var M {Λ} n

15 A NEW EXAMPLE OF LIMIT VARIETY OF APERIODIC MONOIDS 15 for some set Λ of identities from {(3.11),(3.12),(3.13)}. It is easy to show that (3.14) (3.11), (3.14) (3.12), (3.13) (3.11), (3.13) (3.12). It foows from Proposition 4.3 of [10] that var M {S {(3.14)}} = Q 1. Ceary, the variety var M S {(3.13)} = var M {A 1 0} and var M S {(3.14)} = var M {Q 1 } are incomparabe. It is routine to verify that var M {A 1 } satisfy the identity (3.12) but not (3.11), and var M {A 1 ) satisfy the identity (3.11) but not (3.12), and the variety var M S {(3.11)}andvar M S {(3.12)}areincomparabe. Hencevar M S {(3.12)} = var M {A 1 } andvar M S {(3.11)} = var M {B 1 }, which arethe maximapropermonoid subvarietiesofvar M {A 1 B 1 }. Hencethemonoidsubvarietyatticeofvar M {A 1 B 1 } is as shown in Figure 1. var M {A 1 B 1 } var M {A 1 } var M {B 1 } var M {A 1 } var M {B 1 } var M {A 1 0 } var M{Q 1 } var M {B0 1} var M {L 1 } var M {R 1 } var M {M 1 } var M {N 1 } var M {S} var M {T} Figure 1. The monoid subvariety attice var M {A 1 B 1 } Acnowedgments The authors woud ie to express their gratitude to Dr E. W. H. Lee for his comments and heps. References [1] S. Burris and H. P. Sanappanavar, A Course in Universa Agebra, Springer Verag, New Yor, [2] M. Jacson, Finite semigroups whose varieties have uncountaby many subvarieties, J. Agebra 228 (2000) [3] M. Jacson, Finiteness properties of varieties and the restriction to finite agebras, Semigroup Forum 70 (2005) [4] E. I. Keiman, Bases of identities of varieties of inverse semigroups, Siberian Math. J. 20 (1979) ; transation of Sibirs. Mat. Zh. 20 (1979)

16 16 W. T. ZHANG AND Y. F. LUO [5] P.A.Kozhevniov, Varieties of groups of prime exponent and identities with high powers. Candidate of Sciences dissertation, Moscow State University (2000) (in Russian) [6] A. N. Krasiniov, A non-finitey based variety of centre-by-abeian-bynipotent groups of exponent 8, J. London Math. Soc. 68 (2003), 371C382. [7] R. L. Kruse, Identities satisfied by a finite ring, J. Agebra 26 (1973) [8] E. W. H. Lee, On the variety generated by some monoid of order five, Acta Scientiarum Mathematicarum 74 (2008) [9] E. W. H. Lee, A cass of finite semigroups without irredundant bases of identities, manuscript. [10] E. W. H. Lee and J. R. Li, Minima non-finitey based monoids, Dissertationes Math. (Rozprawy Mat.) 475 (2011), 65 pp. [11] E. W. H. Lee and W. T. Zhang, Finite basis probem for semigroups of order six, LMS J. of Comp. and Math., 18 (1) (2015), 1C-129. [12] M. Petrich and N. R. Reiy, Competey reguar semigroups, Wiey & Sons, New Yor, [13] L. N. Shevrin and M. V. Voov, Identities of semigroups, Soviet Math. (Iz. VUZ) 29(11) (1985) 1 64; transation of Izv. Vyssh. Uchebn. Zaved. Mat. 1985(11) [14] M. V. Voov, Finite basis theorem for systems of semigroup identities, Semigroup Forum 28 (1984) [15] M. V. Voov, The finite basis probem for finite semigroups, Sci. Math. Jpn. 53 (2001), [16] W. T. Zhang, Existence of a new imit variety of aperiodic monoids, Semigroup Forum 86 (2013) [17] W. T. Zhang, Y. F. Luo, A sufficient condition under which a semigroup is nonfinitey based, Bu. Aust. Math. Soc 93 (2016) Schoo of Mathematics and Statistics, Lanzhou University, Lanzhou, Gansu , Peope s Repubic of China; Key Laboratory of Appied Mathematics and Compex Systems, Gansu Province E-mai address: zhangwt@zu.edu.cn E-mai address: uoyf@zu.edu.cn