{"entities":{"Q1178869":{"pageid":1189618,"ns":120,"title":"Item:Q1178869","lastrevid":66438621,"modified":"2026-04-12T10:04:37Z","type":"item","id":"Q1178869","labels":{"en":{"language":"en","value":"On iterated semidirect products of finite semilattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 23470"}},"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":"Q1178869$7FD5EA84-F96F-43A2-881D-13DCFF769D14","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04e1c7c97fa6c6815bdf6c83bcfd2ef85fec7beb","datavalue":{"value":{"text":"On iterated semidirect products of finite semilattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1178869$55B2F8EC-8D09-45AB-8E91-E75C51A834C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8b389143febc9cd142f741341f1ce376aa29fb02","datavalue":{"value":"0743.20056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178869$23DD1C03-9951-4BB1-986A-41D1F4644EE8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"985e579f20efa7d953ae06d534ea71e1669feab0","datavalue":{"value":"10.1016/0021-8693(91)90228-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178869$0CA42424-1824-49C3-9B86-3E4175B72E88","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":"Q1178869$D2D2AE96-6315-4282-B5D0-CCAD9BFD3841","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1422b5e3113eee9dc98f0455d275631058399b8b","datavalue":{"value":{"time":"+1992-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1178869$A6B42C76-DB8A-4F16-9F70-F796CFAA9E9D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3a5902d0849e90bd56593a315607dc8e162b64be","datavalue":{"value":"In [Semigroup Forum 28, 73-81 (1984; Zbl 0527.20046)], \\textit{J.-E. Pin} proved that the pseudovariety of monoids generated by all semidirected products of two semilattice monoids is defined by the identities \\(xuyvxy=xuyvyx\\) and \\(xux=xux^ 2\\), and later posed the question as to whether, for any \\(n\\), the pseudovariety of monoids generated by all semidirect products of \\(n\\) semilattice monoids is also finitely based. In the current paper, the author answers this question in the negative, as a consequence of the more general consideration of the pseudovarieties \\({\\mathcal S}\\ell^ n\\) of semigroups, rather than monoids, generated by semidirect products of \\(n\\) semilattices. He finds a fairly simple basis of identities for \\({\\mathcal S}\\ell^ n\\) and shows that, for \\(n>2\\), no finite number of these identities will suffice. An explicit connection is set up between the monoid and semigroup pseudovarieties of these types. Various other interesting properties of these pseudovarieties are investigated.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178869$C1DFFABD-6B83-4976-A57A-CAC2BD45A9D5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f4385d4dae42e0a5bfb796b12df4f3fcdddf89d5","datavalue":{"value":{"entity-type":"item","numeric-id":418915,"id":"Q418915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178869$D21F7C21-FE4F-4DD3-9348-2A3333E55DC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178869$E4A5CD1A-EBD5-470D-BBE9-6EAA61CFEF6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"03468f1d5abafefed311cc9ccae9ddd73ff4dbd8","datavalue":{"value":"20M05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178869$8B333D57-35D5-45D6-9333-CCDCA83A8414","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"86b4d26744d4a7762c9336a2ea21ffe219529fb1","datavalue":{"value":"23470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178869$229611BB-6108-464A-964E-883ABEDDD25F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3d24fe65b83b64f84847f8d7dcb8dc7f1f28f5d","datavalue":{"value":"pseudovarieties of monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178869$B24FD5ED-2F6A-4864-848F-2A99566A5284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aa272f7e20d07255d919385199eb668b84320e2","datavalue":{"value":"semidirect products","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178869$C9E33C1C-F8AF-42EF-9262-86E6427165CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f45e60e8a495717e4275a77d72fe9cd7ce9118a0","datavalue":{"value":"semilattice monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178869$2A286646-4696-44C1-A6BE-489722D65D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2c50d98e1e7edb4fe5350bf31e93b8679eee73","datavalue":{"value":"bases of identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178869$267066E8-CAF4-4652-8A11-CBACAB5FD0F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bfa26d0afac90958d66bb2e51cb041830ad20c6","datavalue":{"value":"semigroup pseudovarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1178869$6D53335A-012F-4AE2-BC1C-FF716BAABA17","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fc1d31d63a2df647dd98cf320ada5d35f0019b0","datavalue":{"value":{"entity-type":"item","numeric-id":375866,"id":"Q375866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178869$273BE00A-2627-46CD-A723-04BDDA75817F","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":"Q1178869$2501CFE7-6ED7-40C6-B638-5A0234CA5A1D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ec5eee75611e7522f5e6d36cf0bac9d292a8af","datavalue":{"value":{"entity-type":"item","numeric-id":1262958,"id":"Q1262958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178869$85C3209C-CA78-46FA-8577-FE23AFAD73EA","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":"Q1178869$E562939E-7CDB-4E00-A20B-2C8792FCCDA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa28b36f1d47ef725ba4acb380f1839600a6b45","datavalue":{"value":{"entity-type":"item","numeric-id":4132170,"id":"Q4132170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178869$6A35EBCD-3CC7-41FD-976B-85D2DD4C4D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838e93d923d4242f5a642afb4710a839870074c7","datavalue":{"value":{"entity-type":"item","numeric-id":2536632,"id":"Q2536632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178869$B03C62BD-BD14-4FFF-9A0D-DA7F3DD0B029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85f785bc9135cd622f2c55bdc82bfce44c33823d","datavalue":{"value":{"entity-type":"item","numeric-id":5184421,"id":"Q5184421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178869$031F8F55-A96F-4253-B207-9309A752F915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d4f6cb960bf18f97e4f181f0a375888609dd43f","datavalue":{"value":{"entity-type":"item","numeric-id":786232,"id":"Q786232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178869$4279707C-8721-4A3E-B06C-B3C12197FF87","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":"Q1178869$E02E4ABF-85DF-4BC5-BC1D-E40694C2B858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36443093769a6cbdb09ed8569ecd63f4d20d7725","datavalue":{"value":{"entity-type":"item","numeric-id":1163585,"id":"Q1163585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178869$AF1110FF-1667-4F98-A2CC-60E93B8D3C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d0fadfeab93a6e4effa1bcf87489ccc9875488c","datavalue":{"value":{"entity-type":"item","numeric-id":3807431,"id":"Q3807431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178869$1A36BF57-0C40-488E-819F-77F7F7B30003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ad71e0c47b486677961310ebe80bdd31a6c3125","datavalue":{"value":{"entity-type":"item","numeric-id":2266068,"id":"Q2266068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1178869$2BE7D203-F29F-4195-A5CC-A4C1BF9D97B8","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":"Q1178869$1DD58BBF-78ED-404B-9D24-BC3DE6E935D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f500059b6aa3a7c22d9fe0be5430739924b91d2e","datavalue":{"value":"https://doi.org/10.1016/0021-8693(91)90228-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q1178869$D8DE55D3-5FAA-4A7F-950E-DB241102B2CA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a6f6629baef1f22b5bacb35040aa389287a7b4c","datavalue":{"value":"W2043035093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1178869$BEDF17BC-3B5C-44C1-9C4F-35B158A64336","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d4c502976f62cf017996c56ada3a3bc6980c4ee","datavalue":{"value":{"entity-type":"item","numeric-id":3982699,"id":"Q3982699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"647e506f09f7a231331c241cfa3a06a1708e9143","datavalue":{"value":{"amount":"+0.90677583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1178869$194709A2-55F2-4332-8F9F-B5C6CD0E738E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a407ac6c31a8108712b90606e30c18703d861989","datavalue":{"value":{"entity-type":"item","numeric-id":4006441,"id":"Q4006441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d02a5d0fd99ff049dde7813204306d1aa77d38d","datavalue":{"value":{"amount":"+0.89973307","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1178869$90129238-9F8F-4589-903A-09592EBD8A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fca663985e29468071eff3a8b30eb2ed9e66f39","datavalue":{"value":{"entity-type":"item","numeric-id":2474102,"id":"Q2474102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"077f7320f3544dab28515364d1b13331934f8af8","datavalue":{"value":{"amount":"+0.8989974","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1178869$A9D97EB4-AC51-42BB-81C3-C52F9529859E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e78784d36352d93512d20d0ad93eb762b33fd3c2","datavalue":{"value":{"entity-type":"item","numeric-id":797602,"id":"Q797602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90653b5072bb3b4c377e63af2746eaca7e6d3f4f","datavalue":{"value":{"amount":"+0.8922862","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1178869$0FEB0774-227E-4B80-9413-7266BB81696E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd9106c435675a223788b616f5de51901dc1f847","datavalue":{"value":{"entity-type":"item","numeric-id":3737668,"id":"Q3737668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c869ed5fe4a1042d8384db8747f9970e09f35f50","datavalue":{"value":{"amount":"+0.890327","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1178869$305F4B22-B24C-40FC-BD9E-294DFFCC8416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"796138141f7a77af6781a357cab88e9a48e46e0b","datavalue":{"value":{"entity-type":"item","numeric-id":4348025,"id":"Q4348025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45b1a47ac6f9048b6a48555ea9372a5c1a0c35b1","datavalue":{"value":{"amount":"+0.89032686","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1178869$319D0B86-596B-42FC-80DC-C8905233746A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a42c989e920d10ccacbacd8e6010de1efa196fb5","datavalue":{"value":{"entity-type":"item","numeric-id":4504879,"id":"Q4504879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af51b6b38ddf1193694f5b53295f312340dad569","datavalue":{"value":{"amount":"+0.88960433","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1178869$F82E9FEB-A2DF-4947-9CE7-09A943BCF3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d43b45ea503882d496b8d3e87c60a0d7078e51e","datavalue":{"value":{"entity-type":"item","numeric-id":4902682,"id":"Q4902682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffe2f72a07df0bbb32ed9683e931bce73094d026","datavalue":{"value":{"amount":"+0.8888491","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1178869$91E68840-0019-4C9B-B344-9BA98021CC78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c1477643cf58e919959e6f60f8116fb6f4d9e3d","datavalue":{"value":{"entity-type":"item","numeric-id":4874825,"id":"Q4874825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"922980c87bfb6826f580a1d718ac14060734e7f7","datavalue":{"value":{"amount":"+0.88766676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1178869$03C16CAF-487C-4BB2-AC9D-DE2D62E173A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"382a9131d7263cc47553ea2803454a670497e37b","datavalue":{"value":{"entity-type":"item","numeric-id":3584900,"id":"Q3584900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cb05625beec27f35ea1401c66c085b06bdc6274","datavalue":{"value":{"amount":"+0.8871881","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1178869$C19D849C-4B2B-42F3-A00F-1E5408FA1DBA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On iterated semidirect products of finite semilattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_iterated_semidirect_products_of_finite_semilattices"}}}}}