{"entities":{"Q2497446":{"pageid":2508189,"ns":120,"title":"Item:Q2497446","lastrevid":49885825,"modified":"2026-01-11T15:27:42Z","type":"item","id":"Q2497446","labels":{"en":{"language":"en","value":"\\(\\mathcal D\\)-compatible semigroup varieties."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5043656"}},"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":"Q2497446$5C9EE453-66CF-4594-9CE7-47B7307A11AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"553991e225218476159ddc27e4c4961edb38ce4a","datavalue":{"value":{"text":"\\(\\mathcal D\\)-compatible semigroup varieties.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2497446$5ED1F662-1B5E-4338-8875-ACF32B29C251","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c4f1b78c4faf2561067ccf8c2e9986684734082a","datavalue":{"value":"1110.20047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2497446$5953785A-35AA-4E1E-AEFD-AF2637A16297","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dab25a31cccf0848ca3d6932e6a326fca88d1410","datavalue":{"value":{"entity-type":"item","numeric-id":744857,"id":"Q744857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2497446$9A5BA7BC-C342-4FE4-A66A-214DF7BBF680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9836a36a6248613f2664814a87ea01a9c752cb6","datavalue":{"value":{"entity-type":"item","numeric-id":1729794,"id":"Q1729794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2497446$08F73344-AEC1-4816-8454-13774554466D","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":"Q2497446$B15786BE-0356-4C1E-BDF3-418F405049BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fb876cd0509c83d752b9ca15b7a238c782dbf5de","datavalue":{"value":{"time":"+2006-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2497446$EFC4BA97-CA56-4EA8-9782-A9819F566E4C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"96b5fc8c114e6156c9ec72ece4b4278766763e15","datavalue":{"value":"A semigroup variety is \\(\\mathcal D\\)-compatible if for each member of it, Green's relation \\(\\mathcal D\\) is a congruence. The purpose of the paper is to classify all \\(\\mathcal D\\)-compatible semigroup varieties.   The set (lattice) of semigroup varieties naturally decomposes into two disjoint subsets: the periodic varieties and the overcommutative varieties (i.e., the varieties containing the variety of all commutative semigroups). For the first case it is shown that each periodic semigroup variety has at most six maximal \\(\\mathcal D\\)-compatible subvarieties (which are explicitly found) and each \\(\\mathcal D\\)-compatible subvariety is contained in a maximal one. Moreover, the periodic varieties that are minimal for not being \\(\\mathcal D\\)-compatible are also found -- in terms of generating members, a complete list of these is also given. These results are shown to have natural analogues in the context of pseudovarieties.   In a further section, the overcommutative case is treated. In the main theorem, the overcommutative \\(\\mathcal D\\)-compatible varieties are characterized in several ways (among these is a characterization in terms of forbidden members and in terms of quasi-identities). As a by-product it is shown that a variety is \\(\\mathcal D\\)-compatible if and only if it is \\(\\mathcal J\\)-compatible. Analogous results for monoid varieties are also established. In the final section some results are obtained concerning the problem of characterizing the semigroup varieties for which two of the Green relations coincide.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2497446$88DA264F-7D44-4FCB-924E-DBED0B40F0FC","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":"Q2497446$B9D80CCE-8089-449F-9BF9-E736122F3CEF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2497446$A6211DDF-8B78-41B6-90EC-AEE7ACD42220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da4486fba5293e43f43fa118be7b2896ee43bba4","datavalue":{"value":"20M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2497446$1AD7355C-0B30-47EB-A9E7-818F228850D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2497446$C2A4C700-6B4D-4AB5-8308-D4F4AA8A87A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cfb38cc0356e64109311aeb980c248123fc3e848","datavalue":{"value":"5043656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2497446$2FF1DDF3-CE5C-4CD2-91CA-A5A29A016C18","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f49505e4e2c976866b17f504a4a2917c9677f07","datavalue":{"value":"Green relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2497446$6FE9D049-2710-4DA5-8976-35A6601D2796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e60fe390b9f78f153e1e6bf3fabeaef9e90ca648","datavalue":{"value":"\\(\\mathcal D\\)-compatible semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q2497446$466EBB59-02FC-430C-8938-7602C04F87D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fe91c8da36feba16691ade0c5655514fc7f38d4","datavalue":{"value":"\\(\\mathcal D\\)-compatible varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2497446$B78E3177-55A1-4EAD-BD26-AB6DEFB8248A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee41da51037cda23269e3c40d9a7e100b37c6024","datavalue":{"value":"lattices of varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2497446$FB0A6D84-44AD-444C-8AF9-5876A6A5F87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"742c815b8b42bd1aadc7d8a5a8c023f8e843eb49","datavalue":{"value":"periodic semigroup varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2497446$9664448A-03F1-4444-B255-C2C41CA6A9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9db4eff65f85faebf8411107ce9861f94744fb08","datavalue":{"value":"pseudovarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2497446$2F67897E-2A12-4FF2-8D2B-AF99EEBED55E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7b7abc5a9ac1bd49dfb959e222f619cdde77e19","datavalue":{"value":"forbidden subvarieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q2497446$806DA7E1-7E3D-495B-8E26-155F54531E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb02c5c07c8f3975e80e6e8fc9b19e1b7b0e7e99","datavalue":{"value":"quasi-identities","type":"string"},"datatype":"string"},"type":"statement","id":"Q2497446$E0D668BC-4C19-41D0-AE15-51140128104B","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":"Q2497446$5E1D5DB1-FDB6-4728-B8DB-EEEF80A4E0A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7230e23886ec2ce00996523c045b350457cd800f","datavalue":{"value":"https://doi.org/10.1016/j.jalgebra.2006.02.033","type":"string"},"datatype":"url"},"type":"statement","id":"Q2497446$387817E4-2C9C-497C-8573-2205A7941F9C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95592361a030f7d10a50a961ba1b717b9c8f4383","datavalue":{"value":"W2045671820","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2497446$7F590286-85D2-43CC-9B1C-023C462C0B1F","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":"Q2497446$3A1C301D-1F26-47D2-ACFB-0C132F41BE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d376930c2f07bcbbb720ef55c807a9c9473d26bd","datavalue":{"value":{"entity-type":"item","numeric-id":2649409,"id":"Q2649409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2497446$A326BA5D-31C1-41BE-8BB5-D5073BD703BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abbd4368e50e5050e510c8c8aa52a518a6ec5310","datavalue":{"value":{"entity-type":"item","numeric-id":4846425,"id":"Q4846425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2497446$884AC4AA-0FBB-4F3F-967D-FD52B7005CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"513e30118e5cc48b0ab73cb6fd23f8b8f4263a23","datavalue":{"value":{"entity-type":"item","numeric-id":2491191,"id":"Q2491191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2497446$81747D4C-E99A-4C98-85C7-D8B425C93980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09458ffbed0388e1834d15ceac7ae9bbd45cfacd","datavalue":{"value":{"entity-type":"item","numeric-id":5478082,"id":"Q5478082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2497446$0B7C6733-44F0-4589-B348-18CDC6974602","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e4f356e606d5e4d58494d35e93d8e14ef3ed093d","datavalue":{"value":"10.1016/J.JALGEBRA.2006.02.033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2497446$0D73C184-013A-4B05-B601-BE6402C69A0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d44b5ff97b5ed92512ce86dc015f97045f753901","datavalue":{"value":{"entity-type":"item","numeric-id":5478082,"id":"Q5478082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"271c5d6e96594a092aa5d273b31e517a28842545","datavalue":{"value":{"amount":"+0.8574130535125732","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":"Q2497446$B013290B-CC79-45A3-9D0F-F94F4AD5A542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21926001c5a1b2087dd0c00af5196578d4c62e09","datavalue":{"value":{"entity-type":"item","numeric-id":4740099,"id":"Q4740099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b200c5d2d732e36491117d4bd1258c5a9de6fe4a","datavalue":{"value":{"amount":"+0.7827202081680298","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":"Q2497446$18C1936F-9A4C-4283-873F-0545AF869155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"629e9f8a63594dd54e6d2a87025d13274cdb58b5","datavalue":{"value":{"entity-type":"item","numeric-id":4537209,"id":"Q4537209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20fdf01d369ae4168a661e83259e3f479b825d58","datavalue":{"value":{"amount":"+0.7780553102493286","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":"Q2497446$3317E61A-233D-4890-BFC3-E7F2795B1109","rank":"normal"},{"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":"4a99df1a139610038efe633444059136b36c1e8d","datavalue":{"value":{"amount":"+0.7771914005279541","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":"Q2497446$C35416A6-D8F3-4739-A8E8-B9F006AEB858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"485a608fe7c19e79938cc7ed6dcc1879a683ad80","datavalue":{"value":{"entity-type":"item","numeric-id":3989349,"id":"Q3989349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff6508f61ba59fa73ef200f3c95954d9e5ef3833","datavalue":{"value":{"amount":"+0.7714728116989136","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":"Q2497446$C321051A-CEBA-49AF-AA41-BBE434190875","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2497446","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2497446"}}}}}