{"entities":{"Q2476163":{"pageid":2486906,"ns":120,"title":"Item:Q2476163","lastrevid":73471053,"modified":"2026-04-14T16:07:15Z","type":"item","id":"Q2476163","labels":{"en":{"language":"en","value":"OPC lattices and congruence heredity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5248303"}},"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":"Q2476163$40E4FED7-2687-4273-9813-FE0701AE1B0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc3bf299a3e9aa0ca3cc213d79890abe5cd857d4","datavalue":{"value":{"text":"OPC lattices and congruence heredity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2476163$D53E8D25-78D6-40EF-B9B5-D7656FCBF73C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cebaeade2c70f56a2f676dc8cb1dc6bc4035e506","datavalue":{"value":"1134.08002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2476163$539769A7-42E0-4F78-8FA3-710144F1A567","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ba436c3fa8d81c021bf964695830907b5c2b470","datavalue":{"value":{"entity-type":"item","numeric-id":995374,"id":"Q995374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476163$29DF0620-93CC-4006-A728-1354EC906ABA","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":"Q2476163$535F7361-C719-43BB-8377-06DEAD809689","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70d2bb6064fe12f1f98326de21fadc6a9704c90a","datavalue":{"value":{"time":"+2008-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2476163$97B254BC-812B-4DDC-ABFB-A5D39A148E55","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9443e423c58287eeb38db07390c72e68e739181f","datavalue":{"value":"A lattice \\(\\mathbf{L}\\) is order polynomially complete (OPC) if every order-preserving operation on \\(\\mathbf{L}\\) is a polynomial of \\(\\mathbf{L}\\). The fact that every finite lattice in the variety generated by \\(\\mathbf{M}_{3}\\) is isomorphic to the congruence lattice of a finite algebra led Heged\u0171s and P\u00e1lfy to define the notions of congruence heredity and congruence power-heredity. The congruence lattice \\(\\mathbf{L}\\) of a finite algebra \\(\\mathbf{A}\\) is hereditary if every 0-1 sublattice of \\(\\mathbf{L}\\) is the congruence lattice of an algebra with the same universe as \\(\\mathbf{A}\\). \\(\\mathbf{L}\\) is power-hereditary if every 0-1 sublattice of \\(\\mathbf{L}^{n}\\) is the congruence lattice of an algebra with the same universe as \\(\\mathbf{A}^{n}\\). \\(\\mathbf{A}\\) is (power-)hereditary if Con\\(\\mathbf{A}\\) is congruence (power-)hereditary.   The author proves in this paper that if \\(\\mathbf{A}\\) is a finite algebra in a variety which satisfies a nontrivial idempotent Mal'tsev condition and if Con\\(\\mathbf{A}\\) contains a copy of an OPC lattice other than the two-element lattice, \\(\\mathbf{M}_{3}\\), or Con(\\(\\mathbf{Z}_{2}^{3})\\), then Con\\(\\mathbf{A}\\) cannot be hereditary. In the process of proof, he gives a characterization of congruence (power-)hereditary vector spaces.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2476163$A8C976B7-CBA0-4403-ADDE-A2A8F1D06BA7","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5cf5eb09e35195bdbd29dfadd387d00af8c0e36c","datavalue":{"value":{"entity-type":"item","numeric-id":590962,"id":"Q590962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2476163$69E30ACF-CA8C-4AD6-9CC1-06F062076934","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2476163$D92988F0-1184-4ADA-A8C8-8F54F6111F69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8657ac6c38ed25d0542315e1ea5d0b1ab0616eb","datavalue":{"value":"06B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2476163$7FDCE0AB-CBC3-4121-8EAE-30B04AA0CAB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b34a3a35ce4fef255885ee70935559799a7c45c","datavalue":{"value":"5248303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2476163$15940451-B598-4F9A-B638-4AF769B4C4F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"304b60f2d9e1845880880c56005c9c3f2d18e6cd","datavalue":{"value":"congruence lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2476163$BED6F270-1897-45C5-9753-5DD259D8282E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4d7789ca841dcbc19c070017eb1897684bef80f","datavalue":{"value":"primitive positive formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q2476163$F132C797-B405-484B-99B1-E408ADBB471D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe355ec59d26bf595c56d88947d00d08a4a60c77","datavalue":{"value":"hereditary congruence lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2476163$9BAF6150-93EE-430D-8417-8E86F3F4F5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba5f1a02a5289c80ab77373c9a3e779be5b30f0c","datavalue":{"value":"order polynomially complete lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2476163$9D527A33-7640-4260-AF6E-FBBCB03E8D09","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":"Q2476163$7404D8E6-FE56-4451-91D9-EE88F786CD85","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a16e71d59d670e071bd4d1ddaf28f68a4377fff","datavalue":{"value":"https://doi.org/10.1007/s00012-008-2039-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q2476163$1EB33320-2D4B-4316-AF5A-3B01A17E43EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e972c875da6a7b6d7f1929dc468efbfe41f6ffe8","datavalue":{"value":"W1983301663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2476163$982F9356-A7E1-4070-9303-6E45B88F3681","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79b180340a47ae1ef91cefd1051d6b4f26cbf461","datavalue":{"value":"10.1007/S00012-008-2039-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2476163$F1AFA3C2-F0F2-4D20-9DBD-8843B5A53EDD","rank":"normal"}],"P1643":[{"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":"09ed198f86dc94e2059cace963fadea81469a3c2","datavalue":{"value":{"amount":"+0.765142560005188","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":"Q2476163$6519A992-E974-4A32-83F3-15E6A42CAA08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf6cbedc0c95e002ce6f4a73fff6c14b5c41a1b7","datavalue":{"value":{"entity-type":"item","numeric-id":995375,"id":"Q995375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3884c4b492775331a7aea1154ffc074ef9e7783d","datavalue":{"value":{"amount":"+0.7578970193862915","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":"Q2476163$0B0BBCFF-5209-4695-9592-6C3865F36BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbece99433234d94f92655a06a869b72a7c4c5be","datavalue":{"value":{"entity-type":"item","numeric-id":1057300,"id":"Q1057300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f8a5db082ff8dab9f8c7b1950848e7d7f648607","datavalue":{"value":{"amount":"+0.740265965461731","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":"Q2476163$58D054CC-7AD9-4536-A2D3-EDE93FE762FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b17c7a4d4babd4e095c24d5920ec47ebedc5cb2e","datavalue":{"value":{"entity-type":"item","numeric-id":3436070,"id":"Q3436070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f11fbfd40023e47d23e306492e30aadbfeb45d0","datavalue":{"value":{"amount":"+0.7401248216629028","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":"Q2476163$A0697E54-66A3-4199-A873-91AE34CBA953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac33bf697f801292002447c5efb4beb087fcca2d","datavalue":{"value":{"entity-type":"item","numeric-id":3682537,"id":"Q3682537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d403767f9f863aa215ab45338932619af2765acb","datavalue":{"value":{"amount":"+0.7397773265838623","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":"Q2476163$86483B27-59CC-49AD-B96F-A1191AC56D19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"OPC lattices and congruence heredity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/OPC_lattices_and_congruence_heredity"}}}}}