{"entities":{"Q1328244":{"pageid":1338994,"ns":120,"title":"Item:Q1328244","lastrevid":68478612,"modified":"2026-04-12T23:58:44Z","type":"item","id":"Q1328244","labels":{"en":{"language":"en","value":"Congruence networks for strong semilattices of regular simple semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 599732"}},"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":"Q1328244$EBB27174-B0BE-435D-994C-459324C5F42E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a1c745a04d9288acdd5fe4b7c8acfa9870cbc6c","datavalue":{"value":{"text":"Congruence networks for strong semilattices of regular simple semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1328244$E7A12641-2DFD-4469-8028-83C20EAB0A17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9cf759ec686fd0737c8a125fca4e05f014697adf","datavalue":{"value":"0807.20049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328244$F840B79F-BE93-40A5-A00C-EE29EC1AF053","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":"Q1328244$10376F9B-278E-4F7D-9600-2610325A0D80","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3c56016573ce7bfe3075a77ec18be101169a3439","datavalue":{"value":{"entity-type":"item","numeric-id":168778,"id":"Q168778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328244$B83C0EE8-E95D-47E3-BEB7-18830AF9F878","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0cdb8d4632321c5e466c8887652aba3de4959ca","datavalue":{"value":{"time":"+1995-03-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1328244$8B83DA7E-3BE3-42BA-B188-DA6B76E03202","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"265428583a88410e70859700cacef8bc9bf8cd3a","datavalue":{"value":"Let \\({\\mathcal C}(S)\\) denote the congruence lattice of a given semigroup \\(S\\). If for any equivalence relation \\(\\mathcal R\\) on \\({\\mathcal C}(S)\\) every \\(\\mathcal R\\)- class has greatest and least elements, there are two operations on \\({\\mathcal C}(S)\\): \\(R\\) and \\(r\\), where \\(\\rho R\\) and \\(\\rho r\\) are the greatest and the least elements \\(\\mathcal R\\)-related to \\(\\rho\\), respectively. If \\(S\\) is a regular semigroup, then there are two such equivalence relations \\(\\mathcal K\\) and \\(\\mathcal T\\): \\(\\lambda {\\mathcal K} \\rho \\Leftrightarrow \\text{ker }\\lambda = \\text{ker }\\rho\\), \\(\\lambda{\\mathcal T}\\rho \\Leftrightarrow \\text{tr }\\lambda = \\text{tr }\\rho\\) and four corresponding operations \\(K\\), \\(k\\), \\(T\\), \\(t\\).   If \\(S\\) is a strong semilattice \\(Y\\) of regular simple semigroups \\(S_ \\alpha\\), \\(\\alpha \\in Y\\), with structure homomorphisms \\(\\varphi_{\\alpha \\beta} : S_ \\alpha \\to S_ \\beta\\), \\(\\alpha \\geq \\beta\\), then every congruence relation \\(\\rho\\) is uniquely determined by the pair \\((\\xi, (\\rho_ \\alpha)_{\\alpha \\in Y})\\), where \\(\\xi \\in {\\mathcal C}(Y)\\) and \\(\\rho_ \\alpha \\in {\\mathcal C}(S_ \\alpha)\\). This correspondence is one- to-one, and \\(\\xi = \\text{gl }\\rho\\), \\((\\rho_ \\alpha) _{\\alpha \\in Y} = \\text{loc }\\rho\\). So there are two equivalence relations on \\({\\mathcal C}(S)\\) \\(\\mathcal G\\) and \\(\\mathcal L\\): \\(\\lambda {\\mathcal G} \\rho \\Leftrightarrow \\text{gl }\\lambda = \\text{gl }\\rho\\), \\(\\lambda {\\mathcal L} \\rho \\Leftrightarrow \\text{loc }\\lambda = \\text{loc }\\rho\\), and four corresponding operators: \\(L\\), \\(l\\), \\(G\\), \\(g\\).   Let \\(\\Lambda = \\{K,k,T,t\\}\\) and \\(A = \\{G,g,L,l\\}\\). The author is interested in the semigroups \\(A^*\\) and \\(\\Gamma^*\\) generated by \\(A\\) and \\(\\Gamma\\) respectively. The sets \\(\\rho A^*\\) and \\(\\rho \\Gamma^*\\) of congruences are called the networks of \\(\\rho\\). Results: The semigroup \\(A^*\\) is represented by means of generators and relations and networks \\(\\rho A^*\\) are characterized, the values of \\(k\\) and \\(t\\) are computed, and the values of \\(T\\) and \\(K\\) are computed in the case when \\(S\\) is a normal cryptogroup (a normal band of groups).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328244$A0672362-BDB2-4353-9D1B-B63BB5783C9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328244$305AADC7-AD0D-4574-BAF2-DBB23FA3E811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beff01b370fcff9d315b5f5618c62634d9218c19","datavalue":{"value":"20M17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328244$BB040ABF-C356-4C1C-AD18-5A33967B7465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328244$3D19D821-B41A-46F3-9418-1886DDBB6540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"161452d058224a660e3b8a96064cc184f10828db","datavalue":{"value":"20M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328244$B607B17E-33DE-4E31-953A-89D9011691C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6215a71fffed173b694c6f96565d24a058c483d","datavalue":{"value":"599732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328244$B8558D72-5CB2-4FCB-9849-EFB78711BDFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f63ed4af32740cf2a9ad8cffcd4b3c19e6b46ddb","datavalue":{"value":"congruence lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328244$5AB68BC1-9193-4D25-8D9A-4F07D7BEE6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"280c8f9b5cab95a2a15b895bdb10674b8006f46a","datavalue":{"value":"equivalence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328244$6FDBFA87-BD47-4430-B09D-0BBB9687D97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f0947e69e32e34b28536dfa65bdc0ab1e9b7293","datavalue":{"value":"regular semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328244$E4D1490D-3D27-4861-85E3-D7160B2E0A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"985ea8148fe7ac50794190eff376bd9cb8251218","datavalue":{"value":"strong semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328244$32146D74-9C12-4188-BD34-A21AEDFB4CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec5dd2186b4c132dba41704192314075c66dfc22","datavalue":{"value":"regular simple semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328244$D6C0FC58-CCB9-4466-96FD-59F387C3D299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322e81307d2b59f8312b677cec0801774fd4d8e5","datavalue":{"value":"networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328244$FDD6064A-67A9-4DB9-91C2-7EAF8E83B555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"128e71e7805f70abe993ee80953dc8d6727fd435","datavalue":{"value":"generators and relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328244$C31909D1-4287-4E28-8CDC-CC1F02EC0B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f7b82d7a2b0393f1baf69c69d49aa98f948c4a4","datavalue":{"value":"normal cryptogroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328244$FEA2617E-E794-4B4C-9C24-1E825973D891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e392935df1520e75ada0295b22856f1599ceee","datavalue":{"value":"normal band of groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328244$83AA10F3-389F-455E-A6AE-14E30EC930F0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"60b20526b3992c61e7e11f11e30c26ba2b5c9a35","datavalue":{"value":{"entity-type":"item","numeric-id":1864450,"id":"Q1864450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328244$16D268A2-B69C-4847-AED1-C24066368215","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":"Q1328244$205FDDF3-210E-4D31-867A-15A9A03FDFEF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3cdcb537bb85aec5be68ca97412f3314decbd4cd","datavalue":{"value":"https://doi.org/10.1216/rmjm/1181072499","type":"string"},"datatype":"url"},"type":"statement","id":"Q1328244$8642C962-2849-4B66-94D6-457F858081A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a95fcbd718e0d34bebdf99c91c10729d1dec8d05","datavalue":{"value":"W2074855187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328244$835D3B9F-20ED-497A-BD44-3343D4BE6325","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":"Q1328244$6882CD5D-ADC2-441D-814A-B71AB4C62B49","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":"Q1328244$F07FA9D2-37C6-4338-84F3-0AAE5A19D1BE","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":"Q1328244$1166B471-4572-445D-AA68-CE4A44636F31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9996960a4dfc20c9a228fd27f794e06c08d5c1c9","datavalue":{"value":{"entity-type":"item","numeric-id":4083905,"id":"Q4083905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328244$DD60B4BC-55A1-4A12-A634-5F25812E4C7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5342454cb82017327783b018029da4c8fc154661","datavalue":{"value":{"entity-type":"item","numeric-id":1101833,"id":"Q1101833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328244$A8A3986C-BB42-4E47-8217-C717CD62E151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d8bebfa37d58cd64b169ce00fcfb1a720439468","datavalue":{"value":{"entity-type":"item","numeric-id":4298982,"id":"Q4298982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328244$DE9EA658-0426-43F7-916C-BDB007F0B995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6bafa47a52cf39e7be0ec77efe57ae3463fc3ec","datavalue":{"value":{"entity-type":"item","numeric-id":1204131,"id":"Q1204131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328244$8D5B0267-F332-4B9F-8E46-6E205BF8DCC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62f76024e5a751232f815fe9b707e4e99ccee0e1","datavalue":{"value":{"entity-type":"item","numeric-id":1079668,"id":"Q1079668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328244$2A8384F4-D0AA-45AA-B1FC-B82358A1AAFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4ed555fa2ebe0c66198b160d6f734a61ea7018f3","datavalue":{"value":"10.1216/RMJM/1181072499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328244$80FEF017-AE8D-4F25-937C-D3AF29E5BA6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2f23f30bfd56b44c8ea0fff0a2c232d0351a796","datavalue":{"value":{"entity-type":"item","numeric-id":4298982,"id":"Q4298982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f713dfde6f7e7d57bc579822354cb2d0f0f42d8","datavalue":{"value":{"amount":"+0.8478288650512695","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":"Q1328244$A33CB77F-C6F4-4AFC-A227-E022EA509D3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"436bc3786bf39645df6aea651be0b9d20f529df5","datavalue":{"value":{"entity-type":"item","numeric-id":4021416,"id":"Q4021416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f713dfde6f7e7d57bc579822354cb2d0f0f42d8","datavalue":{"value":{"amount":"+0.8478288650512695","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":"Q1328244$63E18132-2005-440D-861F-E39874903867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cbc64463b0898d7790fd670231a47cf965a43a1","datavalue":{"value":{"entity-type":"item","numeric-id":1101833,"id":"Q1101833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"166502faebbc38a3c2a2390caa92994f70003bee","datavalue":{"value":{"amount":"+0.8421464562416077","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":"Q1328244$575E0A4C-187E-4289-9E8C-19E0A468F111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1f60332a32d9b8fbb5077d6fb01814cc799a98a","datavalue":{"value":{"entity-type":"item","numeric-id":3562341,"id":"Q3562341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fbdbac0b07732bdf6566afb319580a2a1aae69f","datavalue":{"value":{"amount":"+0.8324702382087708","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":"Q1328244$4449C5E5-F6AB-40C9-AB99-9D08CABDC013","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e74373a80a927f7769c36e111222e080c988f21","datavalue":{"value":{"entity-type":"item","numeric-id":4500808,"id":"Q4500808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a5bdba003f45247cf9ef030c351a5f7d7a3d648","datavalue":{"value":{"amount":"+0.8280001878738403","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":"Q1328244$2E072FAB-5728-4C91-83E1-ECC90029A416","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Congruence networks for strong semilattices of regular simple semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Congruence_networks_for_strong_semilattices_of_regular_simple_semigroups"}}}}}