{"entities":{"Q1066281":{"pageid":1077033,"ns":120,"title":"Item:Q1066281","lastrevid":69555606,"modified":"2026-04-13T07:48:27Z","type":"item","id":"Q1066281","labels":{"en":{"language":"en","value":"Lattices of completely regular semigroup varieties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3925123"}},"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":"Q1066281$61E2C967-C7BF-4764-B000-4218C1B2BF9E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc2b1fd06814743901499ec2bc9c614826eefb25","datavalue":{"value":{"text":"Lattices of completely regular semigroup varieties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1066281$EEE05E67-48C4-4A05-B87D-31C1E1148C23","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5a7ea9ca42c5d10caa657b3175a71bf9ee2a84e","datavalue":{"value":"0578.20055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1066281$B1D5C5D1-500C-4470-A9B5-63EAC92563EF","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":"Q1066281$3621B8B6-00FE-41DD-A956-8B8902AC7A3D","rank":"normal"},{"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":"Q1066281$435BEA89-02EB-43C9-BE79-73EB36ED0AD5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"edf18db5439a683e98eaf3205ba65f05cfd68a4d","datavalue":{"value":{"entity-type":"item","numeric-id":161301,"id":"Q161301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1066281$925065D6-2808-4C4F-825B-67D966DCBE1C","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":"Q1066281$8B103D30-E2E0-4C8E-8199-03269C6DC639","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"18b681e7208759a23bbca3d62fb9891394ca0832","datavalue":{"value":"Let S be a regular semigroup, E(S) its set of idempotents, \\({\\mathcal C}(S)\\) its congruence lattice. For \\(\\rho\\in {\\mathcal C}(S)\\), the kernel and the trace of \\(\\rho\\) is defined by ker \\(\\rho\\) \\(=\\{x\\in S\\); \\(x\\rho\\) e for \\(e\\in E(S)\\}\\), tr \\(\\rho\\) \\(=\\rho | E(S)\\). The sets \\(T_{\\rho}=\\{\\theta \\in {\\mathcal C}(S)\\); tr \\(\\rho\\) \\(=tr \\theta \\}\\) and \\(K_{\\rho}=\\{\\theta \\in {\\mathcal C}(S)\\); ker \\(\\rho\\) \\(=\\ker \\theta \\}\\) are shown to be intervals in \\({\\mathcal C}(S)\\), \\(T_{\\rho}=[\\rho_{\\min},\\rho_{\\max}]\\) and \\(K_{\\rho}=[\\rho^{\\min},\\rho^{\\max}]\\), and \\(\\{\\rho \\}=K_{\\rho}\\cap T_{\\rho}\\). If \\(\\rho\\),\\(\\theta\\in {\\mathcal C}(S)\\) then tr \\(\\rho\\) \\(\\subseteq tr \\theta\\) implies \\(\\rho_{\\min}\\leq \\theta_{\\min}\\), \\(\\rho_{\\max}\\leq \\theta_{\\max}\\), ker \\(\\rho\\) \\(\\subseteq \\ker \\theta\\) implies \\(\\rho^{\\min}\\leq \\theta^{\\min}\\). For \\(\\rho\\in {\\mathcal C}(S)\\) define \\(\\rho_ 0=\\rho\\), \\(\\gamma_ 0=\\rho_{\\min}\\), \\(\\delta_ 0=\\rho^{\\min}\\) and for \\(i>0\\), \\(\\delta_ i=(\\gamma_{i-1})^{\\min}\\), \\(\\gamma_ i=(\\delta_{i-1})_{\\min}\\), \\(\\rho_ i=\\delta_ i\\vee \\gamma_ i\\), then \\(\\delta_ i\\wedge \\gamma_ i=\\rho_{i+1}\\) and \\(\\{\\rho_ i,\\delta_ i,\\gamma_ i\\); \\(i\\geq 0\\}\\) is a sublattice of \\({\\mathcal C}(S)\\). Let now S be a free completely regular semigroup of infinite countable rank and \\({\\mathcal C}(S)\\) the lattice of fully invariant congruences in \\({\\mathcal C}(S)\\). It is shown that for \\(\\rho\\in {\\mathcal C}(S)\\) also \\(\\rho_{\\min}\\), \\(\\rho_{\\max}\\), \\(\\rho^{\\min}\\), \\(\\rho^{\\max}\\in {\\mathcal C}(S)\\) and we have the isomorphisms \\([\\rho_{\\min},\\rho]\\times [\\rho^{\\min},\\rho]\\simeq [\\rho_{\\min}\\wedge \\rho^{\\min},\\rho]\\), \\([\\rho^{\\max},\\rho_{\\max}\\vee \\rho^{\\max}]\\times [\\rho_{\\max},\\rho_{\\max}\\vee \\rho^{ma\\quad x}]\\simeq [\\rho,\\rho_{\\max}\\vee \\rho^{\\max}]\\). For \\(i>0\\) define \\(\\delta_{- i}=(\\gamma_{-i+1})_{\\max}\\), \\(\\gamma_{-i}=(\\delta_{- i+1})^{\\max}\\), \\(\\rho_{-i}=\\delta_{-i}\\vee \\gamma_{-i}\\). Then for \\(\\rho\\in {\\mathcal C}(S)\\), \\(\\{\\rho_ i,\\delta_ i,\\gamma_ i\\); i is an integer\\(\\}\\) is a sublattice of \\({\\mathcal C}(S)\\) which is infinite in case \\(\\rho\\) is not the equality. Some consequences for subvarieties of the variety of completely regular semigroups are stated. A free completely regular semigroup S is shown to be of finite rank if and only if it possesses a non-identical idempotent separating congruence (i.e. a congruence whose trace is the equality).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1066281$28A7986A-91B8-4B63-A14F-1382F6FA806E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e5fb4697c93e6483e0ffbb93428a373e0646b68d","datavalue":{"value":"20M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1066281$D597589E-E8B7-42D0-8558-018238FD547C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"161452d058224a660e3b8a96064cc184f10828db","datavalue":{"value":"20M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1066281$13DB94E8-BEB5-4497-BEB1-0B043C483872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1066281$CE8B7917-35B8-4674-9B9C-82F8E93088DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"573d412f341efc1f466c7df8fd781d2b047ad69b","datavalue":{"value":"3925123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1066281$5DB8FFCF-705C-42AC-A412-824477DF9C96","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae2b2952403bc9913b13b364ff2ee4a26166f3b9","datavalue":{"value":"idempotents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1066281$2EF026D7-3315-4C90-80A9-C08BDAEBDDD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"304b60f2d9e1845880880c56005c9c3f2d18e6cd","datavalue":{"value":"congruence lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1066281$9FDDD340-AD2D-4128-BFAA-C9C96179A523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9fbb60591b310950e5788ab87b820f84d6e8e1f","datavalue":{"value":"free completely regular semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1066281$911C597C-9EE8-4058-9EF4-DCCE21571B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b2541b9d6b0ef7fe5def95df5c1310534e9ed52","datavalue":{"value":"lattice of fully invariant congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q1066281$B8DEECDD-6B24-42ED-ADAF-664730BC679D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69604592c8a7ff22a717aeb63be679e4405d5d61","datavalue":{"value":"variety of completely regular semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1066281$843B8A3C-1C16-4F20-914C-09DC680D37D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7369e5d19403f4492b883c4a4ca6fb446f50a3c3","datavalue":{"value":"idempotent separating congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1066281$CB6427A6-E818-497A-82AE-4C1D8BD7453A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e77d710fff360ac5f5e834555bc2a388abb806e6","datavalue":{"value":{"entity-type":"item","numeric-id":409252,"id":"Q409252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1066281$10E171C8-D717-495A-B659-56076C31A176","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":"Q1066281$A254F98B-9D08-47AE-904D-EB54213743B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"43df4dbed8972e1e0606ad22f98e7e57870ce2ba","datavalue":{"value":"https://doi.org/10.2140/pjm.1985.119.191","type":"string"},"datatype":"url"},"type":"statement","id":"Q1066281$A2B2331A-7569-4E78-867F-339449B21D44","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0387dac61c690efceb8f3737080ef096bc37fb0f","datavalue":{"value":"W2005562911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1066281$E27238AE-EB2A-46F1-B1A4-861D0EA0A5F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"111f0cc601df3789251bccd5e320e621a2a65a13","datavalue":{"value":"10.2140/PJM.1985.119.191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1066281$DBFD8606-70D5-47EC-8A87-77E2DFF2AA79","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59a140b2611306b43c8720bafeb79bddacc47395","datavalue":{"value":{"entity-type":"item","numeric-id":4638652,"id":"Q4638652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"691b7829173c43e65a90939401a5bb09a1d6e017","datavalue":{"value":{"amount":"+0.8653355836868286","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":"Q1066281$1C0A1886-EF08-47F9-BA33-B4CA616F05A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16ae168734c2c3965b671788071a818b2fecec03","datavalue":{"value":{"entity-type":"item","numeric-id":1314867,"id":"Q1314867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ba4734f14bd157a9fea46bb34745e5744256e21","datavalue":{"value":{"amount":"+0.8592032194137573","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":"Q1066281$FC2C62F0-2805-45BE-A21B-B486E4F0C4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b04fe17d5ebe8e5b34ca7fe565273a1f15e14c04","datavalue":{"value":{"entity-type":"item","numeric-id":1099257,"id":"Q1099257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"567f8064debd4ec872238dfb40c19a6e208abfc2","datavalue":{"value":{"amount":"+0.8561616539955139","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":"Q1066281$60F0BFB5-8E5C-4D53-B199-BC107548AFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c74acd65e8b2938ed54be567bb51fdb744bbfa3a","datavalue":{"value":{"entity-type":"item","numeric-id":3991568,"id":"Q3991568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b04f3fc6f9bb7ac945360774c3b3d1e4303af3e2","datavalue":{"value":{"amount":"+0.8549084663391113","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":"Q1066281$FC06B273-3EC0-4447-AE47-2D0835006A7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83f96ff676921ce15650b408fb94adc929017f02","datavalue":{"value":{"entity-type":"item","numeric-id":1105702,"id":"Q1105702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"290dbd941e73b7a8e0221a594023ec1ce64dffac","datavalue":{"value":{"amount":"+0.8525034189224243","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":"Q1066281$7030672C-09E0-478F-91E3-4678CB5DBD06","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lattices of completely regular semigroup varieties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lattices_of_completely_regular_semigroup_varieties"}}}}}