{"entities":{"Q1314867":{"pageid":1325617,"ns":120,"title":"Item:Q1314867","lastrevid":67149930,"modified":"2026-04-12T15:37:37Z","type":"item","id":"Q1314867","labels":{"en":{"language":"en","value":"Two congruence lattices of completely simple semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 508789"}},"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":"Q1314867$AA91DFAF-329A-4C75-AAF3-399D99CDFC20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00599557390345947ac0c956ee0742ebaea818c9","datavalue":{"value":{"text":"Two congruence lattices of completely simple semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1314867$1FFFA4CB-832F-4002-B13A-AF9AB7227CD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d93574673f53ba9e75016599deeb97b6c2fe541","datavalue":{"value":"0811.20055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314867$437D1A6F-E644-4E52-8948-3856BB7A806D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf3ea5a2e05b9ae4ef38295833ae1245a4b092d7","datavalue":{"value":"10.1007/BF01301535","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314867$13129251-E4F5-4100-9836-79DE33E64975","rank":"normal"}],"P16":[{"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":"Q1314867$7E4AC283-FBFD-4630-9049-B5DBD719DC9C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"018a0053bd359d34d6fee8f280c31e982361eda4","datavalue":{"value":{"entity-type":"item","numeric-id":175158,"id":"Q175158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314867$B44705E4-4C68-40BE-8616-03AE8DE000F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76c795f5749b0c265976e2e5bb130d72d00b274a","datavalue":{"value":{"time":"+1995-04-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1314867$9F1FD225-0260-4978-8814-50479C81409E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c40a96cf86978c29f812b4d11e58f6c1050a3e2b","datavalue":{"value":"https://eudml.org/doc/178630","type":"string"},"datatype":"url"},"type":"statement","id":"Q1314867$0C2B2943-0C14-4667-BA8A-EF3D3DEA4074","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e3664abc0a63e91c99baf6c91d7d554fe05c4fcf","datavalue":{"value":"Let \\(S\\) be a completely simple semigroup and let \\(T_ l\\), \\(T_ r\\), \\(K\\) be the left trace, right trace, and kernel relations on the congruence lattice \\({\\mathcal C}(S)\\). Let \\(\\rho\\) be a congruence on \\(S\\) and let \\(\\rho T_ l\\) \\([\\rho T_ r, \\rho K]\\) and \\(\\rho t_ l\\) \\([\\rho t_ r, \\rho k]\\) be the greatest and least elements of the \\(T_ l\\) \\([T_ r, K]\\)-class of \\(\\rho\\). The author describes the sublattice \\(\\Gamma_ \\rho (S)\\) of \\({\\mathcal C}(S)\\) generated by the set \\(\\{\\rho T_ l, \\rho T_ r, \\rho K, \\rho t_ l, \\rho t_ r, \\rho k\\}\\). The lattice \\(\\Gamma_ \\rho (S)\\) depends on \\(S\\) and \\(\\rho\\), of course. However, the ``freest'' possible case \\(L\\) of \\(\\Gamma_ \\rho (S)\\) is computed and each \\(\\Gamma_ \\rho (S)\\) is a homomorphic image of \\(L\\). The lattice \\(L\\) is finite and distributive, and a minimal finite presentation of \\(L\\) is given. The analogous problem is solved for the lattice generated by \\(\\{\\varepsilon T_ l, \\varepsilon T_ r, \\varepsilon K, \\omega t_ l, \\omega t_ r, \\omega k\\}\\) where \\(\\varepsilon\\) and \\(\\omega\\) denote the identical and universal relations, respectively.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314867$726A2614-2E86-4772-8B0A-AE97D0B43F4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314867$D4CDD4C2-DDC7-4075-85DA-1BDD75E5F1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314867$5ADDA8F1-BFAC-4918-9C9F-70CB5D5EFA30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8657ac6c38ed25d0542315e1ea5d0b1ab0616eb","datavalue":{"value":"06B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314867$8B947D98-6AD9-4B77-885D-67F1FB53564B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6423c5c244d99d8c66252322ac01e977c6ce95aa","datavalue":{"value":"06B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314867$E09C7ACB-F8F9-4AE4-AC85-64B1D45E8B16","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"721f9dfc50db59f19e3a80fe5ac47ff22006b40d","datavalue":{"value":"508789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314867$A9AA2924-A2A8-44B5-AE68-7F224997AF48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3240749dbb8839c69514d432f9135debe648f52a","datavalue":{"value":"completely simple semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314867$81575CFA-59BE-4487-8AD3-8555738DE36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c49916021edccb418deb9b5c9398917147892e7c","datavalue":{"value":"trace","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314867$96A70B01-1C3C-4669-8758-0FBD357C985F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f60db88f25336fce44a9fddb0ff3ca29d8a9b5a0","datavalue":{"value":"kernel relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314867$CACDB98B-C893-4D3C-A492-12D04BB99319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"304b60f2d9e1845880880c56005c9c3f2d18e6cd","datavalue":{"value":"congruence lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314867$36DFB557-3365-418E-B574-8FBB1AE43218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"808c05c220e474ef429d17a05533e11c23cae1e5","datavalue":{"value":"finite presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314867$55C71C8B-43DE-462C-9D09-19868AF24A35","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"82b58a7a431ddd1d8859e52615fc9a1cc72e1c7f","datavalue":{"value":{"entity-type":"item","numeric-id":587993,"id":"Q587993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314867$95B3F6D9-A99A-44FA-B4CC-6C2ECE2205CF","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":"Q1314867$B5725073-4A0F-416E-A76B-981434CCBE02","rank":"normal"}],"P223":[{"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":"Q1314867$2E35F847-B87D-4DDA-9844-E8D8F14CDD05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dfa1a5b728a22abb071f316613facbb8e710e5c","datavalue":{"value":{"entity-type":"item","numeric-id":3991568,"id":"Q3991568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314867$068B4E6F-E4FD-4AB9-8109-7286C32EE80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61fd2909e4ac852a9c15ff8cecf54833bc4a3dd0","datavalue":{"value":{"entity-type":"item","numeric-id":4500808,"id":"Q4500808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314867$2877CF2A-7D04-43B4-A1EA-F717467D33C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f86baa946e334ed5fc25765b11c96f9aaa835d70","datavalue":{"value":{"entity-type":"item","numeric-id":1333037,"id":"Q1333037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9424baf9cfa33e5241edc3c1ce75c5830f526fc2","datavalue":{"value":{"amount":"+0.93359923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314867$1658E5DB-2E47-4DDE-A2E6-63A4EC016EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36ad9e64799351201a45d559140a63c220b0605a","datavalue":{"value":{"entity-type":"item","numeric-id":1077551,"id":"Q1077551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4ea36bbc76815f8c55b5b1f070c6134a224fc0b","datavalue":{"value":{"amount":"+0.9321835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314867$1FD0D1AF-D905-488A-9FB3-673358237642","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4eec4d38cc3e15a42a4acabfd2b952aa6461e630","datavalue":{"value":{"entity-type":"item","numeric-id":2365281,"id":"Q2365281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc8005f14dbaf199609f6033a1c97c7387d0ad4a","datavalue":{"value":{"amount":"+0.9320942","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314867$97C90287-4EF4-4632-BF2D-5D65C6F5E31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c89b63761b05610921ff273ce952603c8ca5439","datavalue":{"value":{"entity-type":"item","numeric-id":4313403,"id":"Q4313403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc0c5f99f60615fdf30a8d732b02f77ca40dd03f","datavalue":{"value":{"amount":"+0.92703605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314867$A4FBBAC3-4B71-4BC4-ADA7-888050CBFBDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e85a73694534ef8aabb4bd05489256560b89686","datavalue":{"value":{"entity-type":"item","numeric-id":5472680,"id":"Q5472680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a810f9f03dc1faa365e4872e61bf0874bd31646","datavalue":{"value":{"amount":"+0.92616165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314867$4691810C-16A8-49A4-9DCC-D30BDB250720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"258ab2cf622e759f45e3f2f087db77b542c0ab11","datavalue":{"value":{"entity-type":"item","numeric-id":3342763,"id":"Q3342763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43a47b1d1805c1f66b3fc5648d90045b8f1147bc","datavalue":{"value":{"amount":"+0.918738","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314867$9BB7DA0B-E896-4614-86A8-017991638507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c019854039d929788c25c53d908561799c90c5f1","datavalue":{"value":{"entity-type":"item","numeric-id":5592999,"id":"Q5592999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3957ae5e13231acd9342fa5c8f31c67cdb1dc8bd","datavalue":{"value":{"amount":"+0.91736424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314867$CD376966-EEAA-4EAF-82D5-07986FE58EEE","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":"7834e88ec10c48e7559752fd2b8b8ef8e371470b","datavalue":{"value":{"amount":"+0.9173305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314867$34C93388-5AB7-40A5-846F-A605F8922193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a321b4c6088b4856a39f64a14a44487ab9e57a42","datavalue":{"value":{"entity-type":"item","numeric-id":793850,"id":"Q793850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44b306294e1cfb6d81c6e0a48fd867632ea8f9f6","datavalue":{"value":{"amount":"+0.91521907","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1314867$0FF6AC45-3280-46F3-B5E1-CBFB241DB8AA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Two congruence lattices of completely simple semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Two_congruence_lattices_of_completely_simple_semigroups"}}}}}