{"entities":{"Q1368669":{"pageid":1379409,"ns":120,"title":"Item:Q1368669","lastrevid":70994970,"modified":"2026-04-13T18:46:38Z","type":"item","id":"Q1368669","labels":{"en":{"language":"en","value":"A lower bound for congruence representations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1067856"}},"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":"Q1368669$822940BF-CC60-46AB-B40C-9AC522102DD6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4e57ee21de33b7e1afa93e709892112ee8be0b3e","datavalue":{"value":{"text":"A lower bound for congruence representations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1368669$C634574F-3BCB-4891-952C-F3F600BC9FA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a869fc5056003c92168d53b41722e85803b6bd51","datavalue":{"value":"0886.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368669$B1B86776-C992-4524-ACB9-3C19FE3B175C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f8f5b07ce9776f2a7c21cb178cbfb289ad6bb07","datavalue":{"value":"10.1023/A:1005855124769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368669$B6AC50EC-EA42-4B2C-8F95-BB0C117F864E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7527cefcc140a8cd03530225d272dfa946179304","datavalue":{"value":{"entity-type":"item","numeric-id":219052,"id":"Q219052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368669$9BB2A522-7293-4656-8360-C41A00288A94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26d3f04a1a5c7803049df9dcae9ad7a96f626135","datavalue":{"value":{"entity-type":"item","numeric-id":284256,"id":"Q284256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368669$5CCFFB26-BD06-4189-8A4A-854F7069D336","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e2599ed8061d57585b4363072a1afceea2452436","datavalue":{"value":{"entity-type":"item","numeric-id":172073,"id":"Q172073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368669$EB7E49B6-3CCD-4200-B7A2-5DE4FCE5E7FD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"707f4f6bf2442bf320ee965767e7282ab1441346","datavalue":{"value":{"time":"+1998-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1368669$CDD1D3CC-ECBD-451E-9713-1C0AAB1F57C0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"e99ef59e1297fcd1702c44d858eefcdcbb38fb7b","datavalue":{"value":"For every distributive lattice \\(D\\) with \\(n\\) join-irreducible elements there exists a finite lattice \\(L\\) such that the congruence lattice of \\(L\\) is isomorphic to \\(D\\) and its size is minimal. The maximum of these numbers is denoted by cr\\((n)\\).   In Proc. Am. Math. Soc. 123, 2619-2623 (1995; Zbl 0842.06007), \\textit{G. Gr\u00e4tzer}, \\textit{H. Lakser} and \\textit{E. T. Schmidt} proved that \\(\\text{cr} (n)<3 (n+1)^2\\). Later, \\textit{G. Gr\u00e4tzer}, \\textit{I. Rival} and \\textit{N. Zaguia} proved that the exponent is sharp [ibid. 123, 1959-1961 (1995; Zbl 0822.06009)]. In an unpublished paper, Y. Zhang gave a better lower bound for \\(\\text{cr}(n)\\).   Using a result of \\textit{R. Freese} [ibid. 125, 3457-3463 (1997; Zbl 0885.06003)] the authors give the lower bound \\((1/16) \\cdot (n^2/ \\log_2(n))\\), which is much better that Zhang's one.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368669$2D6F0205-B3A9-4357-ADE8-E812ACABACBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368669$9CF6C8FF-C614-4ABA-ADD7-8ED66EE96910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368669$C1DB31E4-CB56-437A-98FC-AC82156083AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f147d4ae99058bf4edf631f0a504a7bd85af71aa","datavalue":{"value":"1067856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368669$2D520963-924F-4FB3-B84C-A7B5B5075770","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5579ddf023a56f4856a8ee584af99380d23fb1f8","datavalue":{"value":"distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368669$18D07D27-4C1F-492E-B2DF-1032CE3C0951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ab7d31490b04c367abbbbac94997ac209067bc5","datavalue":{"value":"join-irreducible","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368669$E80CACFA-62A2-4C01-939D-C68B43A8A074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"304b60f2d9e1845880880c56005c9c3f2d18e6cd","datavalue":{"value":"congruence lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1368669$85208462-0355-465F-9144-87B1742C9224","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"172cc73a3282110845bcede4aa9f1220d7a3dce0","datavalue":{"value":{"entity-type":"item","numeric-id":1771856,"id":"Q1771856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1368669$96E05B36-E6D5-43AF-BA68-8F15ACD211A8","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":"Q1368669$E5F0352E-45A8-4721-ADBA-F9FE0464867C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e35fbf72e4cef4987c94880b7f073058e1566b51","datavalue":{"value":"https://doi.org/10.1023/a:1005855124769","type":"string"},"datatype":"url"},"type":"statement","id":"Q1368669$E9E346D7-A396-4ABB-AF74-BD92C5384DCF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b55eeb7810c5cade45de9d178536dfa307d6b7e1","datavalue":{"value":"W166111298","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1368669$19773A41-F4AD-4956-82F5-DAFE33248E07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a78aec8f4eb71bbe0221045b3f10ea7e7bd6abf1","datavalue":{"value":{"entity-type":"item","numeric-id":1362581,"id":"Q1362581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4441b85f7203c9dd2b14e690f7214942d6ca169","datavalue":{"value":{"amount":"+0.86443030834198","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":"Q1368669$0BF6C985-50C2-44D1-BC78-F4569829F7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ccc469c18f6ac0b798e81703b75baefa2c28531","datavalue":{"value":{"entity-type":"item","numeric-id":4845915,"id":"Q4845915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50b2d3479f52b09be0955629c058b01be416b3ac","datavalue":{"value":{"amount":"+0.8629409670829773","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":"Q1368669$9CAB1512-E626-4AF8-9FAA-24F736F956DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd8122919b25cd33fabf9a9ed71df469c2dc9d32","datavalue":{"value":{"entity-type":"item","numeric-id":4874076,"id":"Q4874076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce08e5f16bed53d5c37a06d6a93da713cc2f4da8","datavalue":{"value":{"amount":"+0.794910728931427","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":"Q1368669$697CE86F-3558-42FF-A3C4-825C4E337593","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A lower bound for congruence representations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_lower_bound_for_congruence_representations"}}}}}