{"entities":{"Q1318965":{"pageid":1329715,"ns":120,"title":"Item:Q1318965","lastrevid":68452134,"modified":"2026-04-12T23:48:07Z","type":"item","id":"Q1318965","labels":{"en":{"language":"en","value":"Green's equivalences in finite semigroups of binary relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 549066"}},"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":"Q1318965$2E178170-D41C-4EA0-ADEB-B1975ED27BE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"14d1e7a44a5d6206b3c3ddbdd9404112ce609316","datavalue":{"value":{"text":"Green's equivalences in finite semigroups of binary relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1318965$395EF2C6-DF56-456C-89ED-B5D7F3E0945F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23103bde2a755c4c96d0c94cbb0bd7f6b96f4c65","datavalue":{"value":"0805.20059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318965$E505C43E-4051-438F-96C1-C647DB66CA16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49aca94a02e7fc51841b09436ccfa91331952b42","datavalue":{"value":"10.1007/BF02573672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318965$7341D75F-8671-4496-9ED1-4D800E0F2197","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f892871c124c01675d2cffb8455a6fb12b8f37b","datavalue":{"value":{"entity-type":"item","numeric-id":453186,"id":"Q453186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318965$3F7DC6DA-0333-42E8-8A31-C12010B5AC0B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318965$2B7987E4-D46F-4F2F-A9C0-4357B0F00D36","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"376a1ce7fa7f63a2de567b02df061f8874c18b01","datavalue":{"value":{"time":"+1995-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1318965$03E0EDDE-46FF-4A2B-90B0-C5EE474ABED2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ab070f40fa67525da886035305947a77083ab4e","datavalue":{"value":"https://eudml.org/doc/135314","type":"string"},"datatype":"url"},"type":"statement","id":"Q1318965$CC310DA4-D9E5-40B3-80D7-1410B8311326","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dec72f6c2dbc91d0ae6238b25f3b37b314f20831","datavalue":{"value":"Let \\(D\\) be a \\({\\mathcal D}\\)-class of a semigroup \\(S\\) and let \\(x \\in D\\). Let \\(\\{R_ i : i \\in I\\}\\) and \\(\\{L_ \\lambda : \\lambda \\in \\Lambda\\}\\) denote the collections of \\(\\mathcal R\\)-classes and \\(\\mathcal L\\)-classes, respectively, of \\(D\\). For each \\(i \\in I\\) and \\(\\lambda \\in \\Lambda\\), let \\(H_ i = R_ i \\cap L_ x\\) and \\(H_ \\lambda= L_ \\lambda \\cap R_ x\\). Then \\(\\{H_ i : i \\in I\\}\\) is the collection of all \\(\\mathcal H\\)-classes contained in \\(L_ x\\) and \\(\\{H_ \\lambda : \\lambda \\in \\Lambda\\}\\) is the set of all \\(\\mathcal H\\)-classes contained in \\(R_ x\\). Now let \\(\\{q_ \\lambda : \\lambda \\in \\Lambda\\}\\) and \\(\\{r_ i : i \\in I\\}\\) be two subsets of \\(S^ 1\\) such that \\(xq_ \\lambda \\in H_ \\lambda\\) and \\(r_ i x \\in H_ i\\) for all \\(\\lambda \\in \\Lambda\\) and \\(i \\in I\\). The triple \\(\\{H_ x, \\{q_ \\lambda : \\lambda \\in \\Lambda\\},\\{r_ i : i \\in I\\}\\}\\) is referred to as a complete frame of \\(D\\). A complete frame permits one to recover all \\(\\mathcal R\\), \\(\\mathcal L\\) and \\(\\mathcal H\\) classes of \\(D\\). Specifically, Green's lemma implies \\(R_ x = \\bigcup_{\\lambda \\in \\Lambda} H_ x q_ \\lambda\\), \\(L_ x = \\bigcup_{i \\in I} r_ i H_ x\\), \\(R_ i = r_ i R_ x\\), \\(L_ \\lambda = L_ xq_ \\lambda\\) and \\(H_{i\\lambda} = r_ i H_ x q_ \\lambda\\). In all that follows, \\(S\\) will be a subsemigroup of the semigroup \\({\\mathcal B}_ n\\) of all binary relations on a set of \\(n\\) elements. The main results of the paper show how one can find a complete frame of any \\(\\mathcal D\\)-class of \\(S\\). The regular and irregular cases are treated separately. Using these results, the author describes algorithms for producing complete frames of \\(\\mathcal D\\)-classes and the paper closes with examples of computer computations based on these algorithms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318965$D06870CE-7AAE-49AE-8496-6156968CAF90","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318965$71A6A0BB-B032-43C9-8397-30EC8C397E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"161452d058224a660e3b8a96064cc184f10828db","datavalue":{"value":"20M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318965$18E44958-12B0-43C0-BE5B-8293D5F53B4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bea85593fc017750b83b431dcd0382853a9e7b33","datavalue":{"value":"549066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1318965$DEC9128C-DAA7-4ADE-8F77-AD26FD563C3F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f4d68900b12ba5436d8467a50f2f0ae4ceef6f9","datavalue":{"value":"semigroups of binary relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318965$C12E8036-70FA-45F2-A31E-7A689FFB7E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15ac95bace04be49f497cca43d0ba7f878233024","datavalue":{"value":"Green's relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318965$413F61C6-D63A-4165-8EA6-DC130ACE64C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318965$CAD40368-F0CF-4327-A67C-726906DD790C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"809b9d6dcbd8141707849c954b7d358651ab44cc","datavalue":{"value":"complete frames of \\(\\mathcal D\\)-classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1318965$4437FF69-DCE1-46F3-BEBB-607378BF2838","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4880fd1a9270e5b25133de71f895948a3bdbbc68","datavalue":{"value":{"entity-type":"item","numeric-id":233325,"id":"Q233325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318965$B8C46D79-B61C-42A6-8EFD-F16BA5A19BE5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a116bbbffc1f819a22c6eb6592792eed59ba45f3","datavalue":{"value":{"entity-type":"item","numeric-id":12832,"id":"Q12832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318965$E27F716B-0CD1-4BB3-901A-3BEF9E042671","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":"Q1318965$A72E155E-9099-47A6-815E-6ED1DAE63997","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bd46a92b838c3e43ec5328eda5fb45427480744","datavalue":{"value":{"entity-type":"item","numeric-id":1186737,"id":"Q1186737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318965$826C2D9D-3DF8-4250-BDBB-773C320ABB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fb819b208e79c032cb109ce6762602c16093425","datavalue":{"value":{"entity-type":"item","numeric-id":3897157,"id":"Q3897157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318965$3C0A461B-714F-4A85-8B63-C9267DDBEA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62ed45c8fc07cf43fca50e16d603e872f5e17ea3","datavalue":{"value":{"entity-type":"item","numeric-id":5628367,"id":"Q5628367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318965$AAFE2615-F504-447F-B61F-2D16EF98038C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efa0339e243d1bbc96d06df4546e3739e8731b9c","datavalue":{"value":{"entity-type":"item","numeric-id":5545552,"id":"Q5545552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318965$A93FD20F-F0E2-4BCD-AE10-F4ABC1AD2992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a771da5a4143614d66e61e5eb1c065796a9fe46","datavalue":{"value":{"entity-type":"item","numeric-id":4126563,"id":"Q4126563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318965$9E8A0AA2-59F6-4FBF-B579-EBD1201191E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95ee01d13ffce525037e6312d938e579acb701d3","datavalue":{"value":{"entity-type":"item","numeric-id":1237854,"id":"Q1237854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318965$9291F1DE-106F-4D62-BA30-79F2A7E29EC7","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":"Q1318965$CB3B6E4A-4CB6-498B-9480-36ABE21E11AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ac36a06bcb60df76802cfc1626ae816971e6b93","datavalue":{"value":{"entity-type":"item","numeric-id":1173774,"id":"Q1173774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318965$B7E51428-F5E3-49DF-897B-7D40FEF4C279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da27dd71b96932144500f02acf8803aad30770f2","datavalue":{"value":{"entity-type":"item","numeric-id":1147819,"id":"Q1147819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318965$560990D2-2895-4152-8589-29F5F58CDF89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae12bf1f2a1ebef792d729d3a324eff25eaa7cd0","datavalue":{"value":{"entity-type":"item","numeric-id":4173578,"id":"Q4173578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318965$94AC18C5-3382-422D-AE9A-95C36AAC7313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56f0cabc2f861613ca405b08352cfc0d088280bc","datavalue":{"value":{"entity-type":"item","numeric-id":5921001,"id":"Q5921001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1318965$90E4AD2E-B44D-4B03-A42E-4436B8B15430","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9581f775c81d43fbe9c4c9c43a4e86c64dd113b4","datavalue":{"value":{"entity-type":"item","numeric-id":3767517,"id":"Q3767517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"730d3a550755a3839f9e7390c0e6896a0228a056","datavalue":{"value":{"amount":"+0.8120379447937012","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":"Q1318965$7CDC9EE6-9F64-4567-B3AF-3EF8E817B56F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d826539468c7e83a0303c96e5761590ae26b9b8","datavalue":{"value":{"entity-type":"item","numeric-id":3335960,"id":"Q3335960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81c899c65837db421e4a00b7d4f0c2583eae2746","datavalue":{"value":{"amount":"+0.7822034358978271","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":"Q1318965$84724C43-79A5-4895-AB11-22B5C07D6F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"831a5952997b8d1b6cc9137431b234431b7e3bf5","datavalue":{"value":{"entity-type":"item","numeric-id":5391331,"id":"Q5391331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9886a838f43039955e969abfc8269f391b0ecff6","datavalue":{"value":{"amount":"+0.7750941514968872","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":"Q1318965$47AD026F-96EB-4F58-90B1-B58F93967ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb3948b1b19e3d882fa9d635b6fb2dc6bfd3e3d8","datavalue":{"value":{"entity-type":"item","numeric-id":3774073,"id":"Q3774073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa0bdb72d845378281ca5ada500d17a5eb701362","datavalue":{"value":{"amount":"+0.7728610634803772","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":"Q1318965$D41C92C9-34E0-4E66-9D1A-A12E13D5F483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03d268e33c46bc502b4566b5dc1d5432e746852f","datavalue":{"value":{"entity-type":"item","numeric-id":3610208,"id":"Q3610208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8457d6f2d4388afdd303727ea4f897a26a0b170d","datavalue":{"value":{"amount":"+0.7717778086662292","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":"Q1318965$31BC2D60-F6A9-48F2-A749-0D828D640BC5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Green's equivalences in finite semigroups of binary relations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Green%27s_equivalences_in_finite_semigroups_of_binary_relations"}}}}}