{"entities":{"Q1866853":{"pageid":1877595,"ns":120,"title":"Item:Q1866853","lastrevid":71018046,"modified":"2026-04-13T18:56:23Z","type":"item","id":"Q1866853","labels":{"en":{"language":"en","value":"Subdirect representation and semimodularity of weak congruence lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1899973"}},"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":"Q1866853$BA312751-7971-464A-AFEF-302B3542B4DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42c2691cc7ff05d4d4d47979ef6a6d39d6271654","datavalue":{"value":{"text":"Subdirect representation and semimodularity of weak congruence lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1866853$AA0400B8-147E-4B33-A6FC-67076291F272","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89abfb954eee1feffc0ffa3855467d16f0dc1f83","datavalue":{"value":"1015.08002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866853$29DF6B73-90A7-4738-AF94-88ADE4C5BAA7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c649e22bb3d5db2066270d2895619e83ca9dbc2","datavalue":{"value":{"entity-type":"item","numeric-id":353351,"id":"Q353351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866853$7EC167EB-9511-4157-8EF2-9769F90956CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03e9cc1f1a76d9e714d3fbf3add5096a749c2e52","datavalue":{"value":{"entity-type":"item","numeric-id":501565,"id":"Q501565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866853$38B25FA5-0E66-42BA-A869-E171C8B749BE","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":"Q1866853$FD02CAF9-D540-4D11-A666-EDE46FF7F3C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ba3e0b9a3b6c64b5e8a6782bae90e5fe1531522","datavalue":{"value":{"time":"+2003-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1866853$C648AA89-15E2-4E23-B30A-1F78457B1136","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"60c4f6c3cb842f41813a84ef792a21b1810a22ca","datavalue":{"value":"A weak congruence on an algebra \\(\\mathcal A\\) is a symmetric and transitive subalgebra of \\({\\mathcal A}^2\\). As shown by B. \u0160e\u0161elja and G. Vojvodi\u010d, the set \\(C_w ({\\mathcal A})\\) of all weak congruences on \\(\\mathcal A\\) forms an algebraic lattice with respect to inclusion. Let \\(\\Delta = \\{ (x,x); x\\in A \\}\\). \\(\\mathcal A\\) satisfies the congruence intersection property (CIP for short) if \\(\\Delta \\vee (\\alpha \\wedge \\beta) = (\\Delta \\vee \\alpha)\\wedge (\\Delta \\vee \\beta)\\) holds for all \\(\\alpha , \\beta \\in C_w ({\\mathcal A}).\\)   \\({\\mathcal A}\\) satisfies the congruence extension property (CEP for short) if each congruence on every subalgebra of \\(\\mathcal A\\) is a restriction of a congruence on \\(\\mathcal A\\).    Main result: Let \\(\\mathcal A\\) satisfy CIP and CEP. Then \\(C_w ({\\mathcal A})\\) is isomorphic to a subdirect product of \\(\\text{Sub}( {\\mathcal A})\\) and \\(\\text{Con}({\\mathcal A})\\). It follows that if \\(\\mathcal A\\) satisfies CIP and CEP, then a lattice quasi-identity holds in \\(C_w ({\\mathcal A})\\) if and only if it holds in \\(\\text{Con}({\\mathcal A})\\) and \\(\\text{Sub} ({\\mathcal A})\\); especially, \\(C_w({\\mathcal A})\\) is lower resp. upper semimodular iff both \\(\\text{Con}({\\mathcal A})\\) and \\(\\text{Sub}({\\mathcal A})\\) are lower resp. upper semimodular.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866853$A90744A3-372A-4BC0-9710-0C4E741434EB","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"967efbf7e9159f2448c17bb8438ae3fe0ce8fb52","datavalue":{"value":{"entity-type":"item","numeric-id":334969,"id":"Q334969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1866853$534863A8-F24A-4B79-9A37-1ED205B45DEC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866853$66F3D9F8-FFB3-4BC3-A118-32BC9EC2558C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"47e5c6d08b39e79bdd0bccfaeec11db7eee63b87","datavalue":{"value":"06C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866853$26077211-8635-4331-AE2F-0ECEFF82AA7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c51d49f21a9272484d58234601caf5b61119af84","datavalue":{"value":"1899973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1866853$F9484BAE-B76E-4E94-B75A-A25AABCCA0A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b2fc388a2f1fb0853b5cd76265c3bdca7f4600e","datavalue":{"value":"CEP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866853$5A0DF293-F7B5-4027-AE3A-9983E0D696DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05a9df167837c6b50209a62ebcb91a432e080fbd","datavalue":{"value":"CIP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866853$AE10A888-EA1B-4B59-BB6E-3FB0A9A7AF9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"163830543b7c254be6064ef68897dcea5cf21ff3","datavalue":{"value":"weak congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866853$DD5E7096-5EF4-41DC-9170-900B745B1364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6674112915463e4f8a1d08f7591bbaf813951be9","datavalue":{"value":"semimodular lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866853$14813BEF-9C06-444F-9AD2-81BFF821D132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb6a5e3ac5da4558a54ed427bcc49f7efd6b6452","datavalue":{"value":"algebraic lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866853$B6F09A7D-CBB9-43C8-BF38-4F7FF4DC50E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d05301a2108d18d602d854718f17520296b3ed9","datavalue":{"value":"congruence intersection property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866853$9DC73849-BDFB-4B4E-97A5-73395BC94C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d989aa75aafb518b9cfecd32103702ca8d0ac848","datavalue":{"value":"congruence extension property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1866853$F90F11B9-2EE5-4771-82BD-106AD4541FB2","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":"Q1866853$A3222FA4-9F72-4A40-9B73-F1DD4724BAFB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64628a500e948e14a9bcb591f0f6ddf27278470f","datavalue":{"value":{"entity-type":"item","numeric-id":1110553,"id":"Q1110553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18fd120d3bc8ee99b179bf820390b64791d130d3","datavalue":{"value":{"amount":"+0.9058955311775208","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":"Q1866853$711286FB-FF75-4B40-ABED-479A4809E153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a7e55edd4ff2357aa1697016387165be25cfc9e","datavalue":{"value":{"entity-type":"item","numeric-id":3151380,"id":"Q3151380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53123719d519041eae54fcd5bd5cf5acb3f2d18b","datavalue":{"value":{"amount":"+0.8939523100852966","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":"Q1866853$ABDA0645-F026-47D6-AA1A-39D013020612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ad7cdc18f7e2f511aadf3bfb525efd904dd3437","datavalue":{"value":{"entity-type":"item","numeric-id":4304459,"id":"Q4304459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5187689947c14646d2ea12790cca03443e60d31","datavalue":{"value":{"amount":"+0.8673807978630066","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":"Q1866853$43370009-FE37-4050-8E1B-EE8EE1B48BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7d44db5484d4ce9d2b0f6b7983dbe2574a4cb0e","datavalue":{"value":{"entity-type":"item","numeric-id":3792733,"id":"Q3792733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb82262ec5f6f354be052375785feb465927858e","datavalue":{"value":{"amount":"+0.8665503859519958","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":"Q1866853$D22D2E2B-A134-43B0-8887-E9311EC0E1BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d54c4c7ff3fecfa0a83061af5ea04c6dfe004ac1","datavalue":{"value":{"entity-type":"item","numeric-id":2774030,"id":"Q2774030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1db27e0a80da401f678b59b60bf3e307c128a9aa","datavalue":{"value":{"amount":"+0.8566266298294067","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":"Q1866853$1FB0869A-F1A0-426C-976A-9D8C8E1493E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Subdirect representation and semimodularity of weak congruence lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Subdirect_representation_and_semimodularity_of_weak_congruence_lattices"}}}}}