{"entities":{"Q2276995":{"pageid":2287738,"ns":120,"title":"Item:Q2276995","lastrevid":49478014,"modified":"2026-01-07T05:39:54Z","type":"item","id":"Q2276995","labels":{"en":{"language":"en","value":"Implicit operations on finite \\({\\mathcal J}\\)-trivial semigroups and a conjecture of I. Simon"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4193760"}},"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":"Q2276995$C4B7D35C-5B8C-453E-B331-F03A576E0897","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f5ad1a802098ab71dc9325057ed85e46c4d8e05","datavalue":{"value":{"text":"Implicit operations on finite \\({\\mathcal J}\\)-trivial semigroups and a conjecture of I. Simon","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2276995$94A89CF8-D6A7-47B7-904C-90F1976328A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"101ad523f528d35f84e3ecd9be4224ffb4f5b203","datavalue":{"value":"0724.08003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276995$0EA62BE0-32D4-45B2-B710-8EC7D64CE39A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9441997a5f63507780c856663fb323bb9fec59c8","datavalue":{"value":"10.1016/0022-4049(91)90019-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276995$2AE377B4-906F-4364-96DC-F9588A1461E9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276995$60B47781-09A2-43EE-B317-DE3FCD6A65A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2276995$9BE99C68-97FF-420E-BDC3-BB50ED687D0D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"93eb8a0522678e0fc40cb1354a9b0d094e10a021","datavalue":{"value":"The pseudovariety J of finite \\({\\mathcal J}\\)-trivial semigroups and its relationship to piecewise testable languages have been investigated, in particular, by \\textit{H. Straubing} [Semigroup Forum 19, 107-110 (1980; Zbl 0435.20036)] and \\textit{I. Simon} [Autom. Theor. Form. Lang., 2nd GI Conf., Lect. Notes Comput. Sci. 33, 214-222 (1975; Zbl 0316.68034)]. The present paper is devoted to the topological semigroup of n-ary implicit operations on J; among other things, it is shown that this semigroup is generated by the n component projections together with the \\(2^ n-1\\) idempotents. This result implies the countability of the completion of the metric space \\((A^*,d)\\) over a finite alphabet A, where \\(d(u,v)=2^{-r}\\) for the largest integer r such that \\(u,v\\in A^*\\) have the same subwords of length at most r.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276995$17808DA6-BF7F-4A30-B953-EC1BDA77E885","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ce55c35a0130dff40a2e46fd6cbf84198a7e9797","datavalue":{"value":{"entity-type":"item","numeric-id":590016,"id":"Q590016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276995$8870E8DA-54D8-43EE-A703-B58663333FF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276995$11082C82-1396-4D47-A8AA-69D7A8CB4EED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276995$7939BD7D-FF24-4B3C-A656-304AD530B1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"279b1d270e746a57f27f67ee38ec27235f805493","datavalue":{"value":"22A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276995$D0788032-56D0-4A16-B6C4-1D5607AFC37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276995$8BC21E5F-8C6F-48B8-AE52-7FE4960832B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ec72405e57375e5349861313d620c34b7c40397","datavalue":{"value":"4193760","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276995$6F88348B-A371-4986-8536-63A4EFEEF733","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b96cff283cf7bdf3df41e0714fcb4800fd86cfe6","datavalue":{"value":"finite semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276995$2ED98860-1E0D-4A85-9D71-38301856DF5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff02ceced729e08ab97d7c3fec85cf68273bbc1","datavalue":{"value":"metric space over a finite alphabet","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276995$8A615C30-272C-482C-B01D-107FB9590E1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be9f9245631d237dc7f8dc16b8f054c454fd7245","datavalue":{"value":"pseudovariety J of finite \\({\\mathcal J}\\)-trivial semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276995$9F358896-EF0B-4698-A03F-FA54E3D05280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a548329a944d0a891707e22cf642a25cd3a9093c","datavalue":{"value":"piecewise testable languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276995$6286D6B1-4752-4457-A518-5743FD6895CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3bb9bdcf976a8b9ab81bd8a6ca7a561e6d8fb7e","datavalue":{"value":"topological semigroup of n-ary implicit operations on J","type":"string"},"datatype":"string"},"type":"statement","id":"Q2276995$21D6F767-D8BB-43EA-B700-CBAAAEB6E606","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3fbb5b4d72994c03f4984e1d7383de22f762d5ad","datavalue":{"value":"Q123253564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276995$F5B339BA-372D-4E23-8C25-F7384D5E6E20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fc1d31d63a2df647dd98cf320ada5d35f0019b0","datavalue":{"value":{"entity-type":"item","numeric-id":375866,"id":"Q375866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276995$CCCBBDDD-6D94-4677-B7FC-8CEB18BFF3BD","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":"Q2276995$166062C9-DF0F-47E7-9358-FA6CB75E5FA3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"19d62e2c867e1f3c224a89e9d9eb0fa2d98f4d84","datavalue":{"value":{"entity-type":"item","numeric-id":1119673,"id":"Q1119673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276995$531673ED-B722-4710-8A86-C5AE9360AEA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e65f1aee6337ae272409edb725791b24d03767b","datavalue":{"value":{"entity-type":"item","numeric-id":4206797,"id":"Q4206797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276995$9F3D3837-4E81-4542-99EF-020A99A167DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a19ce3ac82a55486f600cd2d3a8f1c064d887777","datavalue":{"value":{"entity-type":"item","numeric-id":3760739,"id":"Q3760739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276995$472DBC14-7721-461F-AC1A-0CE6C423BDAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f8fae0c94dd9fb9e98c7b499f0e924fb9209a6","datavalue":{"value":{"entity-type":"item","numeric-id":1262959,"id":"Q1262959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276995$6D686A37-0FB3-4130-BC64-3FCAB466BE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276995$09BB35F1-3CB1-4329-8C1F-3AB5EE3CC6FC","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":"Q2276995$547AB307-7EAD-4CFA-97B8-071C133261C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed68160731cf55d219ba94647825683328472c30","datavalue":{"value":{"entity-type":"item","numeric-id":3769981,"id":"Q3769981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276995$D35085A5-9090-45B3-B3A2-432687C87C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36443093769a6cbdb09ed8569ecd63f4d20d7725","datavalue":{"value":{"entity-type":"item","numeric-id":1163585,"id":"Q1163585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276995$C739542B-6052-409E-9DA4-1EDD0EFC72B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c71bf5594d80706e33dcbc13841c2d147bc380","datavalue":{"value":{"entity-type":"item","numeric-id":4077455,"id":"Q4077455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276995$E34D548A-F230-41D0-ACA2-9AE28E0B548F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afdd39b09089ea801a08f8a3ba5a18beeadcb5dd","datavalue":{"value":{"entity-type":"item","numeric-id":1140165,"id":"Q1140165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276995$20DE684F-2C2B-43C2-87A3-3B3999C5E5BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"761236e2a7a0cf08bf8b3abca6c201c57f5bf3a0","datavalue":{"value":{"entity-type":"item","numeric-id":1111705,"id":"Q1111705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276995$DA2BEAB8-545E-4758-961B-63DDF8E622F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"670ed79a1854f8e502aa938ab4b1645b02a2e895","datavalue":{"value":{"entity-type":"item","numeric-id":5605131,"id":"Q5605131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2276995$924C31BD-D8A4-46C9-840E-E0E9B68CC108","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0b819ca39a2655ac2d7851be3efb5ad29bc1c60","datavalue":{"value":"https://doi.org/10.1016/0022-4049(91)90019-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2276995$116F23E3-5E34-4623-809C-2B112A7B6B07","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d1076b9af69385ce504eb80994d5b4db0f4a172","datavalue":{"value":"W2000856728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2276995$6F8A0143-A2DC-4491-8AAF-AE33AD1BDDEB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe1e486f3ef743a8542883b7fa08d008abcf8bc7","datavalue":{"value":{"entity-type":"item","numeric-id":4296426,"id":"Q4296426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"573f6bc3ee90220b0e414bb53983e51bf3359a4f","datavalue":{"value":{"amount":"+0.7798645496368408","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":"Q2276995$6C7F3A30-7C9D-48B5-B8D8-EDD2825D7597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0433e0638f840e913d859a13f3f005377ae276a","datavalue":{"value":{"entity-type":"item","numeric-id":4658714,"id":"Q4658714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24ee90f1bea7ba7689e4ae9bb9fb45e8c411f9ca","datavalue":{"value":{"amount":"+0.7770079374313354","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":"Q2276995$C9AC8F71-2263-413F-944F-A49947F8D037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b590acabdabc39c46fbfdf1bc40ca8dd7a0df9a3","datavalue":{"value":{"entity-type":"item","numeric-id":4024634,"id":"Q4024634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ae8718be9ae30a296b41c61c8943d51384f8636","datavalue":{"value":{"amount":"+0.77312833070755","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":"Q2276995$EF64843A-8FCE-48D4-9FD2-6EA03F5D63CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8eabe35b43d699bafad6ef568cc38d47140e115","datavalue":{"value":{"entity-type":"item","numeric-id":4271194,"id":"Q4271194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56a53593f0baa74605e6c509093ac7a0ecf46bd4","datavalue":{"value":{"amount":"+0.7703937888145447","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":"Q2276995$E8044277-B0DB-4B0A-8EA7-95BFC0F32BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64db2ef6aa8d50642226ca84f5fd0eabf22ebad1","datavalue":{"value":{"entity-type":"item","numeric-id":4385676,"id":"Q4385676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31f3dd5342143527d52f5f94004b4bcc8f0127de","datavalue":{"value":{"amount":"+0.7703935503959656","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":"Q2276995$803FDBAD-85DF-45B9-8581-91C7D5018601","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2276995","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2276995"}}}}}