{"entities":{"Q5952932":{"pageid":8129734,"ns":120,"title":"Item:Q5952932","lastrevid":41986628,"modified":"2025-05-20T14:39:34Z","type":"item","id":"Q5952932","labels":{"en":{"language":"en","value":"Bases for existence varieties of strict regular semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1690575"}},"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":"Q5952932$3391BED7-CF8B-4C79-83F5-7525B581A4C9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0bcfa24bf4226c8f6e9f4f07e4911f647288c30d","datavalue":{"value":{"text":"Bases for existence varieties of strict regular semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5952932$E1B8109E-1126-4E50-92AA-34DDAA7DD656","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d18924a67a5004606880295b7ffa3a45f6e4fb4d","datavalue":{"value":"0992.20043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952932$647D8035-5D97-4113-9F04-8F8F786161FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3499929e709c30e42a987c2adaf411edb0069ba5","datavalue":{"value":{"entity-type":"item","numeric-id":223870,"id":"Q223870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5952932$7B2DAE75-961C-4087-A80F-6E8E02C51E9E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c4f16ddc5cdb18d4f4fb3ee6d704d6609c3404ba","datavalue":{"value":{"entity-type":"item","numeric-id":223802,"id":"Q223802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5952932$AAA272B6-1E1D-41F3-BE37-2B56689CD7DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e979742b6018ec8d2c4ac57cbc76c09f8b49242","datavalue":{"value":{"time":"+2002-05-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5952932$D720F243-0012-4553-A7EF-1C6E4CD44734","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":"Q5952932$77EBB049-5F8B-43B2-9186-4CE06E749842","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952932$671CF2F4-3248-4262-87DF-D1B3AB7DDE5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beff01b370fcff9d315b5f5618c62634d9218c19","datavalue":{"value":"20M17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952932$0645C8AD-620A-4DC7-B742-739515FD3109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952932$D2ECA8B0-9FCA-434C-B152-D4A9031BE4CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"efcbffc34cb6123242f41a53ee9f1ea15f48cc52","datavalue":{"value":"1690575","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5952932$F7BDDF68-934F-4412-8E2B-31D4AD0BBBC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d08ef4660582b2dab528a56811315b78f5606e9","datavalue":{"value":"strict regular semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952932$C3394491-3498-41A9-869D-3BADBB3E5D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de1bb58d82057ed0b2967830689b5b1c44469eea","datavalue":{"value":"e-varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952932$5B6DF26B-FD0B-4856-BCC7-E0D27F173A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2c50d98e1e7edb4fe5350bf31e93b8679eee73","datavalue":{"value":"bases of identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952932$C95765C2-F4BE-4DF4-B0C2-D58C9C8D23D7","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":"Q5952932$59D506A0-FDDD-4D74-AEFC-13E7D35FF111","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35930724a836bfcaae1acbd9f2ed4990c6ec4186","datavalue":{"value":{"entity-type":"item","numeric-id":4407422,"id":"Q4407422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04600ca4e3dea0951cad0cd949b507f4302a1693","datavalue":{"value":{"amount":"+0.8122779","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":"Q5952932$F6E1FD42-6F87-484B-A615-F43EFD2EBCD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"846a1d43a862c39fb1a909c7405555f89ffb1bf2","datavalue":{"value":{"entity-type":"item","numeric-id":3818496,"id":"Q3818496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65f1d86dab96027bcbd4565e64cdef44fec31a0d","datavalue":{"value":{"amount":"+0.8000833","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":"Q5952932$CD6E5109-4B1B-45D2-AEB5-7D0694245CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a5207e760f2e246df9be5d6021299fdc864c2a2","datavalue":{"value":{"entity-type":"item","numeric-id":4894092,"id":"Q4894092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfc25889780f398c7568dd8d909d0e07af304bb6","datavalue":{"value":{"amount":"+0.791561","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":"Q5952932$579AAD8D-F9C8-4263-8421-6070BC36A267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c1a8d34d08e6ccfa9ff3071e6f99b7db3683c1c","datavalue":{"value":{"entity-type":"item","numeric-id":803289,"id":"Q803289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b52e63e4b00f92fd757a823f4c03b148e9076dbf","datavalue":{"value":{"amount":"+0.78624713","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":"Q5952932$4239420F-0278-4690-B1EE-059400FFB6B1","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":"0986df10fde3918d32dc643343b8f8080e80450b","datavalue":{"value":{"amount":"+0.7817189","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":"Q5952932$78665DCE-DAF9-473F-B21F-B4E38EA3B438","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":"8c651eb36dab9cb543cca20cbe208054ac1a73a7","datavalue":{"value":{"amount":"+0.77895486","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":"Q5952932$40B091F4-EF5B-412E-B661-C3AC97F5E79E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9945945ddf039f9eff4e3ce0fda660de35096b52","datavalue":{"value":{"entity-type":"item","numeric-id":4682024,"id":"Q4682024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50b5c33b54714c4cef137fc8b131f3a200fe28b0","datavalue":{"value":{"amount":"+0.7668318","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":"Q5952932$593F0B52-F960-44ED-8C18-039112439289","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":"001dc9623d90f32817446d8c0e0f5298170f9054","datavalue":{"value":{"amount":"+0.76654536","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":"Q5952932$3AAC9983-76EB-4BB3-8BAC-CC2CF04F9E56","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":"54f3a1260df4c82004ba45a15f67973261d4dab0","datavalue":{"value":{"amount":"+0.76407474","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":"Q5952932$93161A97-78EC-4116-B8D0-F4C3EDD13337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0ee36ecc751acea7af967e91bdd824f28973d35","datavalue":{"value":{"entity-type":"item","numeric-id":2491172,"id":"Q2491172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a017f45478231282b50e13a1b84a1a110e6cd389","datavalue":{"value":{"amount":"+0.7639493","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":"Q5952932$2DA5AEA0-C9A4-462B-A70C-F8FB2669DAC9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"79e69848d61ed4f0f6b2284371715f6d06b15bd8","datavalue":{"value":"For an e-variety \\(\\mathcal V\\) of regular semigroups let \\(\\mathcal V'\\) be the variety of all regular unary semigroups whose semigroup reducts are in \\(\\mathcal V\\). A basis for the identities of \\(\\mathcal V'\\) is said to strongly determine \\(\\mathcal V\\) [c.f. \\textit{T. E. Hall}, Bull. Aust. Math. Soc. 40, No. 1, 59-77 (1989; Zbl 0666.20028)]. The purpose of the paper is to find, for many e-varieties \\(\\mathcal V\\) of strict regular semigroups, (sets of) identities which strongly determine \\(\\mathcal V\\).NEWLINENEWLINENEWLINEReviewer's remarks: (i) There is a different concept of identity (``bi-identity'') which overcomes the deficiencies (which were discussed already in the aforementioned paper of Hall) of the concept of identity used in this paper, and makes the theory totally analogous to the classical theory of varieties of universal algebras [see \\textit{K. Auinger}, J. Algebra 166, No. 3, 630-650 (1994; Zbl 0806.20052)]. (ii) At the end of the paper, several problems are raised, some of which can be settled immediately: (1) None of the classes \\({\\mathcal C}e\\), \\((\\mathcal{AC})\\), \\(({\\mathcal C}o{\\mathcal C})\\) is an e-variety because none of them is closed under taking morphic images; indeed, the bifree locally inverse semigroup is combinatorial and therefore belongs to all of these (see the aforementioned paper of the reviewer) but the bifree completely simple semigroup (a morphic image of the former) does not. (2) To the second question, the answer is ``no'': take a suitable ideal extension (the one which is \\(E\\)-unitary) of the two element cyclic group by the non-zero part of the five element Brandt semigroup \\(B_2\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5952932$FF29C038-9ECA-4B68-9BA5-F49883749674","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5952932","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5952932"}}}}}