{"entities":{"Q1868922":{"pageid":1879664,"ns":120,"title":"Item:Q1868922","lastrevid":73686801,"modified":"2026-04-14T16:55:03Z","type":"item","id":"Q1868922","labels":{"en":{"language":"en","value":"Irreducible varieties of commutative semigroups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1901961"}},"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":"Q1868922$6B648024-FC61-486C-A240-16B6C808307A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb2bf8815a9702d63191b1809d5a65f76bed4ffc","datavalue":{"value":{"text":"Irreducible varieties of commutative semigroups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1868922$8D167D89-EC04-4E20-96F4-81FAC4263E1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f85333c77dc40b41efc1ac4427b6443683776154","datavalue":{"value":"1026.20040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868922$59144143-3393-4352-B871-86B9FA456E92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3e48cc7e33352fda31d3973ede66380deb41d3c","datavalue":{"value":"10.1016/S0021-8693(02)00674-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868922$D1163F02-1D1E-4F1D-B3CF-FC17A4EC19D4","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":"Q1868922$C0B368B5-020C-4755-81B0-E202C6FC80E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3b05751a28df8b7d171e02c18dec5082d33efa41","datavalue":{"value":{"time":"+2003-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1868922$52974947-F120-4C30-AD72-3DAAE3611E13","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dd03f1889f9fe24a1386d0b7fc7dab9aae69b866","datavalue":{"value":"This paper is based on a complete structural description of the lattice of varieties of commutative semigroups which is due to \\textit{A. Kisielewicz} [Trans. Am. Math. Soc. 342, No. 1, 275-306 (1994; Zbl 0801.20042)]: each variety corresponds uniquely to a certain quadruple \\((J,m,r,\\pi)\\), where \\(\\pi\\) is a so-called `remainder' of the triple \\((J,m,r)\\). In a previous joint paper with \\textit{A. Kisielewicz} [J. Algebra 232, No. 2, 493-506 (2000; Zbl 0970.20033)], the author has used this structural description to effectively characterize the covers and the dual covers of a given variety in the lattice. In the present paper, through a finer combinatorial analysis which leads to a proof of the existence of unique minimal generators for remainders, those characterizations are further refined by describing covers and dual covers in lattices of remainders. This allows the author to give a complete description of both join- and meet-irreducibles in the lattice of varieties of commutative semigroups. As a simple application, he deduces that the variety of all commutative semigroups is the only element of this lattice which is both join- and meet-irreducible.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868922$6573C83C-7787-46D2-BFEE-C0FD775ADB03","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868922$4076925A-47DD-4A87-872A-940823351E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868922$BCAFB883-BA2C-4076-89B4-5F3150071351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"eadae2eb6bbadf82bbbb96425466d50c2adfbaee","datavalue":{"value":"20M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868922$0BDAA727-9307-4E5E-A66D-B98C2F17F418","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a6468af6ac53b9ea8be28cb27d68e84caba35f3","datavalue":{"value":"1901961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868922$AE7B5F15-EAD8-4DE7-A3FA-8E980F7FD6C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6095a683b4a79232d5a50824d8d9dffcc4700b27","datavalue":{"value":"commutative semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868922$7A5ED904-E894-41D4-B679-82D9C54BE7E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee41da51037cda23269e3c40d9a7e100b37c6024","datavalue":{"value":"lattices of varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868922$139AE3B5-735B-4A27-8C9D-54C7A6021E07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b0d85ba0a3f99bd29b65e7d6b110fe0006cdb3","datavalue":{"value":"irreducible elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868922$37DC6243-16C8-4012-8F7F-B99F1267ADD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db45778496e1d64a0dec8cec2243f89825524aa0","datavalue":{"value":"dual covers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868922$BFFC5FBE-0951-44A3-88F9-1615EC190B47","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c24d1459156164480396e1a4258c2595759a4c5","datavalue":{"value":{"entity-type":"item","numeric-id":161611,"id":"Q161611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868922$F3B83460-520B-4821-B9C3-68CE95490598","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"99980a1fe8b67be8570894d1f605195f6f2e1e0e","datavalue":{"value":{"entity-type":"item","numeric-id":375866,"id":"Q375866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868922$2072216C-23F3-445E-835C-C995945EE8BF","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":"Q1868922$3B7B62FD-8303-43C4-BCF9-8CC89E728956","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f760f8cf9ab7002eb2f7c822eda9138ac1f1eee6","datavalue":{"value":{"entity-type":"item","numeric-id":3724564,"id":"Q3724564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868922$A9001D04-D4C5-4069-9178-6395966499F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d5ecd231ea2d3ded384eeb73b36ba078a81c7eb","datavalue":{"value":{"entity-type":"item","numeric-id":5925810,"id":"Q5925810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868922$6614A553-A3A0-45CA-AA95-258B10F2DCFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64e14f6bfac5f4444249bc08d1704ba4f8edc7","datavalue":{"value":{"entity-type":"item","numeric-id":4292747,"id":"Q4292747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868922$64AF0F28-B8A5-4D60-B9A7-5173A622C188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45ff1ac00928c17b6ad1c231d45ff9943a9b4170","datavalue":{"value":{"entity-type":"item","numeric-id":3751631,"id":"Q3751631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868922$B39CCFA3-0208-4DC9-A150-F3AD07F4F382","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":"Q1868922$B9BE4BB2-6CBA-4DB7-822B-64CF307833E5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d231a7b176f2a2a23ede5b11a2b61a4c26911a4","datavalue":{"value":{"entity-type":"item","numeric-id":3979118,"id":"Q3979118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45f5d2fe2b2e713146093f3d7767ec013a3449f4","datavalue":{"value":{"amount":"+0.830646812915802","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":"Q1868922$CA4F47BE-AA17-443B-9A07-DAC3B5D74A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f8ef877ca7a289049b3b35313437c93ef02124b","datavalue":{"value":{"entity-type":"item","numeric-id":5224175,"id":"Q5224175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b5d010c5046db8fd8a581fcb0254e6d224dc540","datavalue":{"value":{"amount":"+0.825822651386261","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":"Q1868922$64F0E10B-BC1D-43CA-BE9F-A64028B46380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb9a1a5032c6fe5901d24bf36651e0375798dd0a","datavalue":{"value":{"entity-type":"item","numeric-id":1758219,"id":"Q1758219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a1223d0e5696e8aead758900fa496aeb77d9ee5","datavalue":{"value":{"amount":"+0.8031927347183228","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":"Q1868922$EE619694-8465-47B4-B449-D0A2EECD3CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85acb88f1981098f3002530e64467a41d65f9060","datavalue":{"value":{"entity-type":"item","numeric-id":471506,"id":"Q471506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75b992ce52eeb295ea2a066611241ed083fff74d","datavalue":{"value":{"amount":"+0.8023533821105957","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":"Q1868922$68C1F22F-3083-43EC-8E55-8B81F499E42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b07984e0dc0b0cb06a333d49efcb9bc76bbfb5e","datavalue":{"value":{"entity-type":"item","numeric-id":5701840,"id":"Q5701840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11613f89efcd575c09d3866e9739b785bbc7d648","datavalue":{"value":{"amount":"+0.7833557724952698","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":"Q1868922$7CF2FDD1-29D5-4F5C-8247-59D4B447CF82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Irreducible varieties of commutative semigroups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Irreducible_varieties_of_commutative_semigroups"}}}}}