{"entities":{"Q800494":{"pageid":802342,"ns":120,"title":"Item:Q800494","lastrevid":64467207,"modified":"2026-04-11T20:04:22Z","type":"item","id":"Q800494","labels":{"en":{"language":"en","value":"Relations on the lattice of congruences of a regular semigroup"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3875549"}},"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":"Q800494$84DBAF08-4B71-44EA-AE47-94E1BC2A32F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4493c7b7c27ced94f14e91e116709ffd56bdddfa","datavalue":{"value":{"text":"Relations on the lattice of congruences of a regular semigroup","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q800494$E9699092-EFFF-499A-95D4-3F653FB68776","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac64e439a40b7dcea6f7cf83910deabc26b81c03","datavalue":{"value":"0549.20044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800494$A7DC162F-A199-47A5-9108-55BC1E98DE44","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9059dce0d30d278997bac0953b313d59ea53488","datavalue":{"value":"10.1007/BF02572652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800494$F22A1895-1051-4CFA-A030-BBFF086578D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800494$B0521F23-A1AE-457F-AB30-8C1B689DD084","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q800494$569E2992-197E-4475-A82F-5EA28D7C05F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"218906c0af05e4673193534d920bc6ae9cdfc4ba","datavalue":{"value":"https://eudml.org/doc/134749","type":"string"},"datatype":"url"},"type":"statement","id":"Q800494$ED748D8C-F767-4B4A-BA8C-C8A43A82E6AB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a594dc527ef36720032669c2e0238bf977d537ad","datavalue":{"value":"Let \\(\\alpha\\),\\(\\beta\\) be congruences on the regular semigroup S. We define \\(\\alpha\\leq_ E\\beta\\) if \\(\\alpha\\cap E\\times E\\subset\\beta \\). Note that \\(\\leq_ E\\) is a reflexive transitive relation on the lattice of congruences \\(\\Lambda\\) (S) of S; the antisymmetry sets are the \\(\\theta\\) - classes of Reilly and Scheiblich. We define \\(\\alpha\\leq_{{\\mathcal L}}\\beta ((\\alpha\\leq_{{\\mathcal R}}\\beta))\\) if \\(\\alpha\\subset\\beta {\\mathcal L}\\beta\\) ((\\(\\alpha\\subset\\beta {\\mathcal R}\\beta))\\) and show that \\(\\alpha\\leq_ E\\beta\\) if and only if \\(\\alpha\\leq_{{\\mathcal L}}\\beta\\) and \\(\\alpha\\leq_{{\\mathcal R}}\\beta\\). Thus \\(\\alpha\\Theta\\beta\\) if and only if \\(\\alpha {\\mathcal L}\\alpha =\\beta {\\mathcal L}\\beta\\) and \\(\\alpha {\\mathcal R}\\alpha =\\beta {\\mathcal R}\\beta\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q800494$7A5AE852-0B54-42E9-B99B-9508A359BF9C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800494$44378341-6C45-48A1-A693-03C02C997AA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"161452d058224a660e3b8a96064cc184f10828db","datavalue":{"value":"20M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800494$92BBC10A-E87A-431F-94EC-0FA9EC0A8F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800494$610E33FF-54E4-4BF7-9837-54C618471BA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8804c27b72a2f3041a3baaf18224aa2c6b92beac","datavalue":{"value":"3875549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800494$1DB959C8-FAA6-45D3-803C-D24164D4C007","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e09a19a2f1d49fbc38b57058029e30518c0fec3","datavalue":{"value":"regular semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q800494$E69055CE-95F5-43AC-9868-E530E1D677AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0f1ba54db71cc0eb3ffb1a4e20193b63cbd3b3a","datavalue":{"value":"lattice of congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q800494$726E6928-82EA-462F-B379-6A36517546C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3438b914486e7e22b09b446419003f7e4b6d87a","datavalue":{"value":"antisymmetry sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q800494$70D0415D-445E-4A1A-9D84-B702CA32BA14","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"66a659e87f92a0bc8819e012c01edbdedcc9ee65","datavalue":{"value":{"entity-type":"item","numeric-id":771148,"id":"Q771148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800494$3B338D1B-1086-4BF7-9095-239C4CB2B03B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87099ae2b7d5b83533803e94f90c1841c008691f","datavalue":{"value":{"entity-type":"item","numeric-id":1223494,"id":"Q1223494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800494$3B34244A-C1A7-4FF5-B364-EFFC9A456890","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":"Q800494$9460EBEC-9648-4B94-87A1-91D8DCB4CBB9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed85cd03af69b0b3414e61da74ab7e3d313c1c7e","datavalue":{"value":{"entity-type":"item","numeric-id":5564342,"id":"Q5564342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800494$D3B9B42A-08D3-4520-A9A1-D9347A3DDF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44436b721673691f4b73cbb7152c0876916cdb1f","datavalue":{"value":{"entity-type":"item","numeric-id":1139133,"id":"Q1139133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800494$FE3F1CDF-D61A-4D27-A5A4-668C5124AF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc64a6ce65b2139a8694ce0aa86cfa0cbb828d05","datavalue":{"value":{"entity-type":"item","numeric-id":5560310,"id":"Q5560310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800494$CD5AE7A7-C974-4902-9F1E-92010D57EBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd8acf95012a2b79ce6775ee703f185f112c067","datavalue":{"value":{"entity-type":"item","numeric-id":5673101,"id":"Q5673101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800494$43CBB222-449B-4CCD-B762-80187C56BE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56bb85c57171c8de8b1b5219b49a460faff220ac","datavalue":{"value":{"entity-type":"item","numeric-id":1837775,"id":"Q1837775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800494$DE21D376-DF10-4F2F-A2C6-36539F34B974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"817489d7ccae7a75272184362cbc6df90c4f7a67","datavalue":{"value":{"entity-type":"item","numeric-id":2536630,"id":"Q2536630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800494$A9D734FC-A20C-44C3-9EBA-BD8279025B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3b6d792a5c26135370eb0c591aa266992c9b2bb","datavalue":{"value":{"entity-type":"item","numeric-id":3905477,"id":"Q3905477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800494$D9F6867C-2F09-45D4-8442-B4FFD1A0C874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91f04649805a4d62e12e1fa30945744ddf62a87a","datavalue":{"value":{"entity-type":"item","numeric-id":5920827,"id":"Q5920827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800494$32B389D6-5C63-4E55-9EF6-24757DB748A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"503bfe6b27aa6f09aff2a02edd75f4d670e07217","datavalue":{"value":"W2078650810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800494$EA9ED95D-3944-4472-A219-8CABF861F0D0","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":"dda5543c3463eb3f997a4247e06b732158b63c14","datavalue":{"value":{"amount":"+0.8686846494674683","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":"Q800494$CB258AA9-7EAD-48CE-B141-1CDBBF49FE92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a01ce45014db159c56768a1c2491b60c9ceaa2ca","datavalue":{"value":{"entity-type":"item","numeric-id":3758117,"id":"Q3758117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc4e9863377610d060439f9c4d40b3920786f0fa","datavalue":{"value":{"amount":"+0.8600978255271912","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":"Q800494$2F871F1A-245D-429B-8CA3-BF6A46B66943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa0d33e3dc2abfeb5d8ed7adc5ef16211d5ece6d","datavalue":{"value":{"entity-type":"item","numeric-id":5489092,"id":"Q5489092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac996fb5ab5c239dd58f7b04467bf0e5220d4335","datavalue":{"value":{"amount":"+0.8374118804931641","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":"Q800494$14D93548-922C-4A58-BF19-22F3B6802EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed2629bfbb19817bf09b7e8c9185a7ec992e1b01","datavalue":{"value":{"entity-type":"item","numeric-id":5450576,"id":"Q5450576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89c3f29c04c8f4458f1299ee8d73847efa4c2af1","datavalue":{"value":{"amount":"+0.8364793062210083","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":"Q800494$440FC50A-9279-46D4-B0D0-A1EDED46D073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45a80b6d82e5296c460ee5818e777b21d76cf625","datavalue":{"value":{"entity-type":"item","numeric-id":1342843,"id":"Q1342843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73307b7ba5f33cad793031763f53bf5be3f60125","datavalue":{"value":{"amount":"+0.8325003981590271","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":"Q800494$C7FA216B-FFE7-4987-B355-79F0A6674BE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relations on the lattice of congruences of a regular semigroup","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relations_on_the_lattice_of_congruences_of_a_regular_semigroup"}}}}}