{"entities":{"Q1320154":{"pageid":1330904,"ns":120,"title":"Item:Q1320154","lastrevid":68582697,"modified":"2026-04-13T00:43:07Z","type":"item","id":"Q1320154","labels":{"en":{"language":"en","value":"Varieties of semigroups and varieties of completely regular semigroups closed for certain extensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 554148"}},"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":"Q1320154$03722115-68EA-4870-BD3C-28ED49D4A8AF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6df7c3c0ef7c6e4d9d448f5d2c399697f4943d94","datavalue":{"value":{"text":"Varieties of semigroups and varieties of completely regular semigroups closed for certain extensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1320154$71714843-9099-4175-A6E1-4F396CACA934","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b7911b9448c48a8304c7fa3cc3f091e39058182","datavalue":{"value":"0811.20052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320154$849CF35C-9005-4870-A744-0B8F9B5FC9DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"240b20f6769698eeb4dec5ec782d1f2b38c676ce","datavalue":{"value":{"entity-type":"item","numeric-id":1320153,"id":"Q1320153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320154$C3BE8F8A-8BDE-486E-9FD8-4DE5931977DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dab25a31cccf0848ca3d6932e6a326fca88d1410","datavalue":{"value":{"entity-type":"item","numeric-id":744857,"id":"Q744857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320154$9B89380D-22C7-4370-9330-BD0249AA28B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1320154$61E3EB7F-7E9C-41FB-8B4C-A40A31F97052","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76c795f5749b0c265976e2e5bb130d72d00b274a","datavalue":{"value":{"time":"+1995-04-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":"Q1320154$7204C74C-2E60-4A1B-B0F6-2F82732BFF1B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"105cc68f532f4e5fdf20fd29ec9c00ee5cf52ec3","datavalue":{"value":"Let \\(\\mathcal V\\) be any variety of universal algebras and let \\(C_{\\mathcal V}\\) be the category whose members are the members of \\(\\mathcal V\\) and whose morphisms are the surjective homomorphisms. For a given functor \\(F : C_{\\mathcal V} \\to C_{\\mathcal V}\\), a subvariety \\(\\mathcal W\\) of \\(\\mathcal V\\) is said to be closed for \\(F\\) if for every \\(A \\in {\\mathcal W}\\) also \\(F(A) \\in {\\mathcal W}\\). Let \\(L_ F\\) be the partially ordered set of all subvarieties of \\(\\mathcal V\\) which are closed for \\(F\\). The authors are interested in situations when \\(L_ F\\) is a complete sublattice of \\(L({\\mathcal V})\\), the lattice of all subvarieties of \\(\\mathcal V\\). They find the following -- very transparent -- sufficient condition for this case: for every \\(A \\in {\\mathcal V}\\) and for every family (\\(\\phi_ i, i\\in I\\)) of morphisms in \\(C_{\\mathcal V}\\) with domain \\(A\\), \\(\\bigcap_{i \\in I} \\phi_ i \\phi_ i^{-1} = \\iota_ A\\) implies \\(\\bigcap_{i \\in I} (F \\phi_ i)(F \\phi_ i)^{- 1} = \\iota_{F(A)}\\). An appropriate analogue to this theorem holds for pseudovarieties as well. Though in the above situation \\(F\\) is an arbitrary functor, one should think of \\(F(A)\\) being obtained from \\(A\\) by a certain canonical construction. Two examples of such constructions are elaborated; however, the general theory will have many more applications.   The first example is the functor \\(B : C_{\\mathcal S} \\to C_{\\mathcal S}\\) where \\(\\mathcal S\\) is the variety of all semigroups, and for any semigroup \\(S\\), \\(B(S)\\) denotes the well known Bruck extension of \\(S\\). This leads to a functor of the above kind since any surjective homomorphism \\(\\phi : S \\to T\\) may be canonically extended to a surjective homomorphism \\(B(\\phi) : B(S) \\to B(T)\\). The above mentioned theorem applies and so the set \\(L_ B\\) of all semigroup varieties closed for the Bruck extension forms a complete sublattice of the lattice of all semigroup varieties. Several properties of the lattice \\(L_ B\\) are investigated. First of all, the least element of \\(L_ B\\) is determined. This least variety closed for the Bruck extension turns out to be generated by the semigroup \\(B^ \\omega (1)\\) which is obtained by -- roughly speaking -- application of the Bruck extension to the trivial semigroup 1 infinitely many times. The same process leads more generally for any variety \\({\\mathcal V} = \\text{var }S\\) generated by a semigroup \\(S\\) to the least variety \\(B({\\mathcal V})\\) which is closed for the Bruck extension and contains \\(\\mathcal V\\). It is further shown that the lattice \\(L_ B\\) contains an antichain of the cardinality of the continuum, and that any variety \\(\\mathcal V\\) which is closed for \\(B\\) but does not coincide with \\(\\mathcal S\\) is contained in a variety \\(\\mathcal W\\) which is not closed for \\(B\\).   In the second example the authors are concerned with the variety \\({\\mathcal C}{\\mathcal R}\\) of all completely regular semigroups. They use an old construction, due to the first named author [\\textit{F. Pastijn}, Semigroup Forum 14, 247-263 (1977; Zbl 0363.20052)], to construct a functor \\(I : C_{{\\mathcal C} {\\mathcal R}} \\to C_{{\\mathcal C} {\\mathcal R}}\\) which assigns to each completely regular semigroup \\(S\\) an idempotent generated extension \\(I(S)\\) of \\(S\\). This functor again satisfies the above mentioned condition so that \\(L_ I\\) turns out to be a complete sublattice of \\(L({\\mathcal C} {\\mathcal R})\\). Several interesting connections between the lattice \\(L_ I\\) and two complete congruences \\(C\\) and \\(L\\) on \\(L({\\mathcal C} {\\mathcal R})\\) are found. (Here \\(C\\) and \\(L\\) are defined by \\({\\mathcal V} C {\\mathcal W}\\) if \\(\\mathcal V\\) and \\(\\mathcal W\\) contain the same idempotent generated members, and \\({\\mathcal V} L {\\mathcal W}\\) iff \\(\\mathcal V\\) and \\(\\mathcal W\\) contain the same monoids).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320154$54835D62-B9E0-454A-A440-62CA276E0434","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320154$7132E41F-E13E-4037-820C-7037A75D3503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320154$051CDA9D-BB1A-459C-8A5E-96B63D501A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beff01b370fcff9d315b5f5618c62634d9218c19","datavalue":{"value":"20M17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320154$1874EFD2-FB37-4C6D-B38F-6DA4A01BF430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320154$5EB3ED1C-9F21-4CF0-A6CA-DB51DAA58A93","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"740c3f764753a932632b0b46ac83d60d34bf9c82","datavalue":{"value":"554148","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320154$1FF63718-1825-4041-A46D-85826B168666","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"584579cf0910359cb9f947bbbef0d144f12b43b0","datavalue":{"value":"lattice of subvarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320154$07247C90-257F-44B9-A8F3-62B287B20EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2a51da2905bdba578a7e4ae07513608630cb896","datavalue":{"value":"category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320154$26FB1C01-D423-4817-8434-758C0242752D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fed7fb5c616625217962060f111a9963c62b1c3","datavalue":{"value":"surjective homomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320154$CDC7FBCD-4A7B-4BEE-B377-918C0A9024E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d83a041d8b5dc73f1a889a0f64713dc5114ce699","datavalue":{"value":"functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320154$48DFA576-69A9-4A46-93DC-331B48C06B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9db4eff65f85faebf8411107ce9861f94744fb08","datavalue":{"value":"pseudovarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320154$738EBB8E-122D-4519-8326-3FD42F19550B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef54de6de698db607a75ce959dd8ca9003e85e58","datavalue":{"value":"Bruck extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320154$AA8051E2-CA42-4E4D-BBFB-78C8A4E476B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3f47b049d46595425a2c030ddba1f317e296e35","datavalue":{"value":"semigroup variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320154$367B8022-52E8-410F-A966-32D76EE6CEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86fb50ab25bd737578b2cd3cb9131d8348ac6574","datavalue":{"value":"least variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320154$84768114-F0B8-404F-84B1-359110EF9B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"558a2370682d625ad5b535fac8b043ac8c328de1","datavalue":{"value":"completely regular semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320154$005A1424-6E6B-497C-B521-4435509B8D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8140e243dc68e95b78ddd86dad9bf0d4c95f8cf8","datavalue":{"value":"idempotent generated extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320154$AB894A54-7E18-4E1C-A397-741D2814A583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccdda47da0608ac62b5bf93b371d8747a05bf350","datavalue":{"value":"complete sublattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320154$D3EDB247-A9B3-4242-B2BA-FE30E47095AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3843a3c97bbc5e4f23f071e1dda39438187bcac","datavalue":{"value":"complete congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1320154$70FD5B28-2965-4F5F-A216-7A1F7E50A6F6","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":"Q1320154$A48483E0-7142-4950-B320-D99EBAF3CFD3","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":"Q1320154$4B47F242-5998-4317-B157-9FA420D89B12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"41714818a8922ff8d974617a925fd209ddf9a247","datavalue":{"value":"https://doi.org/10.1006/jabr.1994.1043","type":"string"},"datatype":"url"},"type":"statement","id":"Q1320154$CB568A9C-EC22-4357-B923-5BA2DAE8E8D4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2fec00ff56cfc402ba0cd4d6f682fb6ce07ae054","datavalue":{"value":"W2042295080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320154$D4EA6BA7-D395-4D21-9393-9C86FBCD4727","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9a052cc287d2144c1573e7eb80504a8442ad9ad3","datavalue":{"value":"10.1006/JABR.1994.1043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1320154$314CDB70-2120-46DD-979F-F3573724DA8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b8161a6d368ca4f05f771be86bacaebc3da4962","datavalue":{"value":{"entity-type":"item","numeric-id":4313575,"id":"Q4313575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"286578b7ca0ee137d9e45fa7113c09efb581e116","datavalue":{"value":{"amount":"+0.853631854057312","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":"Q1320154$1F1056CC-AF71-4CF0-A655-BDDCAE46B622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b04fe17d5ebe8e5b34ca7fe565273a1f15e14c04","datavalue":{"value":{"entity-type":"item","numeric-id":1099257,"id":"Q1099257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d5d978c1b46033caf5bac80ee17a2037c6176c3","datavalue":{"value":{"amount":"+0.7871872186660767","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":"Q1320154$85C9E124-B3CD-4B95-9494-D72193FD9291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88573e0e1a063d04adcbadc9d633cb3cab310139","datavalue":{"value":{"entity-type":"item","numeric-id":2634959,"id":"Q2634959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6454d541f6c28c3c08f3db7dbd5fe44aba8fcde3","datavalue":{"value":{"amount":"+0.7819898128509521","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":"Q1320154$AF7F5A28-A7C2-4562-BBF1-18C575336B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e292779b2f9ae259c7c9d42c946cd022faa7d472","datavalue":{"value":{"entity-type":"item","numeric-id":1057987,"id":"Q1057987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32657565a20d4e7574a83208aeb14da5898971e9","datavalue":{"value":{"amount":"+0.7725058794021606","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":"Q1320154$8062FBF5-C5EB-4368-B6EC-2AC49C1401E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Varieties of semigroups and varieties of completely regular semigroups closed for certain extensions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Varieties_of_semigroups_and_varieties_of_completely_regular_semigroups_closed_for_certain_extensions"}}}}}