{"entities":{"Q1080452":{"pageid":1091204,"ns":120,"title":"Item:Q1080452","lastrevid":80219561,"modified":"2026-05-06T15:41:50Z","type":"item","id":"Q1080452","labels":{"en":{"language":"en","value":"The lattice of quasivarieties of semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3966168"}},"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":"Q1080452$F3B15660-EC02-4052-AB9C-B563CDC59068","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"39dd042f3b78405102a567c442bba52bf11994e8","datavalue":{"value":{"text":"The lattice of quasivarieties of semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1080452$9CB007E9-AF4E-4FA1-A766-0D309998EBA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e157d3317153578ebac2055820cf4ded9d357b0","datavalue":{"value":"0599.08014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1080452$468AD04F-3C3D-49B8-B2EF-B81F96736A61","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1826d1012893b9bf2442477b58a707c7e334991c","datavalue":{"value":"10.1007/BF01188054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1080452$383FD3A5-36A4-462A-A97A-1FD6D369DCEB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080452$B3BE6506-412E-4FCE-9236-53E0CF4F6045","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1080452$BF22B649-57A8-4554-AC25-406F6853611B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a0bcaf0b99bbbe795a3fa9c01e179a4ccfd8771c","datavalue":{"value":"A quasivariety is a class of similar algebras which is closed under the formation of subalgebras, products and ultra-products (equivalently, definable by ''quasi-identities'' or ''implications''). The quasivariety generated by an algebra A is denoted Q(A). The lattice of subquasivarieties of a quasivariety \\({\\mathcal K}\\) is denoted L(\\({\\mathcal K}).\\)    The author's main theorem demonstrates the complexity of the lattice of quasivarieties of semigroups. He shows that there exists a finite, commutative 3-nilpotent semigroup N such that L(Q(N)) is ''Q-universal'': every lattice L(\\({\\mathcal K})\\) (where \\({\\mathcal K}\\) is a quasivariety of algebras of finite type) is a homomorphic image of a sublattice of L(Q(N)). As a corollary, results of \\textit{V. A. Gorbunov} and \\textit{V. I. Tumanov} [Algebra Logika 19, 59-80 (1980; Zbl 0472.08011)] are used to show that there exists a finite semigroup S with the property that L(Q(S)) contains a copy of the free lattice of countable rank.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1080452$D2A110A5-C973-4261-9B07-66BD03C10F8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1080452$EC88EBAB-95C8-453E-8C75-D001E653D83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1080452$93DEB960-A6D5-415A-B0DA-1D5E7F645F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1080452$113C247A-6C74-4361-92E0-271380031FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8657ac6c38ed25d0542315e1ea5d0b1ab0616eb","datavalue":{"value":"06B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1080452$1B784538-EC0C-43C8-83A4-41FFF7D8F41E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c02e47eeb40ef73092800919861eac70c2b0b83","datavalue":{"value":"3966168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1080452$BCCA0732-1526-4CE1-B3C2-E52102ED5AC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"282eb20b2a53ac7fd262ea874fe1ead054aa9a57","datavalue":{"value":"ultra-products","type":"string"},"datatype":"string"},"type":"statement","id":"Q1080452$E1508AFE-4D5D-4C8C-9177-0CA3A0E16B10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eebdf4c0297b70fd9bb8e6fcdfeb822b06ea0b3a","datavalue":{"value":"lattice of subquasivarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1080452$06AE0E5D-AE95-4C47-A064-8BEABD19F3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4922b34fd358014c438f5317d15f78f30a3eaca3","datavalue":{"value":"lattice of quasivarieties of semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1080452$03B152B9-7F08-4492-949B-C740D709B705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c19dbc504f2fa5942e909ef6f2fa83ee4ccaa62","datavalue":{"value":"commutative 3-nilpotent semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1080452$D2F7F9F1-50FA-46E5-945B-D20EEA8CA291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bba4aefa93818531288703a15bfcf00e62407b0","datavalue":{"value":"Q-universal","type":"string"},"datatype":"string"},"type":"statement","id":"Q1080452$C14C43AE-034D-43A6-8BA2-C2C8AD75A1E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cb086a1bbcce2dc8e83f0488b8b6dabc7ecb9c1","datavalue":{"value":"quasivariety of algebras of finite type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1080452$555FCCCA-466F-4EF4-AFD1-0555F61F29B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"862afb06b461dcc1ff46d6df9b011842f09f8803","datavalue":{"value":{"entity-type":"item","numeric-id":1016797,"id":"Q1016797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080452$1F38D9EB-E155-4284-AC15-8DF6CA61872A","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":"Q1080452$D38D8D49-1631-4381-8846-CAAB83C196A7","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":"Q1080452$8D76D537-2AD5-4B78-B24F-EB16A64D7F64","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":"Q1080452$5CF1B421-8E9D-46DF-8888-9D30359C69F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c70e321512ba23cb2a58cf4869c71dd0f0ca962","datavalue":{"value":{"entity-type":"item","numeric-id":3856954,"id":"Q3856954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080452$39E57C84-CC73-4481-84F5-0343B5207171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d8befd2424c62c5da1be4b44bdff0ea0347109d","datavalue":{"value":{"entity-type":"item","numeric-id":3952162,"id":"Q3952162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1080452$85053A1B-F99D-40E1-92B7-3B3EC6032BC0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8fc21522bf84df394e323ab230af0574b2a298fa","datavalue":{"value":"https://doi.org/10.1007/bf01188054","type":"string"},"datatype":"url"},"type":"statement","id":"Q1080452$4FD830AF-9051-479C-A9C1-5424A657A0C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1bd2467b9d8bbac018f9614187bd2dc043102653","datavalue":{"value":"W2083369631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1080452$3BFFEB71-E1F8-4627-BDD5-709DAF07A28A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44c919c1994483b9f0e5dc1d6240ce3ba54ac666","datavalue":{"value":{"entity-type":"item","numeric-id":903184,"id":"Q903184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51de34bb08ac0f7f8ef1ef43f16ff677df76b0c4","datavalue":{"value":{"amount":"+0.8472915887832642","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":"Q1080452$35BA6D11-232B-472D-ABC0-EF75C9C21839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40fd44647c28ae6edb1841cac469fc6499cf63aa","datavalue":{"value":{"entity-type":"item","numeric-id":2266730,"id":"Q2266730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e64c658cd545dda5516843ff2851980b6081c004","datavalue":{"value":{"amount":"+0.8470329642295837","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":"Q1080452$5E06DFFF-DE00-4325-A928-0C7F0228DBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87eb02fc382f753675d05239abc95a43a0c9e90b","datavalue":{"value":{"entity-type":"item","numeric-id":1063050,"id":"Q1063050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f0c99ea4cced21530e8621110758f7896f91d56","datavalue":{"value":{"amount":"+0.8446764349937439","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":"Q1080452$E46BF580-1846-48D9-B7E9-ED2AE571477B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecf24bc237bc70aae1ce3e50f12bf67ca08aa52a","datavalue":{"value":{"entity-type":"item","numeric-id":4290840,"id":"Q4290840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdf254f54499ef1afafb3014f7cb676985256b61","datavalue":{"value":{"amount":"+0.835270881652832","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":"Q1080452$5073B19A-5F14-4F3E-B865-407BA5A43B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"657c8e7e12efdd628cc878598f7ea679a470d430","datavalue":{"value":{"entity-type":"item","numeric-id":1342130,"id":"Q1342130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdf254f54499ef1afafb3014f7cb676985256b61","datavalue":{"value":{"amount":"+0.835270881652832","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":"Q1080452$AC366551-1622-4666-B9F4-56CC73681A0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The lattice of quasivarieties of semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_lattice_of_quasivarieties_of_semigroups"}}}}}