{"entities":{"Q1193498":{"pageid":1204247,"ns":120,"title":"Item:Q1193498","lastrevid":66822912,"modified":"2026-04-12T13:06:11Z","type":"item","id":"Q1193498","labels":{"en":{"language":"en","value":"The congruence lattice of a Tully semigroup"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 64759"}},"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":"Q1193498$9447327E-AC10-4052-8BD0-0C699E660DB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9e1343456b98311008703416e76be950c9da314","datavalue":{"value":{"text":"The congruence lattice of a Tully semigroup","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1193498$3DF372BA-4FF6-41DA-BF10-E4E9F60239E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a35a324da0f0af31fb4dc4a4b6dba0e1b521a662","datavalue":{"value":"0774.20038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193498$D42302E4-C878-4205-8F30-83BC90069CD2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d351f8e5394fb151488fb21b05b988845f0c43a9","datavalue":{"value":"10.1007/BF01190606","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193498$ABD00D47-D4E1-4D26-AEB2-8E76A3DA806B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55ad2678fd55fa4c2c2f21892f089b657041976a","datavalue":{"value":{"entity-type":"item","numeric-id":587993,"id":"Q587993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193498$5EFC6401-90AF-4867-AE1F-217B7ADF4CD5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193498$D52D43E8-5558-4C3F-94F5-01C7683CBA93","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1193498$B7A804DF-7247-4145-B8DD-A9254F353F7B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"46a1302588a4a833312a75af1ec2a082ee379c0a","datavalue":{"value":"The concept of a ``Tully'' semigroup generalizes a construction used by \\textit{E. J. Tully} [J. Aust. Math. Soc. 9, 239-245 (1969; Zbl 0185.048)] in describing those semigroups all of whose ideals are retract ideals and a similar construction occurring in the author's earlier papers on semigroups whose congruence lattices satisfy such conditions as complementedness. It is closely related to the construction by G. Lallement and M. Petrich of what are now called ``strict regular'' semigroups. Ultimately it can be traced back to A. H. Clifford's description of semilattices of groups. The parameters for a Tully semigroup are a semilattice \\(X\\), a pairwise disjoint family of nontrivial 0-simple semigroups \\(I_ \\alpha\\), \\(\\alpha\\in X\\), and for \\(\\alpha\\geq\\beta\\) a partial homomorphism \\(f_{\\alpha,\\beta}:I^*_ \\alpha\\to I^*_ \\beta\\). The compatibility conditions and multiplication (on the union of the \\(I_ \\alpha^*)\\) are fairly simple generalizations of those in the ``strong semilattice'' construction. The corresponding semigroup is denoted \\((X;I_ \\alpha,f_{\\alpha,\\beta})\\). The semigroups \\(I_ \\alpha\\) turn out to be its principal factors.   The congruences on such a semigroup \\(S\\) are described in terms of the parameters of the construction. First, a congruence \\(\\rho\\) on \\(S\\) induces a congruence \\(\\rho_{\\mathcal J}\\) on \\(X\\). With each element \\(\\overline\\alpha\\) of \\(X/\\rho_{\\mathcal J}\\) there is associated a 0-simple semigroup \\(I_{\\overline\\alpha}\\) on which \\(\\rho\\) induces a congruence \\(\\rho_{\\overline\\alpha}\\). The collection \\((\\rho_{\\mathcal J};\\rho_{\\overline\\alpha},\\overline\\alpha\\in X/\\rho_{\\mathcal J})\\) uniquely determines \\(\\rho\\). Such ``congruence aggregates'' are abstractly characterized and joins and meets in the congruence lattice \\({\\mathcal C}(S)\\) of \\(S\\) are derived in these terms. Finally, necessary and sufficient conditions are found in order that \\({\\mathcal C}(S)\\), where \\(S\\) is Tully, be modular. These restrictions reduce, in certain special cases, to results of the reviewer and of M. Petrich on congruence lattices of strong semilattices of simple semigroups.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193498$5FB1E795-9190-45A7-BC2F-7F3951BCE1A2","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":"Q1193498$888A8F10-07AC-4E2A-85E5-1094950E5AEA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193498$6E8CA024-A27E-4868-8E0C-7E923BACCBC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193498$FCDD86F2-A384-429B-B062-312C65930CC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61f7f9735104c66a55d749817f32d2c7b778cbe7","datavalue":{"value":"64759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193498$97B2F63B-4CBC-47B0-9C1E-C8EA9624C22B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03eefa42df27946631ab6f182f3b4279bac2478b","datavalue":{"value":"retract ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193498$A556C8BC-DE26-42DB-9625-787376DB5C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f63ed4af32740cf2a9ad8cffcd4b3c19e6b46ddb","datavalue":{"value":"congruence lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193498$85FF79DA-2253-4B05-AEEC-3D4563A7D42A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab48044d67d522150920ba6c5531576741b20a08","datavalue":{"value":"semilattices of groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193498$727B1D00-8F53-4A89-827F-E714FD263FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd87d40fd912dda5837001775e2d9e916d67f47a","datavalue":{"value":"Tully semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193498$9E6EE017-9699-48A7-9785-7AF4BCEE6461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00845c80fba6bb2e3f696342c2ce65c2d5c1309b","datavalue":{"value":"partial homomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193498$943EFB41-5F16-4FA1-97B2-10ED3AC60BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a9448b5fa9a302ff5368e421e9bf456c9fed452","datavalue":{"value":"0-simple semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193498$1D3792EA-FFD4-485F-A8FC-71D62F66D798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3933b63e23bafc277eab9c51c374339b144a095","datavalue":{"value":"strong semilattices of simple semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193498$2ED97593-1922-48C1-8233-83C9E78D75F1","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":"Q1193498$B6A8C199-5178-4539-BCB2-3959A0EE3F7E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2723313d66f212398bd80a08383fe9795843ae10","datavalue":{"value":{"entity-type":"item","numeric-id":3485082,"id":"Q3485082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193498$B2F5D841-7896-4E79-A63D-D57FEB9981C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04475146d11c26859ef9a16197fab23d183756f7","datavalue":{"value":{"entity-type":"item","numeric-id":3204680,"id":"Q3204680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193498$797EA364-1ED1-4F81-B5B5-B3DFF625F234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1b7d9b4f6cbdce58f1b68356df2c4463b5be557","datavalue":{"value":{"entity-type":"item","numeric-id":2394643,"id":"Q2394643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193498$209159A0-C36A-4EA7-9950-FDBADDB71C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"761b5323fb21568ec6a13fcda177c0cadc7f7687","datavalue":{"value":{"entity-type":"item","numeric-id":1251728,"id":"Q1251728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193498$091B41C2-9C34-4049-B0FA-753FA1032F27","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":"Q1193498$874BA025-6DCB-45F2-9B22-1F88D18B6BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3609333458f4af16f43e573e7f7ad2db13e47d1","datavalue":{"value":{"entity-type":"item","numeric-id":2543991,"id":"Q2543991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193498$19BFFABA-10A4-455F-A7A1-AC714EBD40FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55b3f3415afc11246ee46098b385d55d03d2de36","datavalue":{"value":{"entity-type":"item","numeric-id":5331550,"id":"Q5331550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193498$83EAE4A4-DB2F-4D61-9658-68422F98AE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d90e1f7f9b64a704bc0c34d8358c1b43608bf560","datavalue":{"value":{"entity-type":"item","numeric-id":4165512,"id":"Q4165512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193498$F570CEE8-CEC5-4ADF-8112-FEABE6F15522","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":"Q1193498$B009160D-B22B-44B8-89DA-06FA73DDD02E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89023fe3bbd4ca45e5fe094b511b0bd64505603a","datavalue":{"value":{"entity-type":"item","numeric-id":4734022,"id":"Q4734022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193498$556D7532-FBEE-49C5-9BE8-0D92C68CC968","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3b0981f7f6aca3c0012538712603753636394aa","datavalue":{"value":{"entity-type":"item","numeric-id":5577141,"id":"Q5577141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193498$1798F7B4-30D9-44D0-B5EB-7FC539EB7F70","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d9fd483ee067dfba54cc1e216e18555c1b0f0f0","datavalue":{"value":{"entity-type":"item","numeric-id":1207525,"id":"Q1207525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c17330a9e2079903695aaab2d30b3ac9da2bedb4","datavalue":{"value":{"amount":"+0.7992268800735474","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":"Q1193498$A31D170F-AEFC-4C03-9030-26C6095E269F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8588cad7dba64e236fbf74a20482448287bbd5c0","datavalue":{"value":{"entity-type":"item","numeric-id":755903,"id":"Q755903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6091383340b480bceea570d89bfa77a9b05d977","datavalue":{"value":{"amount":"+0.7976470589637756","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":"Q1193498$99E4A779-B664-4F81-8CCB-A47621AC6DAE","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":"c2d20f3c589ed504ad29c0cfe33a0410dccde7ae","datavalue":{"value":{"amount":"+0.7898286581039429","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":"Q1193498$4E5AF2AD-E8D8-4676-A162-E790ABE373C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac1cf17d3a85a6bb9ecf64f1e40e05c6b2216a8c","datavalue":{"value":{"entity-type":"item","numeric-id":4033123,"id":"Q4033123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2d20f3c589ed504ad29c0cfe33a0410dccde7ae","datavalue":{"value":{"amount":"+0.7898286581039429","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":"Q1193498$33B6B504-2DD8-4BAD-9BA0-11B01793F56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aff52f7d7531a41420db1a94e7fd76aed218bbc","datavalue":{"value":{"entity-type":"item","numeric-id":958192,"id":"Q958192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"762a0efee183f201ea95b37f94b1509d54bb187d","datavalue":{"value":{"amount":"+0.7788187265396118","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":"Q1193498$BCFE92E4-197E-484C-A528-5367759CA5C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The congruence lattice of a Tully semigroup","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_congruence_lattice_of_a_Tully_semigroup"}}}}}