{"entities":{"Q1312166":{"pageid":1322916,"ns":120,"title":"Item:Q1312166","lastrevid":67141725,"modified":"2026-04-12T15:34:05Z","type":"item","id":"Q1312166","labels":{"en":{"language":"en","value":"Existence varieties with lattices of regular subsemigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 488262"}},"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":"Q1312166$AA289455-49FC-44EF-BE9C-90FB1F395250","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d43e9a75ba0e29a852babe26503886e1ee05cba5","datavalue":{"value":{"text":"Existence varieties with lattices of regular subsemigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1312166$D06784A4-FCE7-4F43-9BA4-E990F92F0958","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f44f7ec839204efb668b3535aa91bd3415e4bd26","datavalue":{"value":"0797.20046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1312166$FB578CEA-6CE6-40A7-9D26-FE61F67DE625","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1628efbaac845f25c8227a6cf5face144b41035","datavalue":{"value":"10.1007/BF01195377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1312166$C313F502-417E-4A87-A80B-F5D82C58D489","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312166$874DA3CC-3C00-4D54-B0B6-485C2304AC4B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b4191656b1a8adf58cf26181dfbc61e7e91bb410","datavalue":{"value":{"time":"+1994-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1312166$4E3D1378-B824-4DF7-B43F-AD593B7C42FB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4797a71cdea4d0285d0cf7abed0a0c7e64cf0442","datavalue":{"value":"For a regular semigroup, the set \\(\\text{Sub}(S)\\) of its regular subsemigroups forms a partially ordered set under set inclusion. In general, \\(\\text{Sub}(S)\\) is not a sublattice of the lattice of all subsemigroups of \\(S\\); in fact, it need not even be a lattice at all. It is proven here that if \\(S\\) is either locally inverse or \\(S\\)-solid, then \\(\\text{Sub}(S)\\) is indeed a complete lattice, the meet of a family of regular subsemigroups being the set of regular elements of their intersection, in either case. In the context of \\(e\\)-varieties (classes of regular semigroups closed under products, quotients and regular subsemigroups), this is best possible: any \\(e\\)-variety \\(\\mathcal U\\) with the property that \\(\\text{Sub}(S)\\) is a lattice for each \\(S \\in {\\mathcal U}\\) must be contained in either the \\(e\\)-variety of locally inverse regular semigroups or that of \\(E\\)-solid regular semigroups.   \\{Reviewer's remark: A similar result is proven by \\textit{Y. T. Yeh} [Int. J. Algebra Comput. 2, No. 4, 471-484 (1992; Zbl 0765.20030)], where it is used to prove the existence of ``\\(e\\)-free'' objects in the \\(e\\)-varieties of locally inverse and \\(E\\)-solid semigroups\\}.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1312166$22B1E969-B2CE-4F85-B82E-61B2985C51B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1312166$25B53C83-2595-49E5-8F00-915C40002792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beff01b370fcff9d315b5f5618c62634d9218c19","datavalue":{"value":"20M17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1312166$B7D7CF9D-526C-4BA7-9778-0AE52EBBADBA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be6bf80ead20793dc4a052d03721b907cefad184","datavalue":{"value":"488262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1312166$07715EA4-7B18-4404-A6DD-0DF63C45DAC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f5af888bc494a02f94e27a787b5a20f7d53b82b","datavalue":{"value":"regular subsemigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1312166$DC34C37B-0AD1-4AD3-B129-8CD79805C50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86bdd86df4041cbbcfd2a0359b7b53c43870740b","datavalue":{"value":"regular elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1312166$6C3A2DB7-CC2B-4D97-805D-4C5419D82472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f15278e3a15c4659874cc79969ef32eba60cd39","datavalue":{"value":"\\(e\\)-varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1312166$EE513D50-217D-4E35-8E80-5C216839EF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f988e9fd7d149324fc7d97941b77e6984b304ad3","datavalue":{"value":"locally inverse regular semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1312166$351B67FA-E946-4E2D-8C3E-CC4D1AC4D27E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b9ef47c4a12d2bab3a7153cc4ad27be70ea3118","datavalue":{"value":"\\(E\\)-solid regular semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1312166$E56F98A8-F149-45E4-9FF7-A9B19537C1B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a02f13589e38792cf13804f4f02152f25627032","datavalue":{"value":{"entity-type":"item","numeric-id":1070353,"id":"Q1070353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312166$C548B214-63B8-4EA6-9FE4-F8A2449EB981","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":"Q1312166$62880FC0-5AD6-48EE-99DD-FCF505C8D5C2","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":"Q1312166$EE3A295D-E38F-4914-A61A-14FF335E9A25","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2568387e8a51ba2ead403de0de66af2c3ee38092","datavalue":{"value":{"entity-type":"item","numeric-id":2560900,"id":"Q2560900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312166$404BF216-3654-47B9-AF1D-657BC453CDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56abe006846a9b8a59c8e20b7e5a83ea13c98aa3","datavalue":{"value":{"entity-type":"item","numeric-id":1170635,"id":"Q1170635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312166$7FEF4901-928D-4863-85F1-DA3F82EDE492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de60160ecf67e033c39938e226eb0086180edb01","datavalue":{"value":{"entity-type":"item","numeric-id":3818496,"id":"Q3818496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312166$EB1E72B6-27A5-46C0-AAA5-2663C457A6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a86eeac86e05d5d455b54e386e128c4dd9438137","datavalue":{"value":{"entity-type":"item","numeric-id":803289,"id":"Q803289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312166$43588C08-D709-412F-9761-F2349AD27ABE","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":"Q1312166$1249DE49-2797-429C-96B1-5CB885A1D7FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d441e7ba7a28e0ba16a79b9acdb2e22d38b08dcb","datavalue":{"value":{"entity-type":"item","numeric-id":3986178,"id":"Q3986178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312166$9E36560C-C60C-4D6C-B513-693FF89632D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ec2c672f65dc73f10cf5a9ea4a1021643153090","datavalue":{"value":{"entity-type":"item","numeric-id":3220760,"id":"Q3220760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312166$CDBB1EF9-4745-4F9C-A6D5-5B9AF6BA21FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5224c77e93c58083378ee4d9e986e6baa6aa4832","datavalue":{"value":{"entity-type":"item","numeric-id":917710,"id":"Q917710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312166$A669C923-C964-430C-8665-7EE9DBD174E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e2e271d8729afdaee1c2c1bc8f5c5c775756ecf","datavalue":{"value":{"entity-type":"item","numeric-id":3487647,"id":"Q3487647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1312166$CF3D6BC3-A1BD-4218-BC22-AFD2B3CA03B2","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":"Q1312166$06D58322-82A1-44C9-B3C6-D2121239AD89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab2d6c6288136a332630d7bd6259c78d6e35e162","datavalue":{"value":{"entity-type":"item","numeric-id":4824732,"id":"Q4824732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66a38c4d8a8b01e884b426d21fb7a26d834a92d5","datavalue":{"value":{"amount":"+0.88182354","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":"Q1312166$6E796D8A-33C9-43BD-8337-BED36936A704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39819305c297c1a1cec4e9620c1efa6cd031b9c7","datavalue":{"value":{"entity-type":"item","numeric-id":3986178,"id":"Q3986178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b10169f9162cfe37963e309b8f0d12b500d85c16","datavalue":{"value":{"amount":"+0.83497655","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":"Q1312166$9ABEB5F1-C92D-438D-9F15-08018D10F530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309e02f2346c357bb1269cfc3ec24497122233fe","datavalue":{"value":{"entity-type":"item","numeric-id":4303435,"id":"Q4303435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92384d7e06fc70c9d781da50f54ae3c077eec09b","datavalue":{"value":{"amount":"+0.82433563","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":"Q1312166$30CCA218-33E3-4115-930A-0C2378D02875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a09c6a1f0b74496f592798fe33d19a9953312135","datavalue":{"value":{"entity-type":"item","numeric-id":4033122,"id":"Q4033122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98cef8eba1d3206abceecc196f95b40eadca0649","datavalue":{"value":{"amount":"+0.82056844","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":"Q1312166$8176B4A1-A66F-40F3-8DB8-AD64F422AB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cc52de3e69e4e5ff9d819a6ea903718d14be010","datavalue":{"value":{"entity-type":"item","numeric-id":1328455,"id":"Q1328455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"330b9a134efc9bf53c42b7dadd39d5eb08ea899b","datavalue":{"value":{"amount":"+0.8065111","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":"Q1312166$7E551677-ED7F-46F5-9B01-5D6216BC4963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52880fe44f5af2e24c8b1b074d0b4b35cb744fb5","datavalue":{"value":{"entity-type":"item","numeric-id":4515422,"id":"Q4515422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5f07c5ffa4fe993e84ec296b885063fb1d50bb0","datavalue":{"value":{"amount":"+0.80325425","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":"Q1312166$E3A81E85-88AB-4A2F-9B72-7DD778B0ADA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92495b7fc0566277403f02ee4d5ba0fcd8bce8ea","datavalue":{"value":{"entity-type":"item","numeric-id":4372609,"id":"Q4372609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"565437828f112bc41e93aa37f57b74961022a818","datavalue":{"value":{"amount":"+0.79286224","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":"Q1312166$CD12A716-A537-490F-A78E-3A94839FA734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"671146adc1117da1ac9d11da4f4499987b96dee8","datavalue":{"value":{"entity-type":"item","numeric-id":4029569,"id":"Q4029569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aed47949930e78317e9843749adc7cc6fe3a7765","datavalue":{"value":{"amount":"+0.7898483","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":"Q1312166$F6D69990-8E51-4D66-89E6-54EB1300F7B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8b5c27112c2b90390250d92b72a40113e11457b","datavalue":{"value":{"entity-type":"item","numeric-id":1343220,"id":"Q1343220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cb107ec74d058b6306e7874ce5cf26ecd8b895e","datavalue":{"value":{"amount":"+0.78888685","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":"Q1312166$F1F900D4-9235-4AFF-AC97-82853C28F4D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39365d12ec59c909578ad43354e642d5232bbf39","datavalue":{"value":{"entity-type":"item","numeric-id":1916035,"id":"Q1916035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4563e859e434de95507941cf59e62eafbfb241b","datavalue":{"value":{"amount":"+0.788496","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":"Q1312166$24C8E5CB-0FBC-48DE-92C9-0C5C02B287B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Existence varieties with lattices of regular subsemigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Existence_varieties_with_lattices_of_regular_subsemigroups"}}}}}