{"entities":{"Q794676":{"pageid":796524,"ns":120,"title":"Item:Q794676","lastrevid":64388796,"modified":"2026-04-11T19:31:37Z","type":"item","id":"Q794676","labels":{"en":{"language":"en","value":"Regraphs and congruence lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3859187"}},"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":"Q794676$B43862A4-B41C-496B-B964-25F07BA4D28B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1da49f80020ef4081a6fc4ce6ff75b72cf31c9a1","datavalue":{"value":{"text":"Regraphs and congruence lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q794676$F6BAAF92-3A22-4D32-AFF4-4A177D4D0E9E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48004b842efa3b75a467ecad798e6dd617f61a64","datavalue":{"value":"0541.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794676$F4E91E7D-4E3D-4D97-ADAD-3F6F7114A2ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b599ecc9671d32ad0287b7d754338f68ff1841ac","datavalue":{"value":"10.1007/BF01194541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794676$006F8F21-FE7E-4B91-B2F2-7450BDFCBFD2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"318018faae3560d6874b4d183002bf8aee67c872","datavalue":{"value":{"entity-type":"item","numeric-id":185618,"id":"Q185618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794676$CD835452-8262-4E78-B1C2-CF40EDF93F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34101415e96d924da8ba996a361091263f7a0b97","datavalue":{"value":{"entity-type":"item","numeric-id":788730,"id":"Q788730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794676$65AF01D2-0A8D-421A-8285-5CB30ACED20D","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":"Q794676$3EFE830D-8E13-44F5-B333-6798FA747A5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q794676$2098E5DE-7E8D-4CBD-BA0A-9B0F4300D2B9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f71aa3ee95edfa9d0274febbb51ef2d35d927f72","datavalue":{"value":"In an earlier paper [Algebra Univers. 10, 74-95 (1980; Zbl 0433.06009)] the authors introduced special graphs, called regraphs. Here they use them for studying the finite congruence lattice representation problem. An embedding \\(\\phi\\) of a finite lattice L into the lattice Eq(A) of equivalences on a finite set A is algebraic if \\(\\phi\\) preserves \\(0_ L\\) and \\(1_ L\\) and there exists an algebra \\({\\mathcal A}=(A,F)\\) such that \\(Im(\\phi)=Con({\\mathcal A})\\). In this case L is representable as the congruence lattice of \\({\\mathcal A}\\). The main result is the following one: If G is a perfect regraph valued by A and \\(\\phi\\) an algebraic embedding of L into Eq(A), then the factorized G-power of \\(\\phi\\) is algebraic (for corresponding notions see the cited paper). As a corollary one obtains: For every finite nontrivial lattice L there exists a positive integer \\(n_ 0\\) such that if L can be represented as a congruence lattice of a finite algebra, then it is possible to find such a representation on every set A with \\(| A| \\geq n_ 0\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q794676$56D7F6FD-C0DC-4A64-BA17-89D8E3401434","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8657ac6c38ed25d0542315e1ea5d0b1ab0616eb","datavalue":{"value":"06B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794676$2F303099-2465-4657-B74A-5A79BE1EB041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794676$AA61959E-1837-4A57-80C0-74635839791E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f15d46cb8d4ffe0dbd9357e013b784d0f700114","datavalue":{"value":"05C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794676$4D25E344-BB2F-4484-92F1-1A3B03F8B383","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b726cbdc42493d3d568baa1ce4cad794c1a84bc5","datavalue":{"value":"3859187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q794676$B84014F0-D123-41B2-8D1A-14D152A6F331","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fed8828bd8be9c88f6d7b243b2b648483b836bc2","datavalue":{"value":"regraphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q794676$9C03D0BA-0D5F-44AD-A842-2A48E289293A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94707002c5ca42d6933f973857f85582a6c0a702","datavalue":{"value":"finite congruence lattice representation problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q794676$3437E1B7-9605-43CC-90EB-B511CC01B2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ef911773fed61b9e6f92e533c9c25c426e37ede","datavalue":{"value":"perfect regraph","type":"string"},"datatype":"string"},"type":"statement","id":"Q794676$4CBF452C-F65B-4709-B6FF-65885C0D2384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e741c706630ca5001014f0039007adc34a9627a0","datavalue":{"value":"algebraic embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q794676$BC90DCB1-B5DA-48A6-8690-424B44286C92","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":"Q794676$1503D4D8-E7E9-4673-92F2-00339B0EDE0D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cb26dcca5a66b90f50581f28b1ff636a9297aea","datavalue":{"value":{"entity-type":"item","numeric-id":1139064,"id":"Q1139064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q794676$28BC28C7-F250-4B93-836F-C3AF2FE4C07C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fbfb83b06c95142366f68b960dd90d2f7606a4e","datavalue":{"value":{"entity-type":"item","numeric-id":1866816,"id":"Q1866816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d04436c7ab241954cd1d3b7f17a06e472cc7cc7","datavalue":{"value":{"amount":"+0.7939544320106506","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":"Q794676$24EECBBB-521C-42CC-B29A-7EF42B2B887C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a705f88744e7cb9026d9271412e370a9cd432212","datavalue":{"value":{"entity-type":"item","numeric-id":1239185,"id":"Q1239185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d04436c7ab241954cd1d3b7f17a06e472cc7cc7","datavalue":{"value":{"amount":"+0.7939544320106506","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":"Q794676$8AAFBFDC-5110-4420-8BBA-E4221B395DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"613d378b71bca099073ef8fbcd36f77cb1f6c163","datavalue":{"value":{"entity-type":"item","numeric-id":5435060,"id":"Q5435060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f766b4b0543aeb6e638c42cd6e0216123ab1ba6a","datavalue":{"value":{"amount":"+0.789736270904541","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":"Q794676$B2AE325D-0DA6-40AC-8AAB-90881521D9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e3cc95edfda5b70dc7176906d087dc7f8230897","datavalue":{"value":{"entity-type":"item","numeric-id":535094,"id":"Q535094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"181a6eeef85989601bf49beda7971aa8fcb823c3","datavalue":{"value":{"amount":"+0.7869728803634644","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":"Q794676$86E061E1-F999-4F47-B351-5C3693591B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f70fa28bbd06c1e8af36cf6d7ddeb6251cdde79","datavalue":{"value":{"entity-type":"item","numeric-id":2577749,"id":"Q2577749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ac76f2b52f78e670cac983e9978ada1cd0c799d","datavalue":{"value":{"amount":"+0.7782105803489685","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":"Q794676$BD74145C-448E-4719-B31F-20DAE967D349","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Regraphs and congruence lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Regraphs_and_congruence_lattices"}}}}}