{"entities":{"Q1177143":{"pageid":1187892,"ns":120,"title":"Item:Q1177143","lastrevid":66768777,"modified":"2026-04-12T12:43:37Z","type":"item","id":"Q1177143","labels":{"en":{"language":"en","value":"Finiteness and iteration conditions for semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 20004"}},"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":"Q1177143$51621E1D-5646-45C7-8C5B-F9EC91B402AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"67928eb0c5c9d6a94688b449351eb524ce641082","datavalue":{"value":{"text":"Finiteness and iteration conditions for semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1177143$686D3312-7E8C-4504-AB48-5217E234A3B7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5269bd0078919056a950d283d407b8b91b1c5424","datavalue":{"value":"0752.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177143$99583648-BD89-427D-89CB-7554DC9AE708","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"63b372b50e83920abd1d0572031c9d2825cb6f4d","datavalue":{"value":"10.1016/0304-3975(91)90329-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177143$BC532565-6E90-43E1-A57D-2C6A199C8BB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d8417afdf52a28b84ff00c20815e85e1e4e448d","datavalue":{"value":{"entity-type":"item","numeric-id":1165590,"id":"Q1165590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177143$C8F7089A-262D-460C-B1EF-D4FE03C9659A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c52f17c2cd460f5ac810f2c03192e70dd7240742","datavalue":{"value":{"entity-type":"item","numeric-id":213204,"id":"Q213204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177143$456D2117-9335-4551-8EA4-F1825B074DEB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177143$6B8D8B62-1541-4888-B8E1-22867A101721","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1177143$06FB43D9-0E37-499B-96AC-D721560532C8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8be9cf9fecc3e1fc6c48c01374bf98198cd6ba65","datavalue":{"value":"The article investigates iteration conditions of regular and finitely generated semigroups.   Let \\(S\\) be a semigroup and \\(m\\) and \\(n\\) two integers such that \\(m>0\\) and \\(n\\geq 0\\). We say that \\(S\\) verifies the iteration property \\(C(n,m)\\) if the following condition is verified: For any sequence \\(s_ 1,s_ 2,\\dots,s_ m\\) of \\(m\\) elements of \\(S\\) there exists \\(i,j\\) such that \\(1\\leq i\\leq j\\leq m\\) and \\(s_ 1\\dots s_ m=s_ 1\\dots s_{i-1}(s_ i\\dots s_ j)^ n s_{j+1}\\dots s_ m\\). The main result is that if a finitely generated semigroup \\(S\\) satisfies \\(C(2,m)\\) or \\(C(3,m)\\) for a suitable \\(m>0\\) then \\(S\\) is finite.   This result gives a partial answer to a question raised in \\textit{A. Ehrenfeucht}, \\textit{R. Parikh} and \\textit{G. Rozenberg} [SIAM J. Comput. 10, 536-541 (1981; Zbl 0461.68081)].   The result has an important application in the theory of automata and regular languages. It is also associated with solutions of the Burnside problem for semigroups (and groups [\\textit{G. Lallement}, Semigroups and combinatorial applications. Wiley, New York (1979; Zbl 0421.20025)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177143$61069F5D-ABFD-4752-97EF-26B162F214ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177143$B3726451-CC8C-476A-A6D4-BCE70B95275B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"28791b0c3da530ae248300d7d628fd0527e12050","datavalue":{"value":"20004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1177143$130EEA72-A149-48D4-862C-DFD133988E3C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5162d8b925d2b5040b3dc6192a46e8658eb04bb","datavalue":{"value":"finitely generated semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1177143$A3BA33AE-6A71-42C1-93BD-D0DE4AFD9EB7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3859f4276ff033961b0a9f9512659b83adf9ab34","datavalue":{"value":{"entity-type":"item","numeric-id":1251890,"id":"Q1251890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177143$AC153BEF-0023-4645-A633-5829BCD64385","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":"Q1177143$7D0D1A02-0BDE-450D-BB5B-06223E73997A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0130b3ef0214443a39b995b9a0fd268b9f55af9","datavalue":{"value":{"entity-type":"item","numeric-id":2553949,"id":"Q2553949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177143$2E016153-F978-4C0A-B22F-8E9B7AA53D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3486a2205118699eebd830fbed601b19f7b9845e","datavalue":{"value":{"entity-type":"item","numeric-id":5515397,"id":"Q5515397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177143$926A3688-CBBB-4339-AF35-2FC4AB18B9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e053050c5bf6b407e89c08d0ab77b9dc03f0d9fe","datavalue":{"value":{"entity-type":"item","numeric-id":5896192,"id":"Q5896192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177143$5F8A1F27-F43A-4014-9FB1-5811F620EF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4616330ea25014ebea8156ecb856ba422786dab","datavalue":{"value":{"entity-type":"item","numeric-id":1173706,"id":"Q1173706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177143$217C2E9C-9110-466F-A1D2-1859C838C79B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b69a25dadbcf5033c0a83bebdcd00c3a732ee43","datavalue":{"value":{"entity-type":"item","numeric-id":3911423,"id":"Q3911423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177143$BFB455AC-01BD-45F7-8003-68A3323B3328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177143$14630E5C-4914-432F-A1CA-65F11D762643","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":"Q1177143$8854D59E-7FDA-49EF-A4A7-36DCE25C3FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4320c72f5d7bc4233144c8a7fc06bac690cda162","datavalue":{"value":{"entity-type":"item","numeric-id":5809194,"id":"Q5809194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177143$F8604377-8F7D-494F-813E-DE1FE8E1ED7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c89fcecb6410957b316a73b4c0aecb817a2f7f","datavalue":{"value":{"entity-type":"item","numeric-id":1084511,"id":"Q1084511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177143$96AE6E06-9A6B-45F5-9A8C-1CF2E56C9688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e78cd8c807ba26db28f536cff319bb27d85c47b6","datavalue":{"value":{"entity-type":"item","numeric-id":1110344,"id":"Q1110344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177143$493DA0C1-B932-4A2C-BE3E-69C95FDBBBC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b38fd3b62b35402c810caac1f4dc9e06c6e8bddf","datavalue":{"value":{"entity-type":"item","numeric-id":1132979,"id":"Q1132979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177143$59830A1A-6A01-4C0D-9E24-3F04569E93A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe18fdfb882c799d34a7482b763d96a45625e71","datavalue":{"value":{"entity-type":"item","numeric-id":3853827,"id":"Q3853827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177143$72C7CF09-C60E-4BC5-A1CC-75ACA03500D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe2355482dbc37a911cde9b74ab32ffb5b6939f6","datavalue":{"value":{"entity-type":"item","numeric-id":3659988,"id":"Q3659988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177143$5081F652-6C16-4C93-9A84-E292D5A0B23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb94f2b2c398f4c051f812d816854da023516c3f","datavalue":{"value":{"entity-type":"item","numeric-id":797705,"id":"Q797705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177143$F235BD94-5311-4A4B-ACF0-60783A15C88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eab88ad1d96d6aeab889667d7029243f441fe4f5","datavalue":{"value":{"entity-type":"item","numeric-id":1079380,"id":"Q1079380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177143$077D7486-612A-4CA6-A8F8-F1FC29F14826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b175b8fe6b340eb87ba231e284abaf3ed15030c","datavalue":{"value":{"entity-type":"item","numeric-id":3877867,"id":"Q3877867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1177143$6681E2EE-3D34-4EBA-BA89-12C53CC1F268","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3b7b8ae9bad8e632980ec1a4bde1707dbd5cc5b","datavalue":{"value":{"entity-type":"item","numeric-id":4391161,"id":"Q4391161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6610249d7827f65f892b8d5b111a71b9fc3a597","datavalue":{"value":{"amount":"+0.8336176872253418","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":"Q1177143$F2AB1D4F-8F06-453F-88C0-679EC99A30AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"033f8053152fed4cb2e5c997a175d0f89381fc62","datavalue":{"value":{"entity-type":"item","numeric-id":4860538,"id":"Q4860538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d84b83c84c40d3ced8f7b0b64a15fc58a719ec0","datavalue":{"value":{"amount":"+0.8038445115089417","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":"Q1177143$042EE65A-9BEB-4E11-85DA-43CA440CA41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eba205278ec9e6253fa60335ce80412ac4da1be3","datavalue":{"value":{"entity-type":"item","numeric-id":583377,"id":"Q583377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30537021ac3831b7e01c27dd6b4aad7d56db621e","datavalue":{"value":{"amount":"+0.8029557466506958","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":"Q1177143$B1F20C86-B6FE-4271-B9D6-6DE93AA84C12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finiteness and iteration conditions for semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finiteness_and_iteration_conditions_for_semigroups"}}}}}