{"entities":{"Q1057300":{"pageid":1059148,"ns":120,"title":"Item:Q1057300","lastrevid":66049236,"modified":"2026-04-12T07:11:41Z","type":"item","id":"Q1057300","labels":{"en":{"language":"en","value":"Congruence lattices of finite algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3897001"}},"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":"Q1057300$EB16245C-01D9-465D-84B2-5A88329ED224","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f80ac1b747b7029dfe28cd41ad33ad0b7e5c39a","datavalue":{"value":{"text":"Congruence lattices of finite algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1057300$2CDB568E-C7EE-40CB-8395-6C4B24C82EA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1fd649794d4eadba0fa6521015d7db442437a3e1","datavalue":{"value":"0563.08002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057300$9DD03516-CC4E-4D59-97BD-AE1E7AB6735F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"89f57ebd6644ac327e81e3299f6b9b7779f33e19","datavalue":{"value":"10.1007/BF01190910","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057300$5279DE26-A948-4698-993F-5DF925043965","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dfdc23e6b7c1f3ff6449612d044c78bd91aa4ce","datavalue":{"value":{"entity-type":"item","numeric-id":517702,"id":"Q517702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057300$89693956-B15E-44D4-B81C-431B808AA38D","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":"Q1057300$0C3E670E-C49C-4B89-B8DA-1F26950A870A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1057300$39B8EBA1-179D-49AF-B156-4A50F956CF55","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"8f4301e6aae2afe0c2f6f65b06e5dce10866b4c5","datavalue":{"value":"Using the theory of tame minimal sets developed by Ralph McKenzie, it is proved that all nonsimple finite algebras with tame minimal sets are abelian. Specifically, let \\({\\mathcal L}\\) be the class of all bounded lattices L such that: i) The only congruence of L that identifies 0 or 1 with any other element is the universal congruence. ii) The only strictly increasing meet-endomorphism of L is the constant function with value 1. Then we have: Theorem: Let A be any nonsimple finite algebra with congruence lattice in \\({\\mathcal L}\\). Then A satisfies the abelian term condition, that is, for all m and n, for all \\((m+n)\\)-ary polynomial functions f of A, all \\(\\bar a,\\)\\=b\\(\\in A^ m\\) and all \\(\\bar c,\\bar d\\in A^ n\\), \\(f(\\bar a,\\bar c)=f(\\bar a,\\bar d)\\) iff \\(f(\\bar b,\\bar c)=f(\\bar b,\\bar d)\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1057300$2101C372-3A0F-47FA-AE66-B8BF246F8258","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057300$02AEFAAC-6640-4676-9DE5-F0878BC346D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057300$6E484694-FA0E-48D7-BC34-498F2315E34B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65aefe78ff58adb2c78407e1f3b55149a1dc787d","datavalue":{"value":"3897001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057300$981BA4C7-9BDB-4AD9-92D1-EAC85D7BD3DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8e389b2ad76bc3ddb3cc99c3e41d19da37e7fd3","datavalue":{"value":"tame minimal sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1057300$5EE134E1-C52B-40AA-9643-5C45B36DAE70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c8c0f4b03d786fb70199e83658172414225c619","datavalue":{"value":"nonsimple finite algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1057300$4BA7F608-31A2-428C-B0A1-1289874D2E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b3a2101ab474b6f44df9dd55f9abb3968bd932e","datavalue":{"value":"bounded lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q1057300$ED356F91-751D-46C7-AF0D-C0AB1A982BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"304b60f2d9e1845880880c56005c9c3f2d18e6cd","datavalue":{"value":"congruence lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1057300$5C43C7D0-F0E2-44A9-9F2D-11D5B0FCDF6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bd3fbef1a2863c67888dc08ee4c518f2d7e1db3","datavalue":{"value":"abelian term condition","type":"string"},"datatype":"string"},"type":"statement","id":"Q1057300$E7628CB7-3DA9-457C-B91E-BAE38B8948FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79e713321b274bf91039d49e67face59361f2a9a","datavalue":{"value":"polynomial functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q1057300$9AACBAAE-D007-4A39-8342-87AF68B39AEE","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":"Q1057300$62660601-4F37-487C-9B9A-F37069D669F0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7c46f0fdeec96d9b421790074aa1782cc227e33","datavalue":{"value":{"entity-type":"item","numeric-id":1132121,"id":"Q1132121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057300$8CEE73DE-08C2-4034-979F-8ADF5E0BC5A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1232f7047f6dcfe1d48a68cee3d9316d69a6a393","datavalue":{"value":{"entity-type":"item","numeric-id":4161363,"id":"Q4161363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1057300$9BA694A9-774D-4119-B286-F9C5A37084A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95ed78269a5f9e505b94d3110de35bfc4fc0018c","datavalue":{"value":"https://doi.org/10.1007/bf01190910","type":"string"},"datatype":"url"},"type":"statement","id":"Q1057300$3AFED40E-0D24-4CBC-92E2-DBAE76AB6D24","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"61141d6513b2d34beac2b95f48e778e1bf2ad209","datavalue":{"value":"W2014906783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1057300$CB5ADB8B-6DB2-4E80-B194-921D56EE80C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"416ccb478192160b5aea00c125654f705f2924ea","datavalue":{"value":{"entity-type":"item","numeric-id":1208094,"id":"Q1208094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15cbfef01783717cd83ad438ac3e589cb884d7b9","datavalue":{"value":{"amount":"+0.8448001742362976","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":"Q1057300$68596D28-1AD3-4AA2-BA8F-0F56F49AB45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec3db27d365956a549ef0f7a2b8f127fa9e482c4","datavalue":{"value":{"entity-type":"item","numeric-id":3737479,"id":"Q3737479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d104d2467edd0814c5d490a2b244c2145fea5c4d","datavalue":{"value":{"amount":"+0.8432620167732239","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":"Q1057300$885943EC-D4EE-462B-A4E8-EB5690208B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"382d91a82540f38f699c6b0261bfdda09f89281b","datavalue":{"value":{"entity-type":"item","numeric-id":4222270,"id":"Q4222270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f00d975f01ad8ead87c87b4664989d76bbcd6e71","datavalue":{"value":{"amount":"+0.8213509917259216","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":"Q1057300$3F1FDC9F-F7FB-42F5-81C4-434022BAA083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1d16a74efb4ea20fa194da371a4d3e7c2f692d7","datavalue":{"value":{"entity-type":"item","numeric-id":1342128,"id":"Q1342128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f00d975f01ad8ead87c87b4664989d76bbcd6e71","datavalue":{"value":{"amount":"+0.8213509917259216","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":"Q1057300$E387B8FF-454A-48D6-A6DD-8B18FB77D611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f623f6c00be8b9fa8eef41e510a49f7ce616e865","datavalue":{"value":{"entity-type":"item","numeric-id":4040245,"id":"Q4040245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c438f0a400dda165f695e54e8b371d2b614b1d70","datavalue":{"value":{"amount":"+0.7998802065849304","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":"Q1057300$DAD686EB-4CF9-44FE-9167-6EBF620E1B54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Congruence lattices of finite algebras","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Congruence_lattices_of_finite_algebras"}}}}}