{"entities":{"Q1328445":{"pageid":1339195,"ns":120,"title":"Item:Q1328445","lastrevid":68612625,"modified":"2026-04-13T00:55:16Z","type":"item","id":"Q1328445","labels":{"en":{"language":"en","value":"Equivalences, \\(\\alpha\\)-semigroups and \\(\\alpha\\)-congruences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 611114"}},"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":"Q1328445$FF9F02F0-F6A5-48DC-B4A6-E98F213810B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d23fb9ea750eda661c6f808ceb0cbdbfa401d71","datavalue":{"value":{"text":"Equivalences, \\(\\alpha\\)-semigroups and \\(\\alpha\\)-congruences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1328445$AAA0E426-D342-4748-B379-046EEE3DECC9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58616489764e92d0236c983fda66fdf61bc21d5c","datavalue":{"value":"0804.20046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328445$38077B9F-3AC1-433D-AA49-49165EC7B711","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31d377b0c8e0080226b4f75c221958cdb27653b4","datavalue":{"value":"10.1007/BF02573470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328445$534819CD-FA45-46EB-B12F-D1BA423C3EFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bf1b6c35a4effaf89e276b7f55a34a75039a7f9","datavalue":{"value":{"entity-type":"item","numeric-id":182085,"id":"Q182085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328445$B7BA5253-DCC5-43E9-9A51-1DD4E981857D","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":"Q1328445$6ECFED71-4892-4BEA-BD9A-B14A832812A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d1dc0ab37544bc427e63a8908d27dae4658f3b1","datavalue":{"value":{"time":"+1995-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1328445$B0D6F375-4905-4018-9C63-00E293824E3A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29aab841dd2a36a1109bbb8d5c8e5897d59c6212","datavalue":{"value":"https://eudml.org/doc/135333","type":"string"},"datatype":"url"},"type":"statement","id":"Q1328445$8C31463F-F2E5-4C67-94E7-0C7BCEE6090B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2520a30b02cdf7a8ae6650f8a247aa24b01a266c","datavalue":{"value":"Let \\(X\\) be a set with more than one point. An \\(\\alpha\\)-semigroup, \\(T(X)\\), is any semigroup of selfmaps of \\(X\\) which contains the identity map and all constant maps. An equivalence relation \\(E\\) on \\(X\\) is a \\(T\\)- equivalence relation if \\((f(x), f (y)) \\in E\\) for all \\((x, y) \\in E\\). The complete lattice of all \\(T\\)-equivalences on \\(X\\) is denoted by \\(T\\text{eq}(X)\\) and the complete lattice of all equivalence relations on \\(X\\) is denoted by \\({\\mathcal E}(X)\\). The \\(T\\)-equivalences turned out to be useful in the search for the smallest proper congruence on \\(T(X)\\). Specifically, it was shown by \\textit{K. H. Hofmann} and \\textit{K. D. Magill} jun. [Glasg. Math. J. 30, 301-313 (1988; Zbl 0681.54018)] that \\(T(X)\\) has a smallest proper congruence if and only if there is a smallest proper \\(T\\)-equivalence and moreover, one can describe the smallest proper congruence in terms of that \\(T\\)-equivalence. The work in this paper was motivated by the following question. Given a complete sublattice \\(L\\) of \\({\\mathcal E}(X)\\) with \\(\\Delta(X),X \\times X\\in L\\), where \\(\\Delta(X)\\) is the diagonal of \\(X\\), does there exist an \\(\\alpha\\)-semigroup \\(T(X)\\) such that \\(T\\text{eq}(X) = L\\)? The question is left unanswered but to get some idea of the type of result obtained, choose \\(E \\in {\\mathcal E}(X)\\) and define \\(T_ E(X) = \\{f \\in {\\mathcal T}_ X : (f(a), f(b))\\in E\\;\\forall(a, b) \\in E\\}\\) where \\({\\mathcal T}_ X\\) is the semigroup of all selfmaps of \\(X\\). The author proves, for example, that if \\(E,F \\in{\\mathcal E}(X)\\) are noncomparable and if \\(E \\cap F \\neq \\Delta(X)\\) and \\(E \\vee F \\neq X\\times X\\), then \\(T\\text{eq}(X) = \\{\\Delta(X), (E \\cap F), E, F, (E \\vee F), X\\times X\\}\\) where \\(T(X) = T_ E(X) \\cap T_ F(X)\\). He goes on to conjecture that if \\(L\\) is an arbitrary sublattice of \\({\\mathcal E}(X)\\) containing both \\(\\Delta(X)\\) and \\(X \\times X\\), then \\(T(X) = \\bigcap\\{T_ E(X) : E \\in L\\}\\) is the greatest \\(\\alpha\\)-semigroup with \\(T\\text{eq}(X) = L\\). The author also investigates \\(\\alpha\\)-congruences. A congruence \\(\\sigma\\) on a semigroup \\(S\\) is referred to as an \\(\\alpha\\)-congruence if \\((az, bz) \\in \\sigma\\) for all left zeros \\(z \\in S\\) implies \\((a, b) \\in \\sigma\\). Among other things, he shows that if \\(E, F \\in {\\mathcal E}(X)\\) are noncomparable and if \\(E \\cap F \\neq \\Delta(X)\\) and \\(E \\vee F \\neq X \\times X\\), then there are exactly six \\(\\alpha\\)-congruences on \\(T_ E(X) \\cap T_ F(X)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328445$2C69366C-E144-4F60-9BF3-E5D516A906DE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328445$D6B86D13-1565-4C61-AB3E-E15D54FC1711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328445$0F857F0E-104B-4B7D-9399-9667039299EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8657ac6c38ed25d0542315e1ea5d0b1ab0616eb","datavalue":{"value":"06B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328445$2661BB61-9CCA-4B9C-86D5-26850C4402A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"161452d058224a660e3b8a96064cc184f10828db","datavalue":{"value":"20M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328445$D523A42C-9E6E-46FA-8A2B-25EBF1775D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"68b51577a1dd4998c37632bce89096914f601ab7","datavalue":{"value":"54H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328445$83046C37-E158-4BE8-832C-B3BAB0EE510D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8875df0554773dc2b2fe8b281ead3cae8e7f625","datavalue":{"value":"611114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1328445$99E839F3-DD1B-4E61-A089-9B4D063EB2CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8231daadd0fe90842385796c69b483c13bb22e3c","datavalue":{"value":"lattice of equivalence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328445$BF050821-6AA4-42E6-B1EF-A9930DA9D104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b80f1346bd0ee325a0ab73f53d739c381fd22f9e","datavalue":{"value":"\\(\\alpha\\)-semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328445$53E00F4D-9371-480B-BC7A-9B2FE4D976B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"781594fa45051edc93d6652cc2c3118abcd28c5a","datavalue":{"value":"semigroup of selfmaps","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328445$80C93FD3-B470-4804-94E0-E6C1455CA3D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80fa948bd53da438cb0909f137cf46e8c95a8133","datavalue":{"value":"\\(T\\)-equivalence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328445$396D7C22-F5BA-449B-8E62-4BC7C61F5DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"325b8ca093de3ac40d62b327459926a43b835cc2","datavalue":{"value":"\\(T\\)-equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328445$AFBD86EA-02CD-4A8A-A36E-9A7402536FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15513948e2b37bd7e76aa4e5c07c213c361b92fb","datavalue":{"value":"smallest proper congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328445$6C2386E6-7E7A-4ABC-890B-96F4F548795B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2aec9c5e80608c7a01034791c15c535c855a3d61","datavalue":{"value":"\\(\\alpha\\)-congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1328445$D0554945-9847-4B20-8F0C-9F2368E3615E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4880fd1a9270e5b25133de71f895948a3bdbbc68","datavalue":{"value":{"entity-type":"item","numeric-id":233325,"id":"Q233325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328445$9D08B6B3-FC55-4352-B589-CB1385E7BD67","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":"Q1328445$B70799E6-584A-4FD9-8188-C6DC9FE5C0E2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"771eefae44f5d711ce8ffad687b3c684f3f8dc8f","datavalue":{"value":{"entity-type":"item","numeric-id":4730452,"id":"Q4730452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328445$01EA2D0C-38E0-447B-84EA-E6A0E8C67AAB","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":"Q1328445$C945B656-E7A5-4E8C-BFAD-FE1487F14F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e37b0c36a0393afc694c360f60268407ac52fc28","datavalue":{"value":{"entity-type":"item","numeric-id":5507596,"id":"Q5507596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328445$EB47E644-2E03-4E59-934F-673D5CAEF0B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de3f050becb1286da2bcccf2603c21c233b245ce","datavalue":{"value":{"entity-type":"item","numeric-id":2367891,"id":"Q2367891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1328445$416C5A6B-1752-4163-94B8-416DAC1F9521","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef61cf006d75e46a99d2805558e9c41881b70dc7","datavalue":{"value":{"entity-type":"item","numeric-id":1393038,"id":"Q1393038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66f157d2a74f8cfd4e030a4c2faa702ffc508d3c","datavalue":{"value":{"amount":"+0.9220495223999025","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":"Q1328445$7596EEDB-D88A-48F0-8EBB-7447AA4B5756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc3730fdd1d17c67fbab9152af3b0774d536b2a","datavalue":{"value":{"entity-type":"item","numeric-id":2367891,"id":"Q2367891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"889f6a0a15594c3e61040b5ed00f58fbcc516418","datavalue":{"value":{"amount":"+0.9209942817687988","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":"Q1328445$82101824-459B-4297-9CE1-9A0D362AC884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f0448c43dc2a47d20b9707fdf2914a009ad5eed","datavalue":{"value":{"entity-type":"item","numeric-id":1916043,"id":"Q1916043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96b27d3a0467ba85a5732619f5bf395cb3359454","datavalue":{"value":{"amount":"+0.91461181640625","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":"Q1328445$EA928262-0D44-406C-A02B-C7D2189B1E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41fb40c91491d71a70822d898f48f409965e41a6","datavalue":{"value":{"entity-type":"item","numeric-id":4527144,"id":"Q4527144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36472a6919b40056066a83f3ef132908a835c627","datavalue":{"value":{"amount":"+0.9136413335800172","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":"Q1328445$39D68D14-BFA3-4915-BEF1-54E6779DA944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97baf06c19364637bc435d8c2512a97487449992","datavalue":{"value":{"entity-type":"item","numeric-id":1586839,"id":"Q1586839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96bb2d9cdad8d86cb680d5ae6b0033dca8d17604","datavalue":{"value":{"amount":"+0.8802960515022278","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":"Q1328445$7D5ECF81-1D4B-45C2-8E14-7F9A3BBA7DEE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equivalences, \\(\\alpha\\)-semigroups and \\(\\alpha\\)-congruences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equivalences,_%5C(%5Calpha%5C)-semigroups_and_%5C(%5Calpha%5C)-congruences"}}}}}