{"entities":{"Q2367891":{"pageid":2378634,"ns":120,"title":"Item:Q2367891","lastrevid":78855122,"modified":"2026-05-06T12:35:34Z","type":"item","id":"Q2367891","labels":{"en":{"language":"en","value":"The \\(\\alpha\\)-congruences on \\(S(X)\\) and the \\(S\\)-equivalences on \\(X\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 269997"}},"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":"Q2367891$2A578BCC-F6DD-4079-AAE2-D8A87A3A7E82","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ee66cb8269f510aa7336f1c2c6a61686cc2bc6b1","datavalue":{"value":{"text":"The \\(\\alpha\\)-congruences on \\(S(X)\\) and the \\(S\\)-equivalences on \\(X\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2367891$2140D692-2900-44A5-B5EB-FBB0389D464A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c1e7c7a71b81f13b5ef67c6c975a270dc12b0a2","datavalue":{"value":"0784.20034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367891$ADF4090E-06B5-4E90-90EF-E41B6338763A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b874bd6eaf2c1739e506f11444effe9f5de5fa17","datavalue":{"value":"10.1007/BF02573740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367891$D7CC1073-790C-4AF7-B445-414960AF4E70","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":"Q2367891$9E3F7BCD-A0EE-4314-97AF-18DCD0A7D0AA","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":"Q2367891$EEE9178C-7F16-4319-B640-90336E78A238","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f591d0602ae4e2a85ee551e3fcfd046a3335ee2b","datavalue":{"value":{"time":"+1993-08-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":"Q2367891$7E594081-616F-4C28-83FA-DEC58340A588","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"141699a5a2fdb8e65c378e5176e037c86579a9a9","datavalue":{"value":"https://eudml.org/doc/135253","type":"string"},"datatype":"url"},"type":"statement","id":"Q2367891$BFAACCE8-AFCD-44B0-A8C6-649C88B95377","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"7028d0e9c30e1f8611635ad01878380346fed078","datavalue":{"value":"A homomorphism \\(\\varphi\\) from a semigroup \\(S\\) into a semigroup \\(T\\) is an \\(\\alpha\\)-homomorphism if \\(\\varphi(S)\\) has an identity \\(e\\) and \\(ez = z\\) for any left zero \\(z\\) of \\(T\\) implies \\(z\\in\\varphi(S)\\). Now let \\(S(X)\\) denote the semigroup of all continuous selfmaps of the topological space \\(X\\). A congruence on \\(S(X)\\) is defined to be an \\(\\alpha\\)-congruence if it is induced by an \\(\\alpha\\)-homomorphism from \\(S(X)\\) into \\(S(Y)\\) for some topological space \\(Y\\). An equivalence relation \\(R\\) on a topological space \\(X\\) is an \\(S\\)-equivalence if \\((f(x),f(y))\\in R\\) for all \\((x,y) \\in R\\) and \\(f\\in S(X)\\). Denote by \\(\\text{Seq}(X)\\) the complete lattice of all \\(S\\)- equivalences on \\(X\\) and let \\(\\text{Cong}(S(X))\\) denote the complete lattice of congruences on \\(S(X)\\). The author investigates the relationship between the \\(\\alpha\\)-congruences on \\(S(X)\\) and the \\(S\\)- equivalences on \\(X\\). For each \\(\\sigma\\in\\text{Cong}(S(X))\\), let \\(\\gamma(\\sigma) = \\{(x,y): (\\langle x\\rangle,\\langle y\\rangle)\\in \\sigma\\}\\) where \\(\\langle x\\rangle\\) is the constant function which maps everything into the point \\(x\\). It is shown, for example, that a congruence \\(\\sigma\\) on \\(S(X)\\) is an \\(\\alpha\\)-congruence if and only if \\(\\sigma = \\{(f,g)\\in S(X): (f(x),g(x)) \\in\\gamma(\\sigma)\\) \\(\\forall x \\in X\\}\\). For any congruence \\(\\sigma\\) on \\(S(X)\\), let \\(\\overline{\\sigma} = \\{(f,g) \\in S(X): (f(x),g(x)) \\in \\gamma(\\sigma)\\) \\(\\forall x \\in X\\}\\). Denote by \\(\\alpha\\text{-Cong}(S(X))\\) the family of all \\(\\alpha\\)- congruences on \\(S(X)\\) and for \\(\\sigma,\\tau \\in \\alpha\\text{-Cong}(S(X))\\), define \\(\\sigma\\nabla \\tau = \\overline{\\sigma\\vee\\tau}\\). It is shown that \\(\\alpha\\text{-Cong}(S(X))\\), under the operations \\(\\cap\\) and \\(\\nabla\\), is isomorphic to the complete lattice, \\(\\text{Seq}(X)\\), of all \\(S\\)- equivalences on \\(X\\). The author goes on to investigate the smallest and greatest proper \\(\\alpha\\)-congruences on \\(S(X)\\) and also those \\(\\alpha\\)- congruences \\(\\sigma\\) with the property that \\(S(X)/\\sigma\\) is isomorphic to \\(S(Y)\\) for some space \\(Y\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367891$EE7553E4-D03E-4632-8C4E-2D8D1DB34F62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367891$70827AEE-75C7-42CD-9E84-F36D4EB76475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"68b51577a1dd4998c37632bce89096914f601ab7","datavalue":{"value":"54H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367891$86158B91-5945-4C50-A91D-E844623EBA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367891$18A8BE69-1DD6-4743-B724-DAAC2D49E2CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d93ae87c1ca6de53c369a2aaa2cf0a77927be38","datavalue":{"value":"269997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2367891$46D7C1D4-5565-4D65-9F2A-BD84AEB7AACE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00808a8a45c82672b79f727967f9c104d5b23ca6","datavalue":{"value":"semigroup of continuous selfmaps","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367891$F5EA6215-4595-4E26-906E-932C3BD7E931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e611367bd373e1470b474a54861b673b50e50e5c","datavalue":{"value":"lattice of equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367891$70612558-811C-4978-811E-5B68B4231521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0002b93fda29cd7c6df616997cbc2d2c1000c9b1","datavalue":{"value":"complete lattice of congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q2367891$127F8A8C-95B0-4AF5-A819-364057477E2D","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":"Q2367891$3ABB89F0-0CC3-4CAE-9E54-C8F64F5AFE06","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":"Q2367891$A9BCBDB4-ED6C-4BFB-86E3-9E8E350F8C6E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9b38eed1433795edeaa7de595323ff7ee7270dd","datavalue":{"value":{"entity-type":"item","numeric-id":771150,"id":"Q771150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367891$301C52F5-C718-4C39-B17F-6291FF76C17F","rank":"normal"},{"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":"Q2367891$A21615BA-8D5C-4D60-B55F-7779682D8708","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":"Q2367891$F6E41276-3862-41A4-B983-A5C0C3B5676B","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":"Q2367891$1BFFFFD7-F975-417B-8C3F-59367A3F1D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6e571cd31cb8bbcf9c259517baf90dcb85bf2aa","datavalue":{"value":{"entity-type":"item","numeric-id":1231017,"id":"Q1231017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367891$B12FD786-5BA2-408A-8408-580C61763A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d820cad85ab68cab7bb0461bc25eb6ea1623550f","datavalue":{"value":{"entity-type":"item","numeric-id":801165,"id":"Q801165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367891$972BE2C2-4481-4B5A-A18B-4AC626DC0489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1e1902398e1cde0dcb8e7d658c1dba74f2b4ace","datavalue":{"value":{"entity-type":"item","numeric-id":3744881,"id":"Q3744881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2367891$3344B679-BBB1-4B34-8EE2-E962F35A996B","rank":"normal"}],"P1643":[{"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":"6811ba956636f6676f87177fc54fedf649be6f4c","datavalue":{"value":{"amount":"+0.9143060445785522","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":"Q2367891$7D608339-DCAE-4A41-9E18-EC79113B74D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34a5208723c71690c037c4a59986b1c9a1fd8e05","datavalue":{"value":{"entity-type":"item","numeric-id":1328445,"id":"Q1328445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd75e0c3efdedd677fa77412bdc4cbece40fae56","datavalue":{"value":{"amount":"+0.86021488904953","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":"Q2367891$87A4ACEF-D152-4AC8-9A8E-5C17E95646DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a910f6f68e22bea42dc3dc4b5d7f0cb921a9e5b0","datavalue":{"value":{"entity-type":"item","numeric-id":4730452,"id":"Q4730452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d0ec16fc2cbb72857edb615221c8a9723eadff7","datavalue":{"value":{"amount":"+0.8304418325424194","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":"Q2367891$DDA51055-F2FA-45A9-A6DF-37DEA39372A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The \\(\\alpha\\)-congruences on \\(S(X)\\) and the \\(S\\)-equivalences on \\(X\\)","badges":[]}}}}}