{"entities":{"Q2568524":{"pageid":2579267,"ns":120,"title":"Item:Q2568524","lastrevid":48566680,"modified":"2026-01-05T05:58:54Z","type":"item","id":"Q2568524","labels":{"en":{"language":"en","value":"Notes in sectionally complemented lattices. II. Generalizing the 1960 sectional complement with an application to congruence restrictions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2213309"}},"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":"Q2568524$F2A7A068-609D-4A9D-BE66-B328DC605F1B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0009c073dd068e4011f9cfc79a1099a015cf31da","datavalue":{"value":{"text":"Notes in sectionally complemented lattices. II. Generalizing the 1960 sectional complement with an application to congruence restrictions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2568524$6C981B54-36A3-476D-817D-F160EE328C14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"565396b4890de833b4066c93d1be85557330b2fd","datavalue":{"value":"1093.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568524$A64786F3-35EC-419F-9D5B-010A4862587A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4b942190e17083b575cb45317653fe779fdb5a77","datavalue":{"value":{"entity-type":"item","numeric-id":168571,"id":"Q168571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568524$6AA39D12-6699-4A81-9F39-8C6098AA8F91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2100ced5bb0fc7a2f2d75de03e2412195897a08","datavalue":{"value":{"time":"+2006-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2568524$D52F81BA-2114-423D-B836-02A7A98595BE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"65ad2a1a186b7ca28c0d4e57927cb10d20a25845","datavalue":{"value":"In Can. J. Math. 38, 1122--1134 (1986; Zbl 0597.06007), \\textit{G. Gr\u00e4tzer} and \\textit{H. Lakser} proved that for finite distributive lattices \\(D\\) and \\(E,\\) with \\(\\left| D\\right| >1\\), and for a \\(\\{0,1\\}\\)-homomorphism \\(\\varphi \\) of \\(D\\) into \\(E\\) there exist a finite lattice \\(L\\) and an ideal \\(I\\) of \\(L\\) such that \\(D\\cong \\text{Con\\,}L,\\) \\(E\\cong \\text{Con\\,}I\\), and \\(\\varphi \\) is represented by the restriction map.   In their recent survey of finite congruence lattices, \\textit{G. Gr\u00e4tzer} and \\textit{E. T. Schmidt} [Algebra Univers. 52, 241--278 (2004; Zbl 1090.06005)] ask whether this result can be improved by requiring that \\(L\\) be sectionally complemented. In this note, the authors provide an affirmative answer.   The key to the solution is to generalize the 1960 sectional complement (see Part III of this series of papers [\\textit{G. Gr\u00e4tzer} and \\textit{H. Lakser}, Acta Math. Hung. 108, 327--336 (2005; Zbl 1093.06005)], reviewed below) from finite orders to finite preorders.  See also Part I of this series [ibid. 108, 117--127 (2005; Zbl 1093.06003)], reviewed above.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568524$B1608AA0-3422-488D-8B78-5E6F87E93450","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568524$CFD9A9D7-84E3-46D2-A9B8-B96CBA072F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8657ac6c38ed25d0542315e1ea5d0b1ab0616eb","datavalue":{"value":"06B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568524$7A3EF775-60D2-40A1-B725-87BC1FEA5801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568524$26734931-C55B-458B-B7D1-A2684D736F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568524$B24E1831-BACA-48F5-BBB4-F241C52030C4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2645e5570f33dfa1a7b1feb937934c7399216866","datavalue":{"value":"2213309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568524$37750E61-E4B2-4E2B-B8CE-A3144DDF35B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd6a00b6e01b32599ba81ef2c8a22e2e1d8515fe","datavalue":{"value":"relative complement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568524$04F20102-A508-4768-847C-2B72AA9F8E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"151e988763beb209510276781f52629608961781","datavalue":{"value":"free lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568524$5D1DCC29-DFB7-4CD1-B329-221F4C9FA33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6471ad075a2523b4a27f04abed8e1a075fd636af","datavalue":{"value":"uniquely complemented","type":"string"},"datatype":"string"},"type":"statement","id":"Q2568524$56063361-2E88-4B7E-A504-F99F798411FE","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":"Q2568524$923E7E9C-8410-4DA9-BF46-66457B655C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2131291c5cf28f71d0f5b46d94c82ae4603c93d","datavalue":{"value":{"entity-type":"item","numeric-id":1167750,"id":"Q1167750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568524$E4687E5B-2790-4B5C-BE63-11EF325459CC","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"35ea846fbd37eef2bf04aa3916128060dde76b2f","datavalue":{"value":{"entity-type":"item","numeric-id":277571,"id":"Q277571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2568524$AD941D04-9806-416F-86DE-AF1180A49C1E","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":"Q2568524$6919B870-4860-40A6-B1F2-2911F65336D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a9939ac6c5743402951013b2d4cb257774926b7","datavalue":{"value":"https://doi.org/10.1007/s10474-005-0223-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2568524$B33D3A48-3662-47B2-8C08-C3C659EB2EB9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f13c44238c9e608bc2fbace89439d93197f20e6c","datavalue":{"value":"W2030586439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568524$2D24CA9E-FD1B-4141-AD04-C548D3E7A692","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2db69fe0679b41b74eabd32e1e568776e22dd0c","datavalue":{"value":"10.1007/S10474-005-0223-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2568524$D302FBA6-39E6-4FB8-AC4D-7ECA32B5326B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47c8a9e038512eaf59e7ed59cead7d843b675e32","datavalue":{"value":{"entity-type":"item","numeric-id":2568513,"id":"Q2568513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e2d8668feee729ff97bc7eb601ad265be97661c","datavalue":{"value":{"amount":"+0.8568660020828247","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":"Q2568524$6810604F-4E2C-45E5-829B-6593CC3B9489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ed19352d645e58a8137fa3b490e862824a2e3da","datavalue":{"value":{"entity-type":"item","numeric-id":2950771,"id":"Q2950771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"639101332084671c4e5fafb5e144667ad9b15b6c","datavalue":{"value":{"amount":"+0.8406067490577698","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":"Q2568524$A00AAA18-145E-49E8-9584-4BC3495CA72A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"501473af71ece763e68673828ac5a044bed1bdeb","datavalue":{"value":{"entity-type":"item","numeric-id":4877590,"id":"Q4877590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10198055c1661a1e6c1024a3537747427e7ca13c","datavalue":{"value":{"amount":"+0.818530261516571","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":"Q2568524$E4011C33-38CE-4023-983C-394C33EE08DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a840ccbc0ed59ecfdcec5efed1730f237e0ae9e","datavalue":{"value":{"entity-type":"item","numeric-id":4243656,"id":"Q4243656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"467cff0232fa26ac953070b631a45ac5c57ca196","datavalue":{"value":{"amount":"+0.8132615685462952","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":"Q2568524$CF5AC662-D052-420F-969B-8C4DAFB1001D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b623cd682c5fa3443cc03ad18efce83ec5431b45","datavalue":{"value":{"entity-type":"item","numeric-id":2577692,"id":"Q2577692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"467cff0232fa26ac953070b631a45ac5c57ca196","datavalue":{"value":{"amount":"+0.8132615685462952","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":"Q2568524$4D8ED42F-F3AB-4EC1-9982-C42EFE3787B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2568524","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2568524"}}}}}