{"entities":{"Q1906646":{"pageid":1917388,"ns":120,"title":"Item:Q1906646","lastrevid":69423735,"modified":"2026-04-13T06:54:19Z","type":"item","id":"Q1906646","labels":{"en":{"language":"en","value":"Congruence relations on the lattice of existence varieties of regular semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 840727"}},"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":"Q1906646$8D13F504-9713-466A-9DE1-38779CB63A54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1cd5737864f78d9fb1fe554305c52bc1e906b966","datavalue":{"value":{"text":"Congruence relations on the lattice of existence varieties of regular semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1906646$B0173178-B737-4FD9-8500-D2EF0C4F0DB4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d99bddd2d4186fbb2ad3b664ffdcf97dfe2165e6","datavalue":{"value":"0842.20051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1906646$1D202C52-EF06-4730-B872-AA3526CBE37E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30ef56f84518542c07ad0eea15904bfcf3f5fa59","datavalue":{"value":{"entity-type":"item","numeric-id":415548,"id":"Q415548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1906646$9B4BEA5E-4546-4D96-BAEE-F7FEE6669EAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e789300c7588a39c704183de06cb896c02f859a7","datavalue":{"value":{"entity-type":"item","numeric-id":1114024,"id":"Q1114024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1906646$3E19849B-1252-4387-A0E2-2F8D5569AD18","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1906646$EB7A9B90-0180-44AC-95C3-B89C067A8A39","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"84687db4c3cd1657f12335fa69a7be3d95f53981","datavalue":{"value":{"time":"+1996-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1906646$2E3791E7-82B7-4748-9627-4BCA91F7DEA1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2aff9065ad5eab30081d244b54fc9d1429b2dd3e","datavalue":{"value":"A class \\(\\mathcal V\\) of regular semigroups is an existence variety (or e-variety) if it is closed under the formation of direct products, regular subsemigroups and homomorphic images. The collection of all e-varieties forms a complete lattice \\({\\mathcal L}_{ev}\\) under inclusion which lattice is the topic of the paper under review. The general line of this investigation is via complete congruences on \\({\\mathcal L}_{ev}\\) which decompose the lattice into disjoint bounded intervals, and idempotent operators on the lattice associated with the congruences. The method of how such complete congruences are found -- radical congruence systems on the underlying class of semigroups -- is merely of universal algebraic nature and is roughly described as follows.   Let \\(\\mathcal C\\) be a class of universal algebras; a congruence system \\(\\rho = \\{\\rho_S \\mid S \\in {\\mathcal C}\\}\\) assigns to each member \\(S\\) of \\(\\mathcal C\\) a congruence \\(\\rho_S\\) on \\(S\\) in a ``natural way''. (For example, if \\(\\mathcal C\\) consists of all regular semigroups or of all finite semigroups then a typical congruence system is \\(\\mu\\) which assigns to each such semigroup \\(S\\) the greatest idempotent separating congruence \\(\\mu_S\\) on \\(S\\).) If \\(\\mathcal C\\) is a variety of universal algebras or the e-variety of all regular semigroups then two types of congruence systems which satisfy some further compatibility conditions are of particular importance (and are called ``(e-)varietal radical congruence system'', respectively ``HS-compatible radical congruence system''). The importance comes from the fact that each such system leads naturally to a complete congruence on the lattice of all sub-(e-)varieties of \\(\\mathcal C\\). (The construction has its origin in some earlier work of Petrich and Reilly concerning the lattice of varieties of completely regular semigroups [\\textit{M. Petrich} and \\textit{N. R. Reilly}, J. Algebra 134, No. 1, 1-27 (1990; Zbl 0706.20043)].) It is important to note that the present method is ``syntax free'' in the sense that no free object is required for the investigation.   For the e-variety \\({\\mathcal R} {\\mathcal S}\\) of all regular semigroups, seven systems are presented all of which are HS-compatible radical congruence systems. The central one is the already mentioned system \\(\\mu\\) where \\(\\mu_S\\) is the greatest idempotent separating congruence on the regular semigroup \\(S\\). Alternatively, \\(\\mu_S\\) may be characterized as the largest congruence on \\(S\\) all of whose idempotent classes are groups. If we replace ``groups'' by, respectively, ``completely simple semigroups'', ``left groups'', ``right groups'', ``rectangular bands'', ``left zero semigroups'', ``right zero semigroups'' then we get the other six congruence systems. The complex congruences on \\({\\mathcal L}_{ev}\\) associated with these systems are denoted by \\(T\\) (associated with \\(\\mu\\)) and \\(M\\), \\(T_l\\), \\(T_r\\), \\(K\\), \\(K_l\\), \\(K_r\\), respectively. Many interesting results about these congruences and the associated operators \\({\\mathcal V} \\mapsto {\\mathcal V}^T\\), etc., are obtained, for instance the equation \\({\\mathcal E}S = {\\mathcal T}^M = \\bigvee^\\infty_{n = 1} {\\mathcal T}^{(T_l T_r)^n}\\) where \\({\\mathcal E} S = E\\)-solid semigroups and \\({\\mathcal I} = \\) inverse semigroups.   Remarks: At least in the context of the present paper, the distinction between ``HS-compatible radical congruences systems'' and ``e-varietal radical congruence systems'' seems to be superfluous and unnecessarily complicated as all congruence systems under study belong to the former type.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1906646$E437C545-5054-4B12-9CD0-F169E958CCDD","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":"Q1906646$651FFD4F-E03F-490D-B014-A192E82066CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1906646$63A119A1-E0D6-4C05-9C55-E567A04D8665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1906646$B28DC260-EE42-4AA9-8B51-3F4A42F375D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1906646$B5A8DAE4-B69B-4990-B018-9896FF8BAA02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beff01b370fcff9d315b5f5618c62634d9218c19","datavalue":{"value":"20M17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1906646$F3E0538E-375F-49C6-8B99-0515ABA42FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"161452d058224a660e3b8a96064cc184f10828db","datavalue":{"value":"20M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1906646$3AEAE75E-D881-4708-8C65-57447B668258","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7fb9344edea5acd5fc5a29b82680b14b94a1cb78","datavalue":{"value":"840727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1906646$A999E20D-CA97-42CE-98BC-84BD87FDF94F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a580779551422a9661e794d33b7fdb7b963cade","datavalue":{"value":"existence variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1906646$97B78B36-27F4-40AA-B3E3-D69D22310296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3843a3c97bbc5e4f23f071e1dda39438187bcac","datavalue":{"value":"complete congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1906646$D53D593E-8389-4554-8A16-5E6BFC508322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22656426ab04f722fdaec50e3e7e8cf532695119","datavalue":{"value":"radical congruence systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1906646$6696FE84-F085-4B68-AB31-3D8D1587DA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f0947e69e32e34b28536dfa65bdc0ab1e9b7293","datavalue":{"value":"regular semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1906646$0442C783-276F-404E-9FA2-DD7EA8785D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0749610cec40277fee2351bc7c5486b04d88cec","datavalue":{"value":"idempotent separating congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1906646$5736A1DF-BB61-4998-B403-B331B14659B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"792f6aba47a2a8b885c06cfa6cd7bb9cf63f7176","datavalue":{"value":"lattice of varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1906646$8DB083FD-D881-4B6E-A27C-0DA2FDBA37EC","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":"Q1906646$05C41A2D-26A1-427B-920A-682006D18955","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"961d03cee82b0479e8711332dbc6c78a57c685e7","datavalue":{"value":"https://doi.org/10.1006/jabr.1995.1375","type":"string"},"datatype":"url"},"type":"statement","id":"Q1906646$EEEDBE72-DE33-4C6A-B08C-BCA40347FD9A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6b71e8809990a1eeca1acdbe29d17d3a43086b8","datavalue":{"value":"W2083616227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1906646$94E812BC-7494-487F-ABDE-295C063EC493","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac45898b6e830a91c92415776b9e3239b22f6747","datavalue":{"value":"10.1006/JABR.1995.1375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1906646$62D2C225-1B0B-46A7-9262-E2DA2FA2AF67","rank":"normal"}],"P1643":[{"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":"a8cf8a29329bb4a1a69f587778fa1ca6667edd2d","datavalue":{"value":{"amount":"+0.96690357","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1906646$E3F03CFF-7DD1-4097-9DFF-44973BCD6B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"707ba9ceb7ffa38b073069cfc3567a501891c0eb","datavalue":{"value":{"entity-type":"item","numeric-id":1300602,"id":"Q1300602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9cbb71f86ff47c59d9df1eb792408144a981eb9","datavalue":{"value":{"amount":"+0.9563414","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1906646$33AF7017-CBBE-4DCB-872A-02EF9B27836E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75a86dc9ab9b691c66931440c9da7200d72416a3","datavalue":{"value":{"entity-type":"item","numeric-id":3778168,"id":"Q3778168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8094ff45ae23e24cacec129f4f9a04ec19c6a67","datavalue":{"value":{"amount":"+0.9435314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1906646$C5F9585A-0BB5-4837-A734-38FB76689FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f5511d7abed6975e6eb7d426ea222f9cc66714a","datavalue":{"value":{"entity-type":"item","numeric-id":3448280,"id":"Q3448280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e01bb43658568d85e0d9537cd2bfb8f945d947fb","datavalue":{"value":{"amount":"+0.9413878","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1906646$45F8F51A-AC3E-44FD-8BF3-0CA081B09AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6c5050bd7db658623383a1e8dec203a8376bdc9","datavalue":{"value":{"entity-type":"item","numeric-id":5122230,"id":"Q5122230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3962309527b8dba248edd7720eea92cb45e60962","datavalue":{"value":{"amount":"+0.9402144","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1906646$86BA9A1F-78F0-4D6F-B0EC-93545683EB71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83f96ff676921ce15650b408fb94adc929017f02","datavalue":{"value":{"entity-type":"item","numeric-id":1105702,"id":"Q1105702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d66c2a4902e44bf87b1ddd2057aa0f9affee87f","datavalue":{"value":{"amount":"+0.9391149","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1906646$33127BDD-A31B-4A9A-8D32-B95FD7F28F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61af15d8efd045f0e7be399957308f4886d0b459","datavalue":{"value":{"entity-type":"item","numeric-id":5185093,"id":"Q5185093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a1bb20ae312192940ad1ae49e1d2ee7a033d2b5","datavalue":{"value":{"amount":"+0.93889713","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1906646$3D19BC7E-ADC6-4DD7-BA0C-C13D78D6A911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"616c7ad138414eed55ba5959f9ce2b8aa65f7758","datavalue":{"value":{"entity-type":"item","numeric-id":3767513,"id":"Q3767513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6344e7ae1702844b0a7babd0b11911e4eb331c5e","datavalue":{"value":{"amount":"+0.9373977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1906646$403D5B72-BAEB-4E38-9CA5-CF7CD677E86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"214a7af904a166d2dfb05d6b34af49d79f301b1c","datavalue":{"value":{"entity-type":"item","numeric-id":3322298,"id":"Q3322298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6344e7ae1702844b0a7babd0b11911e4eb331c5e","datavalue":{"value":{"amount":"+0.9373977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1906646$624B6B3A-B23A-46A2-8C57-F324EA94E545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"771176389318e1b44b1448666be50af9a66a04ea","datavalue":{"value":{"entity-type":"item","numeric-id":5696832,"id":"Q5696832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c30b8860512888246ec2257b871ac692efe660c","datavalue":{"value":{"amount":"+0.9365058","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1906646$58ECCDDF-2E43-4B2B-B751-E7340B93269A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Congruence relations on the lattice of existence varieties of regular semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Congruence_relations_on_the_lattice_of_existence_varieties_of_regular_semigroups"}}}}}