{"entities":{"Q1209276":{"pageid":1220025,"ns":120,"title":"Item:Q1209276","lastrevid":66352905,"modified":"2026-04-12T09:31:29Z","type":"item","id":"Q1209276","labels":{"en":{"language":"en","value":"Universal expansion of semigroup varieties by regular involution"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 167673"}},"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":"Q1209276$B6C464A6-CD9D-4971-9169-9E32DE9AEB49","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"254deafcface7f10dce1d6bb8f8b38bff01dfcba","datavalue":{"value":{"text":"Universal expansion of semigroup varieties by regular involution","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1209276$8508A37F-844B-47A6-B703-6249CDB97ACC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"463bab51666dea8c23e650d3b0f460b4ebcdb80c","datavalue":{"value":"0780.20038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209276$7A196593-4DA0-486F-93F2-485550723306","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cbc090e65db91549e9fcb15d2b337db68f77dd47","datavalue":{"value":"10.1007/BF02573562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209276$691D323F-7173-45DC-8615-3AFD5364F655","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":"Q1209276$2BAB2563-709F-4A5B-9C1E-4A9CA703C58E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1209276$AFE6D124-5016-4661-B7D5-B34B7FEAABB5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"16666a919be5ad28d2504f167d6f06d5e70abb99","datavalue":{"value":"https://eudml.org/doc/135227","type":"string"},"datatype":"url"},"type":"statement","id":"Q1209276$EE144ED6-C4FF-4088-85EE-3E5563729F92","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"05b873e398fcd5fe9690174507106fb2f1c1dcd9","datavalue":{"value":"A category \\(K\\) is said to be universal if every category of algebras can be fully embedded into \\(K\\). Semigroup varieties which are universal as categories were described by the author and \\textit{J. Sichler} [J. Aust. Math. Soc., Ser. A 36, 143-152 (1984; Zbl 0549.20038)]. Clearly, a universal variety should be large enough; it turned out, however, that even rather small semigroup varieties (e.g. the variety of rectangular bands) can possess ``hidden'' universality which can be revealed by going to so-called expansion by regular involution, see the author's paper [Comment. Math. Univ. Carol. 31, 201-211 (1990; Zbl 0731.18001)].   A regular involution semigroup is a semigroup with an additional unary operation \\(x \\to x^ +\\) satisfying the identities \\((x^ +)^ +=x\\), \\(xx^ +x = x\\), \\((xy)^ + = y^ +x^ +\\) (the latter identity is accidentally missed in the definition in the paper under review). The expansion of a semigroup variety \\(V\\) by regular involution is the subvariety \\(R(V)\\) of the variety of all regular involution semigroups defined by the identities of \\(V\\). The aim of the paper is to describe all the universal expansions of semigroup varieties by regular involution. The author characterizes them from several points of view; in particular, he proves that \\(R(V)\\) is universal if and only if \\(V\\) contains a regular semigroup being neither inverse nor singular.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209276$E63227FD-6230-4390-AC9D-77B8536EF1D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209276$796A5E36-05B4-4E13-AA91-F4B0628FCB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beff01b370fcff9d315b5f5618c62634d9218c19","datavalue":{"value":"20M17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209276$AD37EC65-ADF5-4BB3-8F5A-79716FFE00D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9b839d3830c02938325ef825fe74834c3b4a499","datavalue":{"value":"18B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209276$C53D2E56-C8BE-42CC-8848-0E39B445486A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a1284151c35640e8f86ec732b7a55f9244afb10f","datavalue":{"value":"167673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209276$7B6E71D4-3EB9-4D52-A1CE-C5825432873E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0585c76a10ab1a3ee182feb66ec388e8972142f","datavalue":{"value":"universal category","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209276$DDEF1C22-84A1-4CD0-A338-BB4DFB889061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10fb72f5f8ba9091dda5af8ced9e899fe82772af","datavalue":{"value":"category of algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209276$B6D54233-2557-499A-A7FE-7B2A2D4A391D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b1f207d59c573bbe912cdcc8bc9b1227e86e75b","datavalue":{"value":"universal variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209276$6C7642A8-07A4-4200-83B9-450A414E32CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77aa39a453056bf57cb855f01b7554092a313eab","datavalue":{"value":"semigroup varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209276$B53B7AEB-7FE7-4670-8CD1-663E117DE143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"488bcf66381632f533ebabea108d4970f6b91fa3","datavalue":{"value":"expansion by regular involution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209276$42FFF6CC-0E64-4E23-8D60-836C2732CC4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f9beca0202851c4a516a648c0fe639b7436c192","datavalue":{"value":"regular involution semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1209276$7345E467-ABDA-4848-9972-BDF1D4B68C5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"764f84a646c763434432ad369d0bc1a8abdf96a9","datavalue":{"value":{"entity-type":"item","numeric-id":409252,"id":"Q409252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209276$FF09DF33-1D76-4B37-88E9-F9B8EC8E5997","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":"Q1209276$FC53C1ED-71D8-43FC-A4F3-28D86613AE87","rank":"normal"}],"P223":[{"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":"Q1209276$AE3D1117-DB8E-4108-B860-FFB4C7857B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d622718bb57b6b88309f9451e2e8d82ee42170b","datavalue":{"value":{"entity-type":"item","numeric-id":3807434,"id":"Q3807434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209276$306713D0-D22A-48F8-8D56-BBC8A078ABBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0423725f88b9197ed290c3c49a8dcb270f4d5b3d","datavalue":{"value":{"entity-type":"item","numeric-id":1115535,"id":"Q1115535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209276$5C782010-141E-40FF-B669-3740B06B415B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15bf629887c495288a29df05381ff86b98de19d7","datavalue":{"value":{"entity-type":"item","numeric-id":3984099,"id":"Q3984099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209276$EF2B76E1-19F4-4E17-8326-3A00381B39B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80a6d2c5178f422493555882695c31fd207f366b","datavalue":{"value":{"entity-type":"item","numeric-id":2522107,"id":"Q2522107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209276$6A0D7146-24B8-4482-B979-17562E864055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50d1906bba228d015a68b861433b7b873936aaf3","datavalue":{"value":{"entity-type":"item","numeric-id":2552194,"id":"Q2552194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209276$EC4B242D-1092-4A66-8D54-0AB238083739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25ce68aa9ccdcb88d181f79661d82cbb8e7bedfc","datavalue":{"value":{"entity-type":"item","numeric-id":3356495,"id":"Q3356495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209276$B99E7F81-2E5B-41AC-BDCD-085145C451C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21d44aecb0ad14ec26d02f7ac0574baeaa2d7a74","datavalue":{"value":{"entity-type":"item","numeric-id":3342764,"id":"Q3342764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209276$E6648F80-E016-4A85-83D0-8B614975553A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dacc118959ac4406901793fdc048b61fa833ad70","datavalue":{"value":{"entity-type":"item","numeric-id":3208855,"id":"Q3208855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1209276$38D2F4F7-52CC-4C64-85DD-A371E1E51AFE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e761bf5c92b398758ef3e97336a0316c81efa84","datavalue":{"value":"W1980270181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1209276$C89C19DB-B641-4764-A7CD-039A3C4D68D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fb0f03fe9adb685658175a1d1f50fb0bcace415","datavalue":{"value":{"entity-type":"item","numeric-id":3356495,"id":"Q3356495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddc81503bc22336c5764d926f6d9a50b4f801017","datavalue":{"value":{"amount":"+0.8567801","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":"Q1209276$7F3C51AD-83F6-42C2-A112-28CD46FDB988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"998a34b0f03a5358b55e296d0b704b692ab0b35d","datavalue":{"value":{"entity-type":"item","numeric-id":4831871,"id":"Q4831871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22d287ff7618464166b2e7ac8fc2322f300b9a04","datavalue":{"value":{"amount":"+0.78086746","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":"Q1209276$182765B6-EA14-4509-B5AA-C7E7810A0F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"103d263df8c6f7229405d9fa571c0192949780b6","datavalue":{"value":{"entity-type":"item","numeric-id":4206952,"id":"Q4206952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5b9ccb86656491385bdce51c4208a5daee94a59","datavalue":{"value":{"amount":"+0.77667946","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":"Q1209276$8F10FD90-20E9-4502-B20B-7BF26E7019B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2047bc03822ecaef1b4ad685231f6ea65f37ce6a","datavalue":{"value":{"entity-type":"item","numeric-id":2366142,"id":"Q2366142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02d2e095c5ecb6b4b16ad8fbe3289aab5d22faff","datavalue":{"value":{"amount":"+0.76496845","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":"Q1209276$F7FBD544-CC3A-4BE0-838D-446E6A8E0472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"464d3bdb811a3105dca377c66a1ee88bc31e7e9f","datavalue":{"value":{"entity-type":"item","numeric-id":382948,"id":"Q382948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60fcdfeac66df50f548b684a85e03d4caa69b15b","datavalue":{"value":{"amount":"+0.7545719","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":"Q1209276$56C799C8-9B5C-4B54-B137-586F09D41EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"606bc77765ba7a11abd1747b1b70e61be4335934","datavalue":{"value":{"entity-type":"item","numeric-id":3342764,"id":"Q3342764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44303fd7fa6a1fd4e31b05d60264eda35660caa8","datavalue":{"value":{"amount":"+0.75306237","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":"Q1209276$DC31828E-E3CB-4E49-8480-5B64E2CA72EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"059f26a74edf392e42f05c0659a3ea7381f3472d","datavalue":{"value":{"entity-type":"item","numeric-id":4227136,"id":"Q4227136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a1ed80a85bed43643d08879f7f3e2c4a47de666","datavalue":{"value":{"amount":"+0.7504122","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":"Q1209276$AC254BE4-B50C-455C-8874-7CF961E73F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70963f7f1f6c4b88f77313ef5e4bc9da1c483473","datavalue":{"value":{"entity-type":"item","numeric-id":3699025,"id":"Q3699025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"798af9c84affb52a532c63258f5357b86216d161","datavalue":{"value":{"amount":"+0.74988765","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":"Q1209276$D994F35E-C3B2-4DAF-844F-429B9CFCD775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77989ba01cafcec873dbb5063e13fa029994922f","datavalue":{"value":{"entity-type":"item","numeric-id":3785046,"id":"Q3785046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eceb38f70dfee36a34a011a94650d579b53e2d7a","datavalue":{"value":{"amount":"+0.74436474","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":"Q1209276$F0B9A506-CC90-47D0-AE37-9E9332558699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0aa918a86f4da12d03331135649cd1d5c94676eb","datavalue":{"value":{"entity-type":"item","numeric-id":2365285,"id":"Q2365285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d298710a1dd7c5544e2f882afdb2606923c67746","datavalue":{"value":{"amount":"+0.74249005","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":"Q1209276$30A0DF61-E033-4402-A4B0-9A9C3B6545CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Universal expansion of semigroup varieties by regular involution","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Universal_expansion_of_semigroup_varieties_by_regular_involution"}}}}}