{"entities":{"Q755903":{"pageid":757752,"ns":120,"title":"Item:Q755903","lastrevid":64227147,"modified":"2026-04-11T18:28:26Z","type":"item","id":"Q755903","labels":{"en":{"language":"en","value":"The congruence lattice of a Reilly semigroup"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4190041"}},"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":"Q755903$6BBEC4C5-0609-4020-8B09-1346B8E7C6DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7151da07ffd8ab445e77220f44f19f28dac11e3","datavalue":{"value":{"text":"The congruence lattice of a Reilly semigroup","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q755903$A3A4826C-AC4A-467B-B093-E14483A8AA0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c91c48ea3cf11dc5411aed0fb8ca8673f3644c29","datavalue":{"value":"0722.20045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q755903$3F60CB50-093E-40DF-8340-AB3DD28274F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac0c2d865630ad8a40838cacb10748090dc160ee","datavalue":{"value":"10.1007/BF03323162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q755903$92E307ED-C83F-4282-A4CB-7F4F6E35B170","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":"Q755903$A2F8CE22-6CAE-4009-A9B3-ABA20699F543","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"12982252bdbf08365fdfe453232fb6e734596979","datavalue":{"value":{"entity-type":"item","numeric-id":189241,"id":"Q189241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q755903$F1A42386-9943-4AB1-AF0B-A735C77E623B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2fbf8bcd48a5ca1ac752985098b379d0dbb65","datavalue":{"value":{"time":"+1990-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":"Q755903$F7229493-2B44-4588-8B1D-92130F240AF7","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"613ab7a21aef1224b5df063a99945608c40c51a4","datavalue":{"value":"The semigroups in the title are those of the form \\({\\mathcal B}(G,\\alpha)\\), where G is a group and \\(\\alpha\\) an endomorphism, with a suitable product. These model the bisimple inverse \\(\\omega\\)-semigroups [see the author's monograph ``Inverse semigroups'' (Wiley, New York, 1984; Zbl 0546.20053)]. Their idempotent separating congruences were described by \\textit{N. R. Reilly} and \\textit{W. D. Munn} [Proc. Glasg. Math. Assoc. 7, 184-192 (1966; Zbl 0149.265)]; they also showed that the remaining congruences are all group congruences. The latter were described by \\textit{J. Ault} [Semigroup Forum 10, 351-366 (1975; Zbl 0299.20043)]. The purpose of the current paper is to describe the lattice further by computing all the meets and joins, in terms of these descriptions. This leads to a simple model for it as a ``sum'' of the two sublattices, consisting of the idempotent separating congruences and the group congruences, respectively.","type":"string"},"datatype":"string"},"type":"statement","id":"Q755903$764AD440-805F-47BA-8372-16DB7973FB74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4ac0e84a504a59b674a6c5271111dec0d2b6bb2","datavalue":{"value":"20M18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q755903$76B065A8-3E86-4DAC-A34A-239C81E9722A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e97160186f77c1e06a7a36eea2e658440a4bda2f","datavalue":{"value":"4190041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q755903$5CB228DB-3919-4C88-9981-85A802B30419","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0d507aaf2d92375ae2148fa8d0751e791865c3d","datavalue":{"value":"Reilly semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q755903$0C3C4533-FB78-4C4A-B527-EB1B29C51730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59c20a6de12f3e434322d87e12ca6650d0f23940","datavalue":{"value":"bisimple inverse \\(\\omega \\) -semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q755903$2BB7A2A4-9719-4D80-8BA0-D7A16047D567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0749610cec40277fee2351bc7c5486b04d88cec","datavalue":{"value":"idempotent separating congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q755903$29B4DD19-83DF-479F-AA4C-18694105A109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ef81fc2b35cfdfdeee12763eeac5bbf321dd617","datavalue":{"value":"group congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q755903$7C26FCE3-8ECA-4BD8-A9C0-BB4D1F20B96A","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":"Q755903$1A5B62E1-D76B-4E22-BEF1-9C8AD661CDB2","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":"Q755903$E6FFB829-C690-49C9-83A9-B0F1BFC18BBE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"73b3f8f09d79138adc8987b23962815027233cb2","datavalue":{"value":{"entity-type":"item","numeric-id":1215011,"id":"Q1215011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q755903$C9A49114-FE21-4192-AEF6-0CDD4BDACF39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d17e1409700d7c24f9f9da20152c6e7dd5be6d30","datavalue":{"value":{"entity-type":"item","numeric-id":5592999,"id":"Q5592999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q755903$3F20E796-0910-48A7-BA3F-70CD46521F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9050f3e9075a3768c9ec179ed0eaed06746ab82c","datavalue":{"value":{"entity-type":"item","numeric-id":5528697,"id":"Q5528697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q755903$12DDD250-BD69-43B2-AABC-EAE15E0490C7","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":"Q755903$C39CF1AF-96E3-473A-86A8-E4A9BFABB5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c53d57a230b4bbfeeca49cf0ac14239a914a144e","datavalue":{"value":{"entity-type":"item","numeric-id":3337662,"id":"Q3337662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q755903$D6BEE62A-04D7-4D2D-B83D-202F95F9626D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50a07113805d3c4dc4be9630462c9a62ec3e3a03","datavalue":{"value":"https://doi.org/10.1007/bf03323162","type":"string"},"datatype":"url"},"type":"statement","id":"Q755903$C2605D82-351E-4729-992E-27727889A8F2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b727717e1bfd188499b79647c99312286ae5df16","datavalue":{"value":"W2054838638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q755903$99B8C1FD-032F-45F3-B809-1F321EDFF475","rank":"normal"}],"P1643":[{"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":"de6682770b55f992eae5fcfa75bcb2cd8fa00492","datavalue":{"value":{"amount":"+0.9402807","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":"Q755903$2464FB3D-6B90-4065-AF6C-F55A3A48703B","rank":"normal"},{"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":"2da9f3f415a059a94f9967f659a206d86af932df","datavalue":{"value":{"amount":"+0.9292038","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":"Q755903$796AE609-46A2-4449-9313-3CF00E3931ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c408c820f230067627f0c8be4c2364cf8611291d","datavalue":{"value":{"entity-type":"item","numeric-id":4024299,"id":"Q4024299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8fbfb7294bc7d5eb12e51f7cf9ff6ad3741cc43","datavalue":{"value":{"amount":"+0.9250821","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":"Q755903$B51BFE8C-B448-4E33-99D9-D8C42AF1A40B","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":"9a114cb6cfc9aaffc00f19048da538f5aab04af3","datavalue":{"value":{"amount":"+0.9250302","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":"Q755903$68ECBE56-4E09-4C0A-9773-B0F1A66D0DF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7945ab216022061ec2a4fda6a0657bfdbf356df3","datavalue":{"value":{"entity-type":"item","numeric-id":1193498,"id":"Q1193498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4879ad662c31e26ff2b50aaa01abc843d393efa2","datavalue":{"value":{"amount":"+0.9235013","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":"Q755903$7FBA7446-AC9E-4BAD-8175-07E22BD314F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"859df818b4ca8fb61e56aef8b06df01e47140826","datavalue":{"value":{"entity-type":"item","numeric-id":3720825,"id":"Q3720825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88e68d5617cb163d1f64e9f312d09e97f7ac1778","datavalue":{"value":{"amount":"+0.9190016","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":"Q755903$D4224F02-8AE9-4465-B142-FC4A76A75EB1","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":"cb8186160dbf258b69389308226370e9889a3d7d","datavalue":{"value":{"amount":"+0.91407716","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":"Q755903$0CEA03D7-4A8B-4971-BC58-9C2E94010E4A","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":"d4aed093f0dd49443237da4f338c91ee28da5f2f","datavalue":{"value":{"amount":"+0.91238266","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":"Q755903$C0375ED4-C0A6-4BE4-83C3-583154D4B3C8","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":"f44ab1bc51ed718cd4f5625e5be6726802ce5f81","datavalue":{"value":{"amount":"+0.9117531","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":"Q755903$0D1F025B-E39C-4030-9D49-4A0F7CED9493","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":"7607e7f0bd406124f9b27d930a6afcee41f73f06","datavalue":{"value":{"amount":"+0.91150856","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":"Q755903$4BFF267C-73CE-450B-8D64-3A3EF1873A2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The congruence lattice of a Reilly semigroup","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_congruence_lattice_of_a_Reilly_semigroup"}}}}}