{"entities":{"Q1105702":{"pageid":1116451,"ns":120,"title":"Item:Q1105702","lastrevid":49186435,"modified":"2026-01-06T17:47:59Z","type":"item","id":"Q1105702","labels":{"en":{"language":"en","value":"The congruence lattice of a regular semigroup"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4059712"}},"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":"Q1105702$4F1B4AA5-3169-4AB3-AC21-C831341578D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03b93d6b9f66731c98ff8151172e18d024fdb63a","datavalue":{"value":{"text":"The congruence lattice of a regular semigroup","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1105702$7287CFF8-9141-4E8F-AC83-ECF2819FCF34","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f0d88c86856fadd7f4007f60218a58860930ec2","datavalue":{"value":"0649.20052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105702$6785F0CC-A109-4BB1-A68F-9990DCB66E97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d350f07d757e9308555bf84eb64efc57c5154b65","datavalue":{"value":"10.1016/0022-4049(88)90015-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105702$8B300BA1-7413-45C9-92E7-8016BB8348DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dab25a31cccf0848ca3d6932e6a326fca88d1410","datavalue":{"value":{"entity-type":"item","numeric-id":744857,"id":"Q744857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105702$7B7FFDC8-30BF-4A6D-A885-7FA80D886AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3499929e709c30e42a987c2adaf411edb0069ba5","datavalue":{"value":{"entity-type":"item","numeric-id":223870,"id":"Q223870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105702$A264165E-C5E3-4881-9FC6-96682202D1F1","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":"Q1105702$BFBCF6D9-9E01-4896-9FF5-6C0E84C8FF11","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":"Q1105702$F8C4792E-D138-46B5-86CC-7C18E7C11AE6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c496b4edd15206f60f9b7b5993ed2548bf2ab0c1","datavalue":{"value":"Let S be a regular semigroup and denote by Con S its congruence lattice. This paper belongs to a stream (several by these authors) begun by \\textit{N. R. Reilly} and \\textit{H. E. Scheiblich} [Pac. J. Math. 23, 349-360 (1967; Zbl 0159.025)]. They defined a relation \\(\\theta\\) on Con\\(S\\) (proved later by T. E. Hall to be a complete congruence) as follows: if \\(\\alpha\\),\\(\\beta\\in Con S\\), then \\(\\alpha\\theta\\beta\\) if \\(\\alpha\\) and \\(\\beta\\) have the same ``trace'', that is the same restriction to the set of idempotents of S. Equivalently, \\(\\alpha\\theta\\beta\\) if \\(\\alpha\\) /\\(\\alpha\\cap \\beta\\) and \\(\\beta\\) /\\(\\alpha\\cap \\beta\\) are idempotent- separating on S/\\(\\alpha\\cap \\beta\\). Clearly, a congruence is idempotent- separating if and only if it is ``over groups'', in the sense that each of its idempotent classes is a group.    Here, a whole family of such relations is defined; \\(\\theta\\) is re-notated as T and relations U, V, \\(T_ l\\), \\(T_ r\\) are defined by \\((\\alpha,\\beta)\\in U\\), V, \\(T_ l\\) or \\(T_ r\\) if \\(\\alpha\\) /\\(\\alpha\\cap \\beta\\) and \\(\\beta/\\alpha\\cap \\beta\\) are over completely simple semigroups, rectangular bands, left groups or right groups, respectively. It is proven that each of these relations is a complete congruence on Con S and various alternative descriptions and useful properties are found. It is also shown that \\(V\\cap T_ l\\cap T_ r\\) is the identical relation of Con S, inducing an important subdirect decomposition of the congruence lattice. A slight variant has been used by the first author to investigate varieties of completely regular semigroups [The lattice of completely regular semigroup varieties, J. Aust. Math. Soc. (to appear)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105702$9CEBEF75-C9ED-4DD0-9C2B-D2238EE04BB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105702$C0747F68-781C-4B73-8A57-3B0F95069943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105702$D2F50CD3-6B01-45DC-A27E-87FE26E4C362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"161452d058224a660e3b8a96064cc184f10828db","datavalue":{"value":"20M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105702$95889E90-1F3D-45D8-AEC1-C3716F9E0C97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0cf2e5cb572ffa3fec064ecb03853e165b72525","datavalue":{"value":"4059712","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105702$ADE134E7-2D83-4065-B3BE-9E7F0E1B4966","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e09a19a2f1d49fbc38b57058029e30518c0fec3","datavalue":{"value":"regular semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105702$04878491-B09B-44D6-B964-3ECCF18C1ED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"304b60f2d9e1845880880c56005c9c3f2d18e6cd","datavalue":{"value":"congruence lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105702$64503C70-5DB2-47B8-8366-85AA24A34070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ab1de81be76bc2741fde7efda92379a42f0696c","datavalue":{"value":"complete congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105702$C8A272CC-3CC2-4B9D-889D-1594ECD07386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2b2952403bc9913b13b364ff2ee4a26166f3b9","datavalue":{"value":"idempotents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105702$05455748-F8EE-41CD-AF6A-F35320333767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec3a4ed3437738fc4f2932c086d55cb8c1791c24","datavalue":{"value":"idempotent-separating","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105702$2643D202-D324-400B-AEAA-C2B94DE01763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cba4e7c66e506f87a77e4077b5b9d7a726a9040e","datavalue":{"value":"completely simple semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105702$71D83D27-C394-4888-8F13-D27E4A634A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca0202200db990bf8abc7dff14f2845a3a8a8c59","datavalue":{"value":"rectangular bands","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105702$B09714B9-C898-4D83-9DAD-06C18AB89AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e5a290dbff7898e27c1c9c04466e266890b22a3","datavalue":{"value":"left groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105702$4668E9AE-23BB-44BB-AB67-6B880DED5349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39358f7bf96abdd89ad92ed46328c6d3b1edc914","datavalue":{"value":"right groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105702$68F70CFE-934C-48F9-AA3E-03469A6104D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6df9bce0c20d56836d9b36dda612acfd5fd6294a","datavalue":{"value":"subdirect decomposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1105702$0BB21BF2-6B3A-4A20-A4D2-25941DB20075","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f4385d4dae42e0a5bfb796b12df4f3fcdddf89d5","datavalue":{"value":{"entity-type":"item","numeric-id":418915,"id":"Q418915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105702$8C94AF63-62E8-4BA7-80D4-16C2AAF74D4C","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":"Q1105702$682A0E7A-5DEE-43BD-8FA2-C7A8E6BD7F62","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b5b52b71a1bfc0bd64097e09de76dd583aa12f4","datavalue":{"value":"https://doi.org/10.1016/0022-4049(88)90015-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1105702$793AA442-B950-4C36-A077-19516653A6E9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"efab96448c9026716c4ffdb0a1d0f24a1bbb0c8d","datavalue":{"value":"W1986212867","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1105702$AD638BAC-25C6-4998-B78D-FE247E6BE2E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bb42bcec6e4533f86321e4ee9cb086476068e24","datavalue":{"value":{"entity-type":"item","numeric-id":3342768,"id":"Q3342768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105702$A2F77BA1-BD5D-48DA-B046-F593F2D8EF6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44436b721673691f4b73cbb7152c0876916cdb1f","datavalue":{"value":{"entity-type":"item","numeric-id":1139133,"id":"Q1139133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105702$B1831304-52A8-42B0-9411-FF3E2437B6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5fcad86fb5ac29e07250522d6d30e4c781fd092","datavalue":{"value":{"entity-type":"item","numeric-id":5560309,"id":"Q5560309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105702$88053367-7289-4F2D-B51C-C14480459710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc64a6ce65b2139a8694ce0aa86cfa0cbb828d05","datavalue":{"value":{"entity-type":"item","numeric-id":5560310,"id":"Q5560310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105702$964213C8-3177-4747-A04C-52A36768FD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd8acf95012a2b79ce6775ee703f185f112c067","datavalue":{"value":{"entity-type":"item","numeric-id":5673101,"id":"Q5673101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105702$17AAEEF1-D83C-4FFB-8D10-469EF30524CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f60f8317db7e93324a29d7d4cf4f2cfba291af","datavalue":{"value":{"entity-type":"item","numeric-id":786935,"id":"Q786935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105702$C5711052-DE06-4806-AB08-651E06D850B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"187a4c59ae81ae494fe3d2b7921f62b879f2fbf5","datavalue":{"value":{"entity-type":"item","numeric-id":3955579,"id":"Q3955579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105702$559E9D52-EE8D-4BA3-A9F4-3BD3625FEEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64855d418a5c4846d2e8364d3bc383b6865c0d14","datavalue":{"value":{"entity-type":"item","numeric-id":3909233,"id":"Q3909233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105702$DAC8424B-7C07-4171-859E-269D9D7130A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3b6d792a5c26135370eb0c591aa266992c9b2bb","datavalue":{"value":{"entity-type":"item","numeric-id":3905477,"id":"Q3905477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105702$CE8FDAB5-E1FA-4503-AB22-E76593CA69D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9822fe2328bf0193249275bb452ed9fd84598fc0","datavalue":{"value":{"entity-type":"item","numeric-id":3909232,"id":"Q3909232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105702$E4B1CC6F-A9F0-456D-A85E-BF8A4E700A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a375c0273832ddb35cb64696d96a6154f5c29d","datavalue":{"value":{"entity-type":"item","numeric-id":3734719,"id":"Q3734719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105702$B18ACB59-6A14-4422-953F-3497014E14A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d03da458ea57d204c17a7fd2065d8630c01044b4","datavalue":{"value":{"entity-type":"item","numeric-id":1066281,"id":"Q1066281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105702$54DE3C26-DF26-4460-A288-99A3D563B81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"400f7721ca7f1d4f0ef60de63131a5279ab690a4","datavalue":{"value":{"entity-type":"item","numeric-id":5556486,"id":"Q5556486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105702$09560CDD-BE84-4581-8F9A-4A700D27B87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f09ab920d25e4a58ab14afe3ff7397368ad09bf","datavalue":{"value":{"entity-type":"item","numeric-id":4120612,"id":"Q4120612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1105702$2102E0A7-869E-4D02-98C9-B2446875892B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a70d33fa59c09b6395076235df41b558439801b","datavalue":{"value":{"entity-type":"item","numeric-id":4228147,"id":"Q4228147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eebff4ee42ff523dba2ecd0f22c60053c0c9d547","datavalue":{"value":{"amount":"+0.8735918998718262","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":"Q1105702$5BF4E376-02FD-4DB5-B068-6631026F5292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"723c8260bc5826cd64622108965529bdf1ed46d8","datavalue":{"value":{"entity-type":"item","numeric-id":1066281,"id":"Q1066281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad5f1781ab438112dd7401306bada97dbd1c8744","datavalue":{"value":{"amount":"+0.8709391951560974","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":"Q1105702$4DEFCC0E-2077-4AFB-A212-0BC7D26CC4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"331a3144c51f5ee3fd65692ef2251975aa9537e5","datavalue":{"value":{"entity-type":"item","numeric-id":800494,"id":"Q800494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dda5543c3463eb3f997a4247e06b732158b63c14","datavalue":{"value":{"amount":"+0.8686846494674683","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":"Q1105702$A5D42A4E-BE5A-4C4F-BE33-81DE1E71DC51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c74acd65e8b2938ed54be567bb51fdb744bbfa3a","datavalue":{"value":{"entity-type":"item","numeric-id":3991568,"id":"Q3991568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5a330f4b39581eb704700de1aa12d9a8bb5f7e0","datavalue":{"value":{"amount":"+0.8652992248535156","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":"Q1105702$186E6268-D7D2-4CD1-9A96-E2552826587B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a7406e7ad4beb6f8eacc06b8d91bc5829726ade","datavalue":{"value":{"entity-type":"item","numeric-id":5752754,"id":"Q5752754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6cc49892add5539766294f343c41c01524285cd","datavalue":{"value":{"amount":"+0.8645842671394348","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":"Q1105702$DB8F2D9C-CF16-4078-925E-F0F1DB910C54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1105702","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1105702"}}}}}