{"entities":{"Q1909729":{"pageid":1920471,"ns":120,"title":"Item:Q1909729","lastrevid":69269967,"modified":"2026-04-13T05:53:25Z","type":"item","id":"Q1909729","labels":{"en":{"language":"en","value":"Locality of DS and associated varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 856973"}},"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":"Q1909729$C4D8D8DD-FA4C-4FC7-9400-BB0356DB013B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"081101feb2da468b095fd6a9065e70f1fb464fe6","datavalue":{"value":{"text":"Locality of DS and associated varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1909729$F18C1392-7D78-4743-84FE-79CC7950682D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2804d23fc031fd6d39a22ecb9cad01d13e312ae5","datavalue":{"value":"0844.20040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909729$27D9FD7C-FDE1-4AD9-8279-E03700BEA189","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"780922743dfe376d76faa5491f8717591d50227e","datavalue":{"value":"10.1016/0022-4049(94)00054-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909729$B5859243-531B-4772-86A6-B82E51518963","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85dd916fef8e44016999cb10bcb9414cc4461f0f","datavalue":{"value":{"entity-type":"item","numeric-id":244473,"id":"Q244473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909729$D4712863-AF03-451D-AC23-8E3896B712EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c40aafef06bbd819d0df867fa7c575377297c30","datavalue":{"value":{"entity-type":"item","numeric-id":418915,"id":"Q418915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909729$1D81215F-5347-4E7F-A704-95325C1211E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"34a2791b3d9645796ba9cdff19dd05bcf40f0161","datavalue":{"value":{"entity-type":"item","numeric-id":168348,"id":"Q168348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909729$E552E9D5-3DB4-44FB-98B5-9A00CE8CE572","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"caff57f721dbff6a8dd47fa98fb79e0c3d56a4b4","datavalue":{"value":{"time":"+1996-09-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":"Q1909729$DD811B2A-6399-4F78-B7AF-FAA80A01902F","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a164f8b0fc3ef1cc6bc4460fff88f09e62385d6f","datavalue":{"value":"A variety (or pseudovariety) \\(V\\) of monoids is local if each (finite) category \\(C\\) all of whose local monoids are in \\(V\\) divides a member of \\(V\\). This concept has been introduced by \\textit{B. Tilson} [J. Pure Appl. Algebra 48, 83-198 (1987; Zbl 0627.20031)] and is shown to be an indispensable tool for semidirect decompositions of varieties and pseudovarieties of monoids.   In the present paper certain important results concerning locality are proved. First of all, it is shown that for each extension closed pseudovariety \\(H\\) of groups (meaning that if \\(G\\) is an extension of \\(K\\) by \\(N\\) and \\(K,N\\in H\\) then also \\(G \\in H\\)), the pseudovariety \\(DS(H)\\), consisting of all finite monoids whose regular \\(\\mathcal D\\)-classes form a subsemigroup and whose subgroups belong to \\(H\\), is local. It is also shown that for any local pseudovariety \\(V\\) of completely regular monoids and for each extension closed pseudovariety \\(H\\) of groups, \\(LtHmV\\) and \\(RHmV\\) are again local where \\(LtH\\) \\([RH]\\) is the pseudovariety of all left [right] groups with subgroups in \\(H\\) and \\(m\\) denotes the Mal'cev product. In particular, the operators \\(V \\mapsto V^{T_l}\\) and \\(V \\mapsto V^{T_r}\\) where \\(V^{T_l}=LtGmV=G*V\\) and \\(V^{T_r}=RGmV=G *_r V\\) preserve locality (\\(*\\) \\([*_r]\\) denoting the [reverse] semidirect product of pseudovarieties). In the final section of the paper a (pseudo)variety of completely regular monoids is constructed which is not local. More precisely, the [pseudo]variety of (completely regular) monoids defined by the laws \\(x^5=x\\) and \\((xzxwyzyw)^4=(xzxwyzyw)^2\\) is shown to be not local.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909729$96034064-2EA4-4AFF-B4C9-B621DBB569A2","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":"Q1909729$7D44D85C-C59E-4C53-BAF3-150BBE6C17F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909729$141590DE-4C2B-40B5-8085-7830D9A82A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd203843bfa7d8abb3c9f96c8aa3200c06f018f5","datavalue":{"value":"08B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909729$49BD37C8-E8DD-4C33-85EC-BEEC5658C127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909729$F833A439-7335-4F5C-81F8-97DB444E2F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e6822c7285171de2378f029d5e65f225fd3f99c","datavalue":{"value":"20M50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909729$3FCFC030-C758-4DDA-861C-8BC5B590BC1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6af553d2d43ed0a2057e74ca9725bcd9450b6544","datavalue":{"value":"856973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909729$3FAD0CA1-A144-449B-BF65-92DD60CB973E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48b8b2a0280a610ed427245abd54b56f3f62fe8c","datavalue":{"value":"local monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909729$3C99CA6D-4BC6-4E84-9A2A-745F602A9BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8ddbd051092dc6d511b36854a49b606be69f57b","datavalue":{"value":"semidirect decompositions of varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909729$C07D0FA4-D237-47F9-921A-A541028E964D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3d24fe65b83b64f84847f8d7dcb8dc7f1f28f5d","datavalue":{"value":"pseudovarieties of monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909729$FE69B9DE-F3F4-436F-B068-26609D04382E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"efb1fdc0d9dfce671c738942fc51f3ba6320d9dd","datavalue":{"value":"extension closed pseudovariety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909729$F73C5FC5-7029-4E45-8EE0-9ED293921FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cc0cd31d36f0ac6a1e4cbb2ecda440630586e55","datavalue":{"value":"finite monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909729$23111A49-7777-44D5-89ED-2DB2C1326973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd22f8622c429652a65175d95f78d8a31cef904","datavalue":{"value":"completely regular monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909729$9A368AB1-F5CD-4424-BDE4-175EA3322CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e3736cb432a0c1c6a66f1a0bac2319ffa93c59f","datavalue":{"value":"Mal'cev product","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909729$2A74E130-A587-4964-B297-C9EBADB64567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9fe1257fca896a43c40877ba89960e9cc2aa0dee","datavalue":{"value":"semidirect product of pseudovarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909729$71200E1B-21D4-4123-AA54-9C32800A1DF0","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":"Q1909729$34115899-59F1-4DC2-9199-9F580CB96777","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35aebeb1f05af5e38031ad2fe79f73795f883813","datavalue":{"value":"https://doi.org/10.1016/0022-4049(94)00054-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1909729$84834A93-7DD7-46DE-BAFF-74EEB5B3FF05","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"88bc553063f806f6532cd0d9c47fe644da27fb64","datavalue":{"value":"W2012079346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909729$7AC157CD-5708-411F-9BC9-90075CA6E63E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0316b5782b0aa9cbc047483d7ad85d1085486454","datavalue":{"value":{"entity-type":"item","numeric-id":4271196,"id":"Q4271196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909729$D622C634-71DA-4AA3-8A9A-BC2C9AC599CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4320c72f5d7bc4233144c8a7fc06bac690cda162","datavalue":{"value":{"entity-type":"item","numeric-id":5809194,"id":"Q5809194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909729$6ADA34C3-D8D7-4DA6-8762-266554F53F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"428044328a0fb2ea18da57ecd6f232ab72ac9ba5","datavalue":{"value":{"entity-type":"item","numeric-id":3754190,"id":"Q3754190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909729$1E4C00B9-E57F-4C61-BF15-ACA9B49B1306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd25bf358595f363534ffd2ebef30c6fa54bfa","datavalue":{"value":{"entity-type":"item","numeric-id":688973,"id":"Q688973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909729$539D6ED1-CE14-4507-A4A4-9271A7BFD3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd692ad473dac4b9a3a58ea715ed754e28b32e79","datavalue":{"value":{"entity-type":"item","numeric-id":4271204,"id":"Q4271204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909729$D8D38DD9-ABD4-48AD-AE5F-EB8352547256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9efd0c104e6c49260e6973a5c82fe7b1b3d94101","datavalue":{"value":{"entity-type":"item","numeric-id":1194189,"id":"Q1194189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909729$070941DB-F8F5-455F-840D-C653B1177E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79d686c6d4e55318268f6dd55b6b72315cef528","datavalue":{"value":{"entity-type":"item","numeric-id":3497276,"id":"Q3497276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909729$6C935776-639B-440C-A751-76828AB767A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03815846c1eb13f63b11c5f12a03e221e6ac482a","datavalue":{"value":{"entity-type":"item","numeric-id":4271190,"id":"Q4271190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909729$64174776-55C5-491F-87F0-D2E88C278398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8413515aa563f4220496e78ee0320ada4c1f6e2","datavalue":{"value":{"entity-type":"item","numeric-id":4271200,"id":"Q4271200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909729$251FBE44-BDD3-44EE-B177-75D063BE727C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e57563327bae80ae38a870f40e8a977ebf247e8f","datavalue":{"value":{"entity-type":"item","numeric-id":581547,"id":"Q581547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909729$20A1CC5E-BB20-4924-8B71-1E76E6A1D565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed68160731cf55d219ba94647825683328472c30","datavalue":{"value":{"entity-type":"item","numeric-id":3769981,"id":"Q3769981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909729$791EB6FA-7FC9-43FC-BD2F-1F10B9AABE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f3461c9783b79ebef90caed8ab6bfcaf1cc5c25","datavalue":{"value":{"entity-type":"item","numeric-id":912218,"id":"Q912218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909729$A2C52DEF-1040-493D-8AB9-DF2A50E91693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecddd9a6675c75d29c38247b15977f59609cc492","datavalue":{"value":{"entity-type":"item","numeric-id":1825290,"id":"Q1825290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909729$4D861896-D6D2-4C9E-AF2A-BFB402C83EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edab2d2d78ceb79f5048801f439c5da324548e41","datavalue":{"value":{"entity-type":"item","numeric-id":5840061,"id":"Q5840061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909729$71881F32-5731-4045-A5CD-6BBDEF61386E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6a75e85707c1f24d3c13217ffc94cef40ecf304","datavalue":{"value":{"entity-type":"item","numeric-id":1244582,"id":"Q1244582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909729$AB8080C9-E5D2-45AC-BA08-6519FA197700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b5f473fa9e13352d2db6ca4025b5af7c1d171d2","datavalue":{"value":{"entity-type":"item","numeric-id":1181464,"id":"Q1181464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909729$34C91F8A-937E-45DC-944D-A8BC62A2B7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"461cf7a1ed31b221db8875d4150ec4bdf8361c83","datavalue":{"value":{"entity-type":"item","numeric-id":4029610,"id":"Q4029610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909729$6B7D05B4-1E79-48BB-A576-804481EF2D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4106ee1359f86fe88fb498711e75cf06db6594e","datavalue":{"value":{"entity-type":"item","numeric-id":581545,"id":"Q581545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909729$746CBFD9-78B1-4938-BBE9-9B547754DAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b8590d50ed9fead7f18d78c6c6fcb7426a782ac","datavalue":{"value":{"entity-type":"item","numeric-id":1201878,"id":"Q1201878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909729$E079EAA5-9179-42F9-A252-0F4266BA078A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85824f4143292ceb59073b1e5ab1943c4ea2c918","datavalue":{"value":{"entity-type":"item","numeric-id":3748457,"id":"Q3748457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909729$E1D888D8-CA75-49B4-8C20-FE07BD1AC160","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73709c4a6575739cdebca1f1e57220220c46f3cc","datavalue":{"value":{"entity-type":"item","numeric-id":5452109,"id":"Q5452109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4c57658d18130a2dd7aed56a3536af7931451c5","datavalue":{"value":{"amount":"+0.8610314726829529","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":"Q1909729$C6EB241C-48AE-416B-975D-C0C55CCC2125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f0f3798e0f0398eba3c91becb92594f286979c8","datavalue":{"value":{"entity-type":"item","numeric-id":4892455,"id":"Q4892455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"298d36453e7a105aed14363665f4d63d0c11a9e2","datavalue":{"value":{"amount":"+0.8558897376060486","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":"Q1909729$7409F73F-70CF-49EA-8E1E-3B48E5D01DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7959f3c2fc695f2152e1c89ff85abc429061c84","datavalue":{"value":{"entity-type":"item","numeric-id":4923203,"id":"Q4923203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fd9085c376672848c6cb4bb5048bab12e9aa6c1","datavalue":{"value":{"amount":"+0.8535630702972412","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":"Q1909729$573EE555-6DD1-44B5-BA6A-9B000C423634","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Locality of DS and associated varieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Locality_of_DS_and_associated_varieties"}}}}}