{"entities":{"Q800950":{"pageid":802798,"ns":120,"title":"Item:Q800950","lastrevid":64472577,"modified":"2026-04-11T20:06:40Z","type":"item","id":"Q800950","labels":{"en":{"language":"en","value":"A property of finite algebras having \\(M_ n's\\) as congruence lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3878994"}},"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":"Q800950$61481F1C-9CFB-45BE-824D-1A1A1B5B4D01","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6de376c2c1fbf41c0c87a98e6353edd6fa2f09c","datavalue":{"value":{"text":"A property of finite algebras having \\(M_ n's\\) as congruence lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q800950$F5AA1570-7ED6-49BF-B56D-4D1B31A71E29","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea90df064ba0972110f6b43f1d35367981e93beb","datavalue":{"value":"0552.08001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800950$5662A14B-50CD-47CA-8505-B907D833CE7F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8cfcc4b08f1d9da6df902adaff714afb530c5b9f","datavalue":{"value":"10.1007/BF01190437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800950$E6F14D91-55C4-42F8-943B-DFF8D915C987","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ab9fa739ba9cd4f0abe23d76d3a9d2c127e4738","datavalue":{"value":{"entity-type":"item","numeric-id":792466,"id":"Q792466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800950$51387BAA-046D-455B-AB41-EAACBE6E1D9D","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":"Q800950$23966985-FB3D-41C7-9B22-646B15969E41","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q800950$1FE12CFB-534E-433A-AF33-EBB7D4C3A8F0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f61982cfa3c80548dffa35f01c226535b17cd949","datavalue":{"value":"In the problem whether every finite lattice is represantable as the congruence lattice of a finite algebra, the lattices \\(M_ n\\) are tested. In a paper of Feit it was shown, that \\(M_ 7\\) is representable as a congruence lattice of a finite algebra. In that example the universal congruence is principal. In this paper it is proved that that must be so necessarily by the following theorem: Let the congruence lattice Con (A,F) of the finite algebra (A,F) be isomorphic to one of the lattices \\(M_ n\\), n a positive integer and n-1 not a prime power. Then \\(A\\times A\\) is a principal congruence of (A,F).","type":"string"},"datatype":"string"},"type":"statement","id":"Q800950$F29E43D0-9041-416F-AB38-5CBDE6F5761C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800950$A61415A7-E18A-474A-855F-183E44088A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8657ac6c38ed25d0542315e1ea5d0b1ab0616eb","datavalue":{"value":"06B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800950$67F37377-7F77-49AC-A24D-A4E160C29B5D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7932405e22291d3a5b9044ec2432565968188646","datavalue":{"value":"3878994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q800950$4E8023CD-A43B-4F25-824E-7E2F3B1C2D3F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a23029265a3b7aef2605f2e8909487240495a4ec","datavalue":{"value":"finite lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q800950$9B402C7E-3F29-4123-9876-197378CFD414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"304b60f2d9e1845880880c56005c9c3f2d18e6cd","datavalue":{"value":"congruence lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q800950$DCDF90B9-E343-4DBB-8667-59F6058C1D1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a688c369468f577af7c7d403e8a5e55d9b715d1d","datavalue":{"value":"finite algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q800950$074A9B34-C1E4-4E39-B5E7-1CDE8F638BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0dabe08198e7e2423022b26733bf3061ac2147af","datavalue":{"value":"universal congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q800950$4BD87AD7-4871-481E-9701-708160CFE0D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e36e88e1e416ed903cfa4f239bd2272493f8f6b1","datavalue":{"value":"principal congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q800950$EA0FCF7C-CDDE-4E5C-830A-3581EFBAE68E","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":"Q800950$90493678-9678-4435-951E-62FA54AE5305","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"412f01b069bed1258faeff252faea9d0455c3d28","datavalue":{"value":{"entity-type":"item","numeric-id":1106323,"id":"Q1106323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800950$F369E545-D9E1-48B4-B594-BFD4D09926B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07db5d9d443b5d4b2edd7761e49422c74809a4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5620726,"id":"Q5620726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800950$2EE9F189-414D-48AC-AF63-CBDCFAE44446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fabe7e9fb83ac7cd22e5c65a5f3aaedc92a99585","datavalue":{"value":{"entity-type":"item","numeric-id":3308657,"id":"Q3308657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800950$C708C9D6-3044-4C84-9E06-1FE56ADB27D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01e123135e31d25f058670d82466a581e03d9981","datavalue":{"value":{"entity-type":"item","numeric-id":800636,"id":"Q800636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800950$0A461155-D9C5-48FE-B3B9-550C2B219712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"480664c3f84b92475c754a9a08ce7638a8cbad5a","datavalue":{"value":{"entity-type":"item","numeric-id":3877857,"id":"Q3877857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800950$4CBB0723-65B5-4AEC-BBE0-E0B86017DCD1","rank":"normal"},{"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":"Q800950$7D4EFC7C-E0F5-44C9-ACC4-513203D7C012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18881ec38c9b0a32b568fa323baaef85e6471dd8","datavalue":{"value":{"entity-type":"item","numeric-id":3666894,"id":"Q3666894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800950$D3ACCF55-ADB1-44A3-A1B4-961EFD722618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6807ce06c981739691028fb4696ba62fec16b4ac","datavalue":{"value":{"entity-type":"item","numeric-id":1053719,"id":"Q1053719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q800950$ABD079EB-96CD-4602-BE79-626B94CFD403","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7bd7f00a2ac331cb12e93762af7f075835c0088","datavalue":{"value":{"entity-type":"item","numeric-id":3487450,"id":"Q3487450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37198fc85bd23f0b0484806b7cb5e877254202de","datavalue":{"value":{"amount":"+0.8414938449859619","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":"Q800950$808101EB-736C-4390-ABCB-A584BDE43236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed7a03e3613eb35b5c73770009b5cee171090391","datavalue":{"value":{"entity-type":"item","numeric-id":2577756,"id":"Q2577756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"247343ef9c31db97f32238839b58d50db464c377","datavalue":{"value":{"amount":"+0.828882098197937","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":"Q800950$4192581A-9419-4D56-B76D-D7A445D3B36E","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":"f950dcb99022d8a14e7c1706aa0386c16a3f3126","datavalue":{"value":{"amount":"+0.8114034533500671","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":"Q800950$4540F550-F16A-4F9D-B1B0-E6FD87E75D48","rank":"normal"},{"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":"c7c722a48d6788a83094da861e03493881de2e31","datavalue":{"value":{"amount":"+0.8096937537193298","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":"Q800950$0795E535-E672-4E1D-8AC6-73F4BDD980A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a202e3e41f42791fae5e470714dbde61762b7e85","datavalue":{"value":{"entity-type":"item","numeric-id":2496160,"id":"Q2496160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7c722a48d6788a83094da861e03493881de2e31","datavalue":{"value":{"amount":"+0.8096937537193298","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":"Q800950$2A00B50B-C519-4016-9EAA-FF7BEF136116","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A property of finite algebras having \\(M n's\\) as congruence lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_property_of_finite_algebras_having_%5C(M_n%27s%5C)_as_congruence_lattices"}}}}}