{"entities":{"Q1916043":{"pageid":1926785,"ns":120,"title":"Item:Q1916043","lastrevid":69287169,"modified":"2026-04-13T06:00:16Z","type":"item","id":"Q1916043","labels":{"en":{"language":"en","value":"A regular \\(\\alpha\\)-semigroup inducing a certain lattice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 895854"}},"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":"Q1916043$6D123A13-7100-4966-B1B1-3E519B394933","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aa46084aed82b503ec4a3fb04517117ca9172deb","datavalue":{"value":{"text":"A regular \\(\\alpha\\)-semigroup inducing a certain lattice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1916043$6DC719E6-D914-452C-9DF3-51EF00F1F734","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f62b357baa2b0478fb6021c56329b51e33c2c8b8","datavalue":{"value":"0852.20052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1916043$78E05041-0867-4C11-8AE2-1056FC4A72F7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c6949f372f5a40076743f6a14553f5c43661ef9","datavalue":{"value":"10.1007/BF02574125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1916043$AB5FD54D-F85F-4CBD-9AE4-B7E47F94D313","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":"Q1916043$67C06473-9B1F-41D4-A277-6BEB8E5A237B","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":"Q1916043$A78D39FE-16BB-46BD-86FD-991C29A1FA60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"60f58ce018f61c861ea54eb82532fc81797d50cb","datavalue":{"value":{"time":"+1996-12-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1916043$FEC56EF5-5559-4B35-B9B7-A1AAD6F17A47","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"939072f4c4cf43719914ad8a8131aa9fc67b1f2f","datavalue":{"value":"https://eudml.org/doc/135474","type":"string"},"datatype":"url"},"type":"statement","id":"Q1916043$316BB41E-4C26-47D4-9C11-68EC5B6604AF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"56ac8e8539db928bf1616a4174c4d11e4fb8a369","datavalue":{"value":"\\(X\\) is a set with \\(|X|\\geq 3\\) and \\({\\mathcal T}_X\\) is the full transformation semigroup on \\(X\\). An \\(\\alpha\\)-semigroup is any subsemigroup \\(T(X)\\) of \\({\\mathcal T}_X\\) which contains the identity map and all constant maps. An equivalence relation \\(E\\) on \\(X\\) is a \\(T\\)-equivalence if \\((f(x),f(y))\\in E\\) for all \\((x,y)\\in E\\) and \\(f\\in T(X)\\) and the set, \\(T_{eq}(X)\\), of all \\(T\\)-equivalences forms a complete lattice. For any equivalence relation \\(F\\) on \\(X\\), let \\(T_F(X)=\\{f\\in{\\mathcal T}_X:(f(a),f(b))\\in F\\;\\forall (a,b)\\in F\\}\\). Next, let \\(\\delta\\) denote the diagonal relation, \\(\\omega\\) the universal relation and for any equivalence relation \\(E\\), let \\([E,\\omega]\\) be the interval determined by \\(E\\) and \\(\\omega\\). Then, let \\(T(X)=\\bigcap\\{T_F(X):F\\in\\{\\delta\\}\\cup[E,\\omega]\\}\\) and \\(T_E'(X)=\\{f\\in T_E(X):\\text{Ran}(f)=\\{a,b\\}\\) and \\((a,b)\\in E\\}\\cup Z(X)\\) where \\(Z(X)\\) consists of the identity map, together with all constant maps. In [Semigroup Forum 49, No. 1, 49-58 (1994; Zbl 0804.20046)], the author showed that \\(T_{eq}(X)=(T_E')_{eq}(X)=\\{\\delta\\}\\cup[E,\\omega]\\) and that \\(T(X)\\) is the greatest \\(\\alpha\\)-semigroup with this property. He then asked if \\(T_E'(X)\\) is the smallest \\(\\alpha\\)-semigroup with this property and in this paper, he shows that the answer is negative. A number of other related results are also obtained.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1916043$6F9D9DEB-EA95-4D55-87A4-1F41FC8C1190","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"28c26f343d909e4a66e25387c3adc02e650c67e8","datavalue":{"value":"20M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1916043$748F8F54-FE92-4EAE-861D-50A1078C4B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1916043$C6F44FB0-21BC-443C-AD5E-409F9344EF15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8657ac6c38ed25d0542315e1ea5d0b1ab0616eb","datavalue":{"value":"06B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1916043$05E01FA4-4977-4388-8D83-972CFB492516","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00b9b851f42311206656e319546712502c60db2d","datavalue":{"value":"895854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1916043$96204265-E8CB-4DEF-B2B5-E6D2141511B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02a7d5e6977b4cb4b1de6b7c73c5343c66025c8","datavalue":{"value":"full transformation semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1916043$6186B76F-D182-48E8-9A72-7FA6958BA78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"280c8f9b5cab95a2a15b895bdb10674b8006f46a","datavalue":{"value":"equivalence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1916043$F083B415-66C5-4DFE-AF24-4FA7F7F1AF3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"325b8ca093de3ac40d62b327459926a43b835cc2","datavalue":{"value":"\\(T\\)-equivalences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1916043$EB48F5B1-8361-4E89-89B3-832DB0E736E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8d63bd162dbdb7e6310553fa4e73e95ac8f4ba9","datavalue":{"value":"complete lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1916043$BD515464-7C5B-4DE9-8CBA-743A6EEB2D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a668f97aefc42d56becb1193aeedcac27451336","datavalue":{"value":"\\(\\alpha\\)-semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1916043$1AF4E05C-78ED-49E9-BD83-627DE8838860","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":"Q1916043$E71C8F75-C71F-4A1F-9368-A5CC14C1931F","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":"Q1916043$447D4A6A-3863-4722-9875-E27866366DE9","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":"Q1916043$C0F9E755-D02D-433D-ABF7-44668DBC0224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ddeb5ac0c2dbb6de4bb6db2afa583d7c00f86ea","datavalue":{"value":{"entity-type":"item","numeric-id":4075674,"id":"Q4075674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1916043$60BC35B3-44A6-46E1-A93A-61FC8731820E","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":"Q1916043$EE86281B-0D5E-44F9-8F90-6209A4964FC0","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":"Q1916043$2A9A01AD-7FB6-4D36-9FF0-7B91C029A4D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"104914979a2217025ec2f8c5b0f12376cdab613c","datavalue":{"value":{"entity-type":"item","numeric-id":1328445,"id":"Q1328445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1916043$F304E544-D481-47FD-8AC7-0FDC0535B5AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4f9105069d96daee1297f6117a400932aecf9341","datavalue":{"value":"W2045215359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1916043$DF340ED3-8541-422B-9BCB-289403944B2A","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":"56fd6a3a1273718ef7898a84430ef1c7d209931f","datavalue":{"value":{"amount":"+0.8432174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1916043$83896973-41ED-4757-9C9B-02A7AF23E087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"004ac9983e1f300fd4ee57cf1d45f905721e7f1b","datavalue":{"value":{"entity-type":"item","numeric-id":2847685,"id":"Q2847685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ece01cb9a89a35250320a59b2a874c01ce038e2a","datavalue":{"value":{"amount":"+0.8152597","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1916043$48380B33-0A00-473B-BB04-9C7DA77CE1F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23f95f3644474d7450ec09df5cf1805f5da4aad7","datavalue":{"value":{"entity-type":"item","numeric-id":731316,"id":"Q731316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a44ecf28e1d125fabbd0292696481961605b172","datavalue":{"value":{"amount":"+0.8064593","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1916043$40D8E04E-F9B6-429C-A2CB-C81B2FE90297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cc47723379fc838f122bceb848103ac634d57a7","datavalue":{"value":{"entity-type":"item","numeric-id":2872001,"id":"Q2872001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd67d2396667794f9b6f303707d7b7ddd0ff93ef","datavalue":{"value":{"amount":"+0.79807115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1916043$FAA4CF20-7942-48DB-B375-584DB2B4C80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66560d4dee1a753bd71a64ca87edfba389b04c1c","datavalue":{"value":{"entity-type":"item","numeric-id":5742821,"id":"Q5742821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad45f7c59216167eaacac244c55e739a9285d779","datavalue":{"value":{"amount":"+0.7935075","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1916043$4396BB73-F929-4F26-AB9F-2C713C60F85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44acf347c4e3f5e5d9156c544c5d62485df71e5c","datavalue":{"value":{"entity-type":"item","numeric-id":2918171,"id":"Q2918171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8c9d964fc0af07cc4ba713bd0a397bf6dad89d2","datavalue":{"value":{"amount":"+0.7909609","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1916043$02D3D88B-C512-41C8-A144-422F8367F217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f3d8c93469822bf70d980de648150bcb7abb555","datavalue":{"value":{"entity-type":"item","numeric-id":2111496,"id":"Q2111496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5c5f5d9d27f48ece787403481f4df05b1ae9ec5","datavalue":{"value":{"amount":"+0.78125954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1916043$14807F96-2ACA-41E1-A9C9-410D686A5668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a88bb0e56e810218f890e679823cdb41c02d2752","datavalue":{"value":{"entity-type":"item","numeric-id":4684406,"id":"Q4684406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adbc95777de0f1ae534e7e1ff345efc9dd8cfbe7","datavalue":{"value":{"amount":"+0.77302665","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1916043$C2D24E59-9D75-41EB-A998-B9E884616272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6479dbb9098608d1fd3afcc3ccc0341bc1f82bad","datavalue":{"value":{"entity-type":"item","numeric-id":3054341,"id":"Q3054341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f86fdb5c13bc9fbb455e51274ccb79f27f8e3dc","datavalue":{"value":{"amount":"+0.771111","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1916043$B3CC3BAC-DD24-49DF-B665-6A37B82DFCAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"708e4c299ee81a19b60ccbc2054c74c89fd019ab","datavalue":{"value":{"entity-type":"item","numeric-id":2825074,"id":"Q2825074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5789149bdc77989e8a3b2d09efd4608f06f5ff9","datavalue":{"value":{"amount":"+0.77053994","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1916043$FF21D100-4EF6-49B6-B77B-286ED86908BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A regular \\(\\alpha\\)-semigroup inducing a certain lattice","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_regular_%5C(%5Calpha%5C)-semigroup_inducing_a_certain_lattice"}}}}}