{"entities":{"Q1343220":{"pageid":1353959,"ns":120,"title":"Item:Q1343220","lastrevid":70197201,"modified":"2026-04-13T13:05:50Z","type":"item","id":"Q1343220","labels":{"en":{"language":"en","value":"\\(e\\)-varieties of regular semigroups, relatively bifree objects and fully invariant congruences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 716389"}},"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":"Q1343220$EDDB9FF0-BF0A-43A5-AC3E-3BBD42E7D551","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3a2a411ed1e6a4d5313442ad2ad245715a6b0023","datavalue":{"value":{"text":"\\(e\\)-varieties of regular semigroups, relatively bifree objects and fully invariant congruences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1343220$D9A84857-52F0-4AB0-90F0-35E5058D9026","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1df99faf6498c1c1c03f60f2ec5d7b8f319651b8","datavalue":{"value":"0821.20044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343220$08149D94-832D-4819-A41F-2A1F75243CF9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29bdf34b1c2a09e38ed7ea764c1308da0dea3d49","datavalue":{"value":"10.1007/BF02573508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343220$B83BF8C9-0240-4B68-AE45-A8DF742F520C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76e4e92ff6b9b830f98793847db9a68584d6eb9e","datavalue":{"value":{"entity-type":"item","numeric-id":1343219,"id":"Q1343219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343220$90850DE4-9B4C-4D3D-AD93-8B7EB3D796AD","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":"Q1343220$E1123BD2-15D2-42F4-816D-444479030717","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3500a4e46fbb352dfc230edc76ff040b3b0cc153","datavalue":{"value":{"time":"+1995-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1343220$5DBFAC33-54AB-4C34-8BBA-D474FC6ED936","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7cb633c0c9b13c898b4ad2293ab35cf6233eeeca","datavalue":{"value":"https://eudml.org/doc/135370","type":"string"},"datatype":"url"},"type":"statement","id":"Q1343220$0A414485-0F6C-4F60-9CA0-F83AB6BA941A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a537052d99566a2abba6db0a0b84f15dd91d7e0e","datavalue":{"value":"A class of regular semigroups is an existence variety if it is closed under taking direct products, regular subsemigroups and morphic images. The concept of bifree object in a class of regular semigroups has been introduced by \\textit{J. Ka\u010fourek} and \\textit{M. B. Szendrei} [Semigroup Forum 40, 257-296 (1990; Zbl 0705.20052)]. The \\(e\\)-varieties which contain all bifree objects have been shown by \\textit{Y. T. Yeh} to be precisely the locally inverse and \\(E\\)-solid \\(e\\)-varieties [Int. J. Algebra Comput. 2, 471-484 (1992; Zbl 0765.20030)]. The paper under review establishes for bifree objects analogues to well known results which hold for free objects in varieties of universal algebras. For example: if the bifree object on a set \\(X\\) in the \\(e\\)-variety generated by a regular semigroup \\(S\\) exists then it an be embedded into a direct power of \\(S\\); the lattice of \\(e\\)-subvarieties of a locally inverse or \\(E\\)-solid \\(e\\)-variety is antiisomorphic to the lattice of all fully invariant congruences on the bifree object, on a countably infinite set \\(X\\), in this \\(e\\)-variety; a regular semigroup \\(S\\) is relatively bifree in an \\(e\\)-variety if and only if it is bifree in the class \\(\\{S\\}\\). Furthermore, a Birkhoff-type theorem for classes of locally inverse and \\(E\\)-solid semigroups is given.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343220$A1D83A6B-F63E-4A6E-8468-71FA4A7E865C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343220$76ACB875-7FBA-4715-95CA-41FDCBE36899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beff01b370fcff9d315b5f5618c62634d9218c19","datavalue":{"value":"20M17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343220$1FC94D1C-7482-4D1F-AB83-2136D947D92B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343220$1E3309A6-3F54-4F4A-8290-7D541D8C5EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343220$64D224F0-6635-40D3-ABE0-19302FAE7A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343220$7A95B900-EF98-463D-B7DC-566C8FC66501","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2facd270710004aa4015d8f178ddd7e273669286","datavalue":{"value":"716389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1343220$E065BEC2-093C-4F83-B2AC-2032815E82D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b2541b9d6b0ef7fe5def95df5c1310534e9ed52","datavalue":{"value":"lattice of fully invariant congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343220$3413A40C-A9C4-432E-8DAA-52B5718AF343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f0947e69e32e34b28536dfa65bdc0ab1e9b7293","datavalue":{"value":"regular semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343220$CAE4113A-802F-4976-9970-51B6E1CD3404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a580779551422a9661e794d33b7fdb7b963cade","datavalue":{"value":"existence variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343220$884ADF79-EB60-4DEC-AD7E-963E0B7357B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f15278e3a15c4659874cc79969ef32eba60cd39","datavalue":{"value":"\\(e\\)-varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343220$70F7979B-4BE7-490A-9A04-BEEDE7E0E5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9aaac88fccf7cf034f7aea06eda9c549ff682a9","datavalue":{"value":"bifree objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343220$E9BD23D4-D961-42F9-9897-DE1792D4CC32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b7150ead9aa7d60e44ec23cf3cee08ed64be29e","datavalue":{"value":"lattice of \\(e\\)-subvarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343220$4B8ACBA3-A90B-4DCB-9894-BCFCD56F0A59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43ef071fb7455759089b856ed3494e5962bd3e0c","datavalue":{"value":"Birkhoff-type theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1343220$402A0A35-2B4A-4B6D-9476-2B92DAC99C8C","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"82b58a7a431ddd1d8859e52615fc9a1cc72e1c7f","datavalue":{"value":{"entity-type":"item","numeric-id":587993,"id":"Q587993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343220$F6A7FA04-E2F2-4B37-9C4F-241257FFD871","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":"Q1343220$3E241F69-8E27-4AB6-816A-347CC14A676B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"10e4a7d262987ce6411949b63c726239b6b1f350","datavalue":{"value":{"entity-type":"item","numeric-id":2549047,"id":"Q2549047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343220$C42E7A75-181A-489B-BED1-4F6E2CCAB2EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b69ca7719d37bb984057e9572d8019a3172f675","datavalue":{"value":{"entity-type":"item","numeric-id":1330074,"id":"Q1330074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343220$8B6F424E-AED4-4B8D-8556-08BA0A550A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90e4a00572f7210a3bf87f9d332f6da772deb0bf","datavalue":{"value":{"entity-type":"item","numeric-id":1337481,"id":"Q1337481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343220$5E403795-EAAF-4614-ADA5-B300700E3D77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343220$E20B1B7E-C42C-41FB-AE0A-8917D9C7CE12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5afbf744a209bae591f2001b963f84ed85dc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3848243,"id":"Q3848243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343220$9BC41597-864E-4D19-A938-B2D597083A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f512d3044d87913829cd345dbca09d60481c7fa","datavalue":{"value":{"entity-type":"item","numeric-id":5572358,"id":"Q5572358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343220$23114746-6528-48E8-8965-18624BC33987","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":"Q1343220$E8E5D994-CDB0-48CF-98CC-14DC8E959246","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":"Q1343220$26B4FAF5-AAE7-4ADC-8157-DC8AD783F60A","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":"Q1343220$7DF2DA0C-AD2D-410C-9E24-00B7A6D52190","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":"Q1343220$1C42C9A9-56D9-489C-831B-D22A85893BA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaad394e4e19a3b88e7c45b1e93ef1d57b49c135","datavalue":{"value":{"entity-type":"item","numeric-id":1192232,"id":"Q1192232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343220$AFEB9E8A-23D2-4907-B9CD-031F298F222F","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":"Q1343220$8C3FF1AF-989A-438A-B94F-4432192D5ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd654eaf6841eaeced125275785b5989e79d77a1","datavalue":{"value":{"entity-type":"item","numeric-id":4029569,"id":"Q4029569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343220$DCE0E924-A153-4C16-A79C-647E9D7C7225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c86ee86497cf1dbc2bf124c771af4b443387fb6b","datavalue":{"value":{"entity-type":"item","numeric-id":1322062,"id":"Q1322062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1343220$C0CE5220-025C-4B96-BB0B-F2097DAAB191","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b6a88270bd803c28d7823fc22c05c21384b5fae","datavalue":{"value":{"entity-type":"item","numeric-id":1905974,"id":"Q1905974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ba08d9bedd4eb0e203e8dce8ab75f20e1637cf5","datavalue":{"value":{"amount":"+0.8993480205535889","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":"Q1343220$AABBD60E-8418-4B05-B1AB-293D02454EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a15c4541a3bda9d6949d606ea71d837c38ab974","datavalue":{"value":{"entity-type":"item","numeric-id":1322062,"id":"Q1322062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d80fc46fc44bcf63d0b408d4814b452ed316456d","datavalue":{"value":{"amount":"+0.8991071581840515","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":"Q1343220$DD143AD9-DD34-4C76-8C46-AF685CC5FE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67439ef026c90b2a1bfb21ccd1b3fba0722112ca","datavalue":{"value":{"entity-type":"item","numeric-id":1971714,"id":"Q1971714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c1d77a4945052215f6cfd534719bdb631d57435","datavalue":{"value":{"amount":"+0.8852167725563049","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":"Q1343220$C9547F97-6977-4C7E-BE30-D67A33F16783","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":"4a42069435d7c80e6eed14d0f8e951eea41d8b53","datavalue":{"value":{"amount":"+0.8845314383506775","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":"Q1343220$08FBC107-E20C-437D-B71B-D37A418DBA31","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":"1820bc55109dcd031505a835538abfba9025021b","datavalue":{"value":{"amount":"+0.8815164566040039","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":"Q1343220$BA541198-432E-418D-9A12-C8FA12E3835F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(e\\)-varieties of regular semigroups, relatively bifree objects and fully invariant congruences","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(e%5C)-varieties_of_regular_semigroups,_relatively_bifree_objects_and_fully_invariant_congruences"}}}}}