{"entities":{"Q5932474":{"pageid":8109276,"ns":120,"title":"Item:Q5932474","lastrevid":40715504,"modified":"2025-04-04T11:05:43Z","type":"item","id":"Q5932474","labels":{"en":{"language":"en","value":"Sublattices and standard congruences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1602880"}},"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":"Q5932474$80A671FB-F9BA-4C7A-BFA9-4EAB0B28D334","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fa766fc042babf681eb8edc1423f016329ec8966","datavalue":{"value":{"text":"Sublattices and standard congruences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5932474$50B16FB1-9017-476D-BA43-9E55892B25B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27e05edbc84ffd4d81c2584b237960fefbcb5706","datavalue":{"value":"0965.06006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932474$DE17AAFF-1634-456A-92A5-B11DA7DD325C","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":"Q5932474$447F86AD-A938-4002-AF48-21045119C18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"97d76a34559601b9b0cc4f1bb88fc12d52b254d5","datavalue":{"value":{"entity-type":"item","numeric-id":647322,"id":"Q647322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5932474$820DA21F-AF45-4D16-9A2E-1FD84606303A","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":"Q5932474$50046B93-A225-4C6E-AC03-78F4794C1024","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d399175a75045d6e68cdfc363866ce63dcafb225","datavalue":{"value":{"time":"+2001-06-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":"Q5932474$8B15FAB5-A275-4383-BAA9-2EEC24772F78","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ebcfdf8061549cae034f69ad31d8f9fe1b33b7d4","datavalue":{"value":"The authors with H. Lakser proved previously that, for every lattice \\(K\\) and nontrivial congruence \\(\\Phi \\) of \\(K\\), there is an extension \\(L\\) of \\(K\\) such that \\(\\Phi \\) is the restriction to \\(K\\) of a standard congruence on \\(L\\). In this note, they give a short proof of this result in a stronger form: the lattice \\(L\\) is constructed to be sectionally complemented and it has only one nontrivial congruence, the standard congruence.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932474$B161B23D-1F1F-420C-8555-5291B9D9DE84","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":"Q5932474$58C49F19-9540-4F2E-B63F-BA4A2A421C66","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932474$A9ED9E02-968E-449B-893B-C2AED4BC10AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b14b6b428299f20868da41312a454ba21a02af4","datavalue":{"value":"1602880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932474$D0932406-C1CA-4752-876A-4A98CCFD5F02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"304b60f2d9e1845880880c56005c9c3f2d18e6cd","datavalue":{"value":"congruence lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932474$7C7B383C-497A-40D5-A50D-B1EB0DE31DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c861991d27657acd529e41f248548fb0dce77a6f","datavalue":{"value":"congruence-preserving embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932474$142053DF-9C0E-4A67-B3BF-1EC42DD9073F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b5b17d1b6276b134d1f1056bbc1f399236c6c8a","datavalue":{"value":"sectionally complemented","type":"string"},"datatype":"string"},"type":"statement","id":"Q5932474$67CD52A1-6084-4FCD-A6E2-F2B4FA1F6638","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":"Q5932474$3FFC76DE-1B7D-4C67-9DF5-8438F98235E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1edb2c1cf02de8d9dc2bd379485a2ee80c5061ec","datavalue":{"value":"https://doi.org/10.1007/s000120050106","type":"string"},"datatype":"url"},"type":"statement","id":"Q5932474$97587FFA-0DDF-4645-8B8F-59A282DEBFBB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"adcce10341683e72f360f3874ddd870729f65a04","datavalue":{"value":"W2011746960","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932474$CB34FE50-7874-43C9-84BA-3B1956EEC7B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"46879a727ced526d470bca9f7e88a8b80146984c","datavalue":{"value":"10.1007/S000120050106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5932474$0CDDE926-625B-4CAB-98B2-0AC81A811ED1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7949a10a1b4d34607e670972f597facfda0bb79","datavalue":{"value":{"entity-type":"item","numeric-id":3800707,"id":"Q3800707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4ce9cb15681cac1b4d388767f3ff3a93a911a70","datavalue":{"value":{"amount":"+0.90099216","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5932474$BA702BDC-3558-492E-A1FE-44077D7B5AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a0b916499f6dc9ce48e429c50d53057808b7096","datavalue":{"value":{"entity-type":"item","numeric-id":700390,"id":"Q700390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c9ad73524b94729449dd1ab00ba755999d432d1","datavalue":{"value":{"amount":"+0.89895713","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5932474$C3A1BD4C-4724-4B36-9938-A4C04A2C2249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3cda08c9240896d039a2880caf0f422d3bc4f61","datavalue":{"value":{"entity-type":"item","numeric-id":757455,"id":"Q757455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03415da3fbf32f0b4c94db06f1e865458dc3e75a","datavalue":{"value":{"amount":"+0.89828235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5932474$D6BDC5C1-06C2-4B14-895A-3C58E956B3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9cdab14725894020855552f611c696fb1e275f8","datavalue":{"value":{"entity-type":"item","numeric-id":4960823,"id":"Q4960823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfb74bd2083ec29cb392f023fc0119aed2116c3f","datavalue":{"value":{"amount":"+0.8942488","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5932474$4BFE3FE9-7A8A-4D43-B9AF-06378975BAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d708330eb273fa1233971a6255f41b1f5717eff","datavalue":{"value":{"entity-type":"item","numeric-id":4220480,"id":"Q4220480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"625b2b44206ff832d02019df1d8323c59f4e9b14","datavalue":{"value":{"amount":"+0.88098365","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5932474$77342694-FC2C-4710-BBFB-0CAB3C7B4CEB","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":"13c87036846ad991ff37cc8940a4b6aad4c0e5b2","datavalue":{"value":{"amount":"+0.87885606","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5932474$80020911-CA9B-4B8F-A077-A551BE4BC40F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c255b49bf1b812417904163485a9fc22abb4eb9","datavalue":{"value":{"entity-type":"item","numeric-id":4400075,"id":"Q4400075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baf656f8f94fd4026951580075ef30872a253d92","datavalue":{"value":{"amount":"+0.876402","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5932474$22A347C3-29A8-445C-A60D-593E36A7AACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75f02990bc2526ef3a0afe8cc320b768c3a7d01b","datavalue":{"value":{"entity-type":"item","numeric-id":4849838,"id":"Q4849838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae3e6e1290d44d4fca10bf926f56df00a515cc21","datavalue":{"value":{"amount":"+0.87630945","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5932474$6CC5ADA5-A776-4BAC-8B3B-834E0FF2FC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0d7d1c13f74b412ef4bae603218f38c81628836","datavalue":{"value":{"entity-type":"item","numeric-id":5135742,"id":"Q5135742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c92fc3f04f2146d05d0c9f1c256612ff5d563436","datavalue":{"value":{"amount":"+0.8760557","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5932474$6C7B5BAD-8067-44ED-A378-CD3CF276C46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c4e949d820f65cd43cd3ca8847a33f0de577c63","datavalue":{"value":{"entity-type":"item","numeric-id":3820657,"id":"Q3820657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe1693e67b8d568ada4ea960b01a26b60f3ea5bc","datavalue":{"value":{"amount":"+0.87555295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5932474$C18FC112-25C2-4343-9583-D6E929CDE6E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5932474","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5932474"}}}}}