{"entities":{"Q1421814":{"pageid":1432554,"ns":120,"title":"Item:Q1421814","lastrevid":67407732,"modified":"2026-04-12T17:25:25Z","type":"item","id":"Q1421814","labels":{"en":{"language":"en","value":"Growth, unavoidable words, and M. Sapir's conjecture for semigroup varieties."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2037100"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1421814$FBB1069C-0A6E-4B13-81DE-779BE9CA120F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f88f0a7ec53269b8cdcfe197b15ffbe13e984d99","datavalue":{"value":{"text":"Growth, unavoidable words, and M. Sapir's conjecture for semigroup varieties.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1421814$07F4E2E9-A56E-4DA5-807B-9A19B9E3A4A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14ae04b5ede198805f078002d9b8dc1a2aee3862","datavalue":{"value":"1039.20034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1421814$4115410B-FC45-402B-9413-F73BD2B5661C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1421814$F9DAFCA6-73BC-4AE3-91A7-E4ECC441DF16","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90f9531aea2ff67f2ad60a47f2412a1f7827bd33","datavalue":{"value":{"time":"+2004-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1421814$08D468BB-F515-402B-AB19-6CF565CD2B5F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8b590e5ae61ecd7971c8b51c14c9acf6eea5f634","datavalue":{"value":"Let \\(u_1,u_2,\\dots,u_n,\\dots\\) be a countable set of variables. Put \\(Z_1\\equiv u_1\\) and \\(Z_{n+1}\\equiv Z_nu_{n+1}Z_n\\) for any integer \\(n>1\\). In 1993, M.~Sapir posed the conjecture that if a nonperiodic semigroup variety \\(\\mathcal R\\) satisfies a nontrivial identity of the type \\(Z_n=W\\) for some \\(n>1\\) then every finitely generated semigroup in \\(\\mathcal R\\) has subexponential growth. The main result of the article under review (Theorem 1.1) states that the conjecture is true.  An infinite word \\(W\\) is called uniformly recurrent if for every finite subword \\(U\\) of \\(W\\) there exists a number \\(N\\) such that every subword of \\(W\\) of length \\(N\\) contains \\(U\\) as a subword. Let \\(S\\) be a semigroup with a finite set \\(X\\) of generators and \\(X^+\\) the free semigroup over \\(X\\). Let \\(\\preceq\\) denote the lexicographic order in \\(X^+\\). The word \\(U\\in X^+\\) is called shortlex reduced relative to a semigroup \\(S\\) if for any word \\(V\\in X^+\\) such that \\(U=V\\) in \\(S\\), we have \\(\\ell(U)\\leq \\ell(V)\\) and if \\(\\ell(U)=\\ell(V)\\) then \\(U\\preceq V\\) in \\(X^+\\) (where \\(\\ell(W)\\) denotes the length of the word \\(W\\)). An infinite word \\(\\omega\\) is called shortlex reduced relative to \\(S\\) if any finite subword of \\(\\omega\\) is. The second result of the article (Theorem 1.2) states that if a nonperiodic semigroup variety \\(\\mathcal R\\) satisfies a nontrivial identity of the type \\(Z_n= W\\) for some \\(n>1\\) and \\(S\\) is a finitely generated semigroup from \\(\\mathcal R\\) then every infinite word which is uniformly recurrent and shortlex reduced relative to \\(S\\) is periodic and the length of this period is bounded above by some constant depending only on \\(n\\) and on the number of generators of \\(S\\). As applications of these results, the author constructs examples of semigroup varieties for which every noncyclic relatively free semigroup has intermediate growth and gives examples of relatively free semigroups of intermediate growth with superdimension 1.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1421814$85CC35F2-269D-4220-9B29-D0798B03CDC7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1421814$8A294BB4-3C93-4AC3-BCEA-399997E5137A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1421814$429E6F3A-53AE-41F1-84B2-F6D4BEC6AB34","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7dc1b02893452f84c80a729f85129453e91cf63a","datavalue":{"value":"2037100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1421814$8ACDE84B-2E01-4355-9A00-0F66E09DA68C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af5c860cc65476bdb5abdf5be59ac85eccd0bdf6","datavalue":{"value":"varieties of semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1421814$BC7CE7A7-2D61-4463-83F6-2E08F5A8ED86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"584d92a68940c6f66942d60e46643e0a17ac2fd1","datavalue":{"value":"growth of semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1421814$A4768D3A-8F39-44F1-8AA9-38612F1FBD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a0a9cdb4803d572401c783668d9174caf5abb2c","datavalue":{"value":"subexponential growth, intermediate growth","type":"string"},"datatype":"string"},"type":"statement","id":"Q1421814$5980D500-3394-4D1B-BA3A-56D625205079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d5e827c1785b1d4ee2a89cebb212ebe2ed1db18","datavalue":{"value":"Zimin's sequence, unavoidable words","type":"string"},"datatype":"string"},"type":"statement","id":"Q1421814$82A06EDD-571E-4848-9270-6CD32E8968B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f53e2ace07ab1897e003a3d6534bb4f95832321","datavalue":{"value":"relatively free semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1421814$D707C4A9-4ABB-491C-BF7C-D7029974DEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9b7250a59465b4382a326c04c48e2d36c628994","datavalue":{"value":"superdimension of semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1421814$97BCDDD0-A721-4005-875D-B8A4B4DA8963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5162d8b925d2b5040b3dc6192a46e8658eb04bb","datavalue":{"value":"finitely generated semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1421814$5DF8D3A3-D940-4B59-969A-20583574FF7D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6267951c6cbe1cb88cc9b57ba2b4547ce7dcbd7","datavalue":{"value":{"entity-type":"item","numeric-id":161701,"id":"Q161701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1421814$D2BE3770-AFD0-4EAF-8111-203AB848604D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"b14ac833afc72247aace02692250d7eb69a8515e","datavalue":{"value":{"entity-type":"item","numeric-id":312201,"id":"Q312201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1421814$0D11EB68-C93A-45F7-A9CD-7C241C3F7D0D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a8b61737111ff268926582381c18ce9170bc9104","datavalue":{"value":"Q123300432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1421814$28838F77-F3AB-4AF6-80A3-E43C043EBF92","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1421814$0D5760EC-A266-4930-951E-14C17DE1D7B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"04810ac23cf65bbfd587e1a409244800bd42ad0f","datavalue":{"value":"https://doi.org/10.1016/j.jalgebra.2003.09.021","type":"string"},"datatype":"url"},"type":"statement","id":"Q1421814$331264F4-490F-4133-924F-F1D303D38F4F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a396177c94115e0f9bd9a18ac619a88825256ce","datavalue":{"value":"W2085217910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1421814$57C6992C-915F-48B0-9B88-6A37A0AD7558","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c7183512e2829a55f36b5e7ad58903f071c8748","datavalue":{"value":{"entity-type":"item","numeric-id":1137038,"id":"Q1137038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1421814$C3C37F8E-9D92-4B82-AFAA-27A59D8FD025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ac228e0a8acb953c0ce04885ae6edc96ddec5c","datavalue":{"value":{"entity-type":"item","numeric-id":908709,"id":"Q908709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1421814$AE0F6606-D0BB-4F4E-84B6-C3D542AD316B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd2d103acfafa20eefbb7865cc562924fe60fd56","datavalue":{"value":{"entity-type":"item","numeric-id":1217881,"id":"Q1217881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1421814$88372529-193A-4AFB-A54A-19C79D2BDE61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9995fcf574923026db62022a0bb2d71442bcab1b","datavalue":{"value":{"entity-type":"item","numeric-id":3937604,"id":"Q3937604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1421814$C90E0CB7-4E05-46F9-9904-6E16AED52064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4cacdfb749db4927d995d773c934bd80d94e1a7","datavalue":{"value":{"entity-type":"item","numeric-id":4863940,"id":"Q4863940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1421814$8B7F66BD-1635-4880-A0A4-9D6936DC4AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7d746dc5cfc934a3aab082da01f7858276b3119","datavalue":{"value":{"entity-type":"item","numeric-id":3259716,"id":"Q3259716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1421814$F032DA83-7A52-4DA4-98B5-5A39C76F6569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59f60764865641217d564887c22fdd45b8531bb7","datavalue":{"value":{"entity-type":"item","numeric-id":3948608,"id":"Q3948608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1421814$B1E092E3-D426-4153-895B-6DDBB36DD849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bec8875edd74561cc5d1cd17aba7a5796ac3ffcd","datavalue":{"value":{"entity-type":"item","numeric-id":3789786,"id":"Q3789786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1421814$ADFF9091-3396-4B2F-9872-7A1523248A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa94da7a38eb1c30769d24f1992993a3801852d9","datavalue":{"value":{"entity-type":"item","numeric-id":3362125,"id":"Q3362125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1421814$B40B268B-F6DB-4572-81D0-A9D0FDC4DDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ef0c6b2dcfd6c767ebd89e2aa4c971042f97398","datavalue":{"value":{"entity-type":"item","numeric-id":4942280,"id":"Q4942280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1421814$AB26136F-3A29-47BC-B120-F1C3A6EB1A77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6926e2db2b59b48d3a5cef487d5aca35680f0cc5","datavalue":{"value":{"entity-type":"item","numeric-id":5925842,"id":"Q5925842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1421814$323AEF26-CC97-41ED-A120-6D5F042E9377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec8142c2a30f5a4743eb653e796803d6c6d6a202","datavalue":{"value":{"entity-type":"item","numeric-id":3483461,"id":"Q3483461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1421814$79D66411-2955-4510-A113-31C100DF6EE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96888b19aa99f66102d1bef5488858132a5120d2","datavalue":{"value":{"entity-type":"item","numeric-id":4285348,"id":"Q4285348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1421814$F091A4F9-2F99-47EA-A1F9-AD97026A54EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"63167688743c404a11111a20e1df161fe7a9f7e0","datavalue":{"value":"10.1016/J.JALGEBRA.2003.09.021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1421814$AF12E6E0-64ED-48CC-87CD-661B66A66C62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"742d43a4e2957495da3a3571b00824cf0025d019","datavalue":{"value":{"entity-type":"item","numeric-id":952539,"id":"Q952539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9fc6d1d67f8a67ea8c62f3be7d971891cac7592","datavalue":{"value":{"amount":"+0.8410086631774902","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1421814$2FE5B0AE-667E-4EAD-A5EE-34C42292C505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d97371d866a55886a2a394a96a1286528af5257c","datavalue":{"value":{"entity-type":"item","numeric-id":1345736,"id":"Q1345736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7249cbbd1cdf45321d608fb523a048a38b123704","datavalue":{"value":{"amount":"+0.8268460035324097","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1421814$E90F52D8-32B2-4116-804F-E87666F28431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9679d3f597da7ea597616407f090fcc073d3ec1","datavalue":{"value":{"entity-type":"item","numeric-id":4942280,"id":"Q4942280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8947e61b91ac206234b29958dd442bee04d00e15","datavalue":{"value":{"amount":"+0.8219638466835022","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1421814$B30DBA9E-1980-4E2F-B31B-AD26500F80CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a878f0ffb0e3cf8695e6e44c593e7a573a67d039","datavalue":{"value":{"entity-type":"item","numeric-id":3994320,"id":"Q3994320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7cdcebadec1b3cabc8e72d3483f492b374c5ed4","datavalue":{"value":{"amount":"+0.821823239326477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1421814$40D20125-2B90-4AB1-BD9A-77ABBA1EC6AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"160ce150e2e0357dd23fb2ae0809187d366cf666","datavalue":{"value":{"entity-type":"item","numeric-id":1192777,"id":"Q1192777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0130c3c27fcf43ae11dfe000141d9b3551554b5d","datavalue":{"value":{"amount":"+0.7996886968612671","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1421814$842BB060-91D9-4558-8B2E-3DECB1DA3B35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Growth, unavoidable words, and M. Sapir's conjecture for semigroup varieties.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Growth,_unavoidable_words,_and_M._Sapir%27s_conjecture_for_semigroup_varieties."}}}}}