{"entities":{"Q1111705":{"pageid":1122454,"ns":120,"title":"Item:Q1111705","lastrevid":49221838,"modified":"2026-01-06T19:19:31Z","type":"item","id":"Q1111705","labels":{"en":{"language":"en","value":"Partially ordered finite monoids and a theorem of I. Simon"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4075401"}},"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":"Q1111705$A39A926E-881C-4B5D-8F1A-5BA44EA761A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b01c3dd2e3d29c81bbacf9ec0ea06f44b56b23a","datavalue":{"value":{"text":"Partially ordered finite monoids and a theorem of I. Simon","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1111705$9AC2F384-18F2-417E-9C3E-B348925927F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"366b0e77fccbb1d5866754263489500812605275","datavalue":{"value":"0658.20035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111705$B3CD9BBA-A5A1-4E3C-812D-7CD4057B1AE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"248b47b31f17baccbbc23f8016ad7e49698dee6c","datavalue":{"value":"10.1016/0021-8693(88)90067-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111705$8D9D5D88-F6FB-4942-B67B-134B97045AEE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fb8d4872513e25b3cb2ee4b054caa1dd9caebba","datavalue":{"value":{"entity-type":"item","numeric-id":599181,"id":"Q599181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111705$C049BCAC-A621-4F38-B2B4-5C20C62C219D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fda2b843008097467141f2c2de99a1b410da08e","datavalue":{"value":{"entity-type":"item","numeric-id":685707,"id":"Q685707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111705$D43BEA3B-8DCE-40FD-97C5-758F8BAD1CCD","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":"Q1111705$5D930F88-15FA-4110-8EA2-23D9025E7392","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1111705$73CFEC7F-1DB9-4E45-BC99-99825D8B881D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4ef7a2212176e8517994bfcd96f93b5626f5aa37","datavalue":{"value":"A semigroup S is called \\({\\mathcal J}\\)-trivial if Green's relation \\({\\mathcal J}\\) is the identity on S, and a monoid M is called partially ordered (p.o.) if M admits a partial order \\(\\leq\\) such that the identity of M is the maximum element of M and such that ac\\(\\leq bd\\) in M whenever \\(a\\leq b\\) and \\(c\\leq d\\). It is immediate that every p.o. monoid is \\({\\mathcal J}\\)-trivial, but that the converse is false. In this paper it is shown however that every finite \\({\\mathcal J}\\)-trivial monoid is a homomorphic image of a finite p.o. monoid. The proof of this beautiful result is based on the ideal structure of finite \\({\\mathcal J}\\)-trivial monoids and owes much to the theory of semigroup extensions studied by \\textit{J. Birget} and \\textit{J. Rhodes} [J. Pure Appl. Algebra 32, 239-287 (1984; Zbl 0546.20055)]. Related results on finite \\({\\mathcal J}\\)-trivial monoids were found by \\textit{H. Straubing} [Semigroup Forum 19, 107-110 (1980; Zbl 0435.20036)]. As a result of this theorem a completely new proof of the theorem of \\textit{I. Simon} [Lect. Notes Comput. Sci. 33, 214-222 (1975; Zbl 0316.68034)] is obtained which characterizes those recognizable languages whose syntactic monoids are \\({\\mathcal J}\\)-trivial (namely, the piecewise testable ones).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111705$2DE84A8B-E421-4E0B-8523-5AE5F98D0E8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111705$A970C6C3-8A86-49CD-8F17-D357FEE21A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111705$3283E9BB-9572-453D-8872-A5F52785D836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111705$47578BAF-0F37-4FE4-BEB8-0FCAB300ECA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"328feb8b87ded0da841a7444b6ecdb385c89ee49","datavalue":{"value":"20M30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111705$A105D031-A2F4-4129-8E1B-6DD2D83F392F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19ac1a951ad941500207418155982a5a9e1bfe53","datavalue":{"value":"4075401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111705$91406807-759A-43B7-BCAA-692FD9EC857A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0a0ac61dbf574162b49782caf18cfea050bd7b0","datavalue":{"value":"partially ordered monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111705$7E3C6EE9-B9E8-4788-A70F-069284AE4195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d49bf7148f725f44399953260cf299788bfdad40","datavalue":{"value":"Green's relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111705$F5726DA8-CD0A-48AD-8725-A13553F95FE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2361790a80c9f120517c95338d5d8417ea7257e3","datavalue":{"value":"finite p.o. monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111705$09BBD0E3-643B-4CCE-8296-C2EA6B0C75FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f32c22b5ac32e6d67853f089976bfd8e51bf814","datavalue":{"value":"finite \\({\\mathcal J}\\)-trivial monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111705$63F00DD8-F506-49B7-A675-02B3A92594EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e3bc838aaa00ae8feff79c7547271553cf9de5e","datavalue":{"value":"semigroup extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111705$D527341F-D47E-4752-BD48-3F3ECCECA3D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecde1dfa99d1cbd08aec8d0026129ef8a157b8d6","datavalue":{"value":"recognizable languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111705$BEBD7F90-B386-440E-8742-EDDC2C323B1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ecbdea37adde42ef7f942b3d6ef7b75841234f8","datavalue":{"value":"syntactic monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111705$571BFB73-D02F-4B4C-BBCA-A4C64E2195F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9373ae487f2bedc00c40438034205f0b6f197eb2","datavalue":{"value":"piecewise testable","type":"string"},"datatype":"string"},"type":"statement","id":"Q1111705$B206AF19-0F3A-4439-93B9-6403FD675D60","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0e40a3870b32b18b840da0f31227db8fce409223","datavalue":{"value":{"entity-type":"item","numeric-id":731309,"id":"Q731309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111705$1134AC36-86E8-42D8-8531-C8346B995FF4","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":"Q1111705$4095A2C0-69D8-4B5F-A1C0-4ACA159C7175","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7700469252a2f94bdc442cb497fe2d3ecfb93fc7","datavalue":{"value":"https://doi.org/10.1016/0021-8693(88)90067-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1111705$87B3E8D8-6B7C-4A62-A79D-EAC6A2FD9BEA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dfa03168936a874db280985ebc07aa563d34794f","datavalue":{"value":"W2060549391","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1111705$FA4D8F70-7786-4F37-9502-34AD2B14E4E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"572a359ebd12680219af062d2612606f0a5d8e1f","datavalue":{"value":{"entity-type":"item","numeric-id":5570933,"id":"Q5570933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111705$15493418-5F99-434D-AD39-23211C765919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd34852102070f2b28c9cae47422fc8b6079e08","datavalue":{"value":{"entity-type":"item","numeric-id":798447,"id":"Q798447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111705$F8017F22-3294-4627-BD5A-05D8CF450384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa28b36f1d47ef725ba4acb380f1839600a6b45","datavalue":{"value":{"entity-type":"item","numeric-id":4132170,"id":"Q4132170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111705$EDFB536C-F0D3-4A54-9B22-B84B9E0320EB","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":"Q1111705$428A9351-35D3-4D25-8EA1-F56881833EEF","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":"Q1111705$FA4889A6-7AF0-431C-8E08-1C37EEB647DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70149cae8f99255f0ad252fb21c7901c2462fe82","datavalue":{"value":{"entity-type":"item","numeric-id":3776657,"id":"Q3776657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111705$B106ED31-E192-429E-BF2D-B378BAC250BF","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":"Q1111705$7F210C1C-B9D2-4AB3-B252-3841E6484207","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":"Q1111705$82695E7D-3789-4905-AD6B-E7F9162068B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81ddf6cebb41dcd6f276c486ae807a1c96140cd1","datavalue":{"value":{"entity-type":"item","numeric-id":1157412,"id":"Q1157412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111705$738D386B-DCE1-4C84-A4B3-7A50DA700AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d60981713f1c0e09fc11c17a7c9f8fad8e38ce2","datavalue":{"value":{"entity-type":"item","numeric-id":3689383,"id":"Q3689383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1111705$2D58E5C6-C9DD-4E21-A45F-C07CF10AF2BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85daf04815f0fcde35652ad2b318857688ce9bce","datavalue":{"value":{"entity-type":"item","numeric-id":3760747,"id":"Q3760747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb5cf2752d90eb8128d82bd504f0a669a885ee8a","datavalue":{"value":{"amount":"+0.923481822013855","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":"Q1111705$6B3816DB-C2CA-40FB-8618-69BB5A43C6FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2036fd2c81dccb6006ffe5e663b3a273c862390","datavalue":{"value":{"entity-type":"item","numeric-id":4942271,"id":"Q4942271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64413f5b3706deb17cbeb074056d90f79338522c","datavalue":{"value":{"amount":"+0.9048153758049012","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":"Q1111705$647F8A98-1327-479A-958B-0B703604AAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f80cf89bb2935296e80a1f17cca39fa7f5abefc","datavalue":{"value":{"entity-type":"item","numeric-id":2276995,"id":"Q2276995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c522da8118965699f2e6f6a87d988f495f5d96ca","datavalue":{"value":{"amount":"+0.9045487642288208","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":"Q1111705$EA287C46-01A6-45BA-A425-A49C04C51552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"515c1fdad6800572b00ffd7b7a3b0aa8995ad40f","datavalue":{"value":{"entity-type":"item","numeric-id":3606407,"id":"Q3606407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e47c0aa762a94074e51cc10dd522bda84dc9d2bd","datavalue":{"value":{"amount":"+0.8242692947387695","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":"Q1111705$047410B1-9A15-453C-B6DA-E7C6DBFC1350","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":"c763b320ca8d1407e58bf68a0ab8c46d8f1ae9fc","datavalue":{"value":{"amount":"+0.8231449723243713","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":"Q1111705$9B63C62D-46BE-42BA-A808-D87B6432103B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1111705","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1111705"}}}}}