{"entities":{"Q616124":{"pageid":617900,"ns":120,"title":"Item:Q616124","lastrevid":63081213,"modified":"2026-04-11T10:27:54Z","type":"item","id":"Q616124","labels":{"en":{"language":"en","value":"Cover-preserving embeddings of finite length semimodular lattices into simple semimodular lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5833776"}},"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":"Q616124$A64A466B-60E2-4AA6-8FC9-3643ECC1F4A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6cbd242022d317cbd9acfd361462e759124b9cf1","datavalue":{"value":{"text":"Cover-preserving embeddings of finite length semimodular lattices into simple semimodular lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q616124$4FF4D1BA-38B6-422E-9475-A375F436F330","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71dc98419d2c4a97d6325d8cd348da57f640ac18","datavalue":{"value":"1207.06007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616124$92134FC7-869F-4396-A7EC-341E1F259ACB","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":"Q616124$AE862EE4-F5CE-47E4-AF34-6E52631B75A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"156b753d324324fc03cf856ff2e3142887c3187a","datavalue":{"value":{"time":"+2011-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q616124$269D8D3E-F70B-4162-83F3-21EF14FBA8EA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"93ef58f974ec39af67192e3c48d1048d9fedbc52","datavalue":{"value":"\\textit{G. Gr\u00e4tzer} and \\textit{T. Wares} [``Notes on planar semimodular lattices. V. Cover-preserving embeddings of finite semimodular lattices into simple semimodular lattices'', Acta Sci. Math. 76, No.~1--2, 27--33 (2010)] proved that every finite semimodular lattice \\(L\\) has a cover-preserving embedding into a simple semimodular lattice \\(\\overline{L}\\). Their proof is relatively short (3 pages). In this paper, the author gives a very short proof (1 page) for this result. The image of the embedding is a filter in \\(\\overline{L}\\), \\(l(\\overline{L})=l(L)+1\\) and \\(\\left| \\overline{L}\\right| =\\left| L\\right| +2l(L)+1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q616124$17FF96AE-6113-4A64-AA4F-5CB462D5EF66","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ea751e1391efce5a824660ae00f540211586bfed","datavalue":{"value":{"entity-type":"item","numeric-id":306474,"id":"Q306474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616124$A7389550-BA6F-4314-A2FB-FC820506CBFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"47e5c6d08b39e79bdd0bccfaeec11db7eee63b87","datavalue":{"value":"06C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616124$AB9140C5-8452-472B-86E3-007812A57D70","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06359a6917dd51ab9138eacdff03fe22f6b2d574","datavalue":{"value":"5833776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616124$1796EE77-CBFB-4277-B283-23DAA0CAC609","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce51569af81a005f2cd15fa4225729c98a8d0feb","datavalue":{"value":"finite semimodular lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q616124$25B01874-C49B-4844-A8CF-588271C56C64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"641c0ac300c10b79d6a35e786c605234c53afbbf","datavalue":{"value":"cover-preserving embedding","type":"string"},"datatype":"string"},"type":"statement","id":"Q616124$A8E812A3-BBD0-4A50-9317-665AD8017AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5656068ef2aa47063abbf01a3648e661eabf3ae5","datavalue":{"value":"simple semimodular lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q616124$D075190C-5A61-4077-88F2-03B94EDB07AE","rank":"normal"}],"P16":[{"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":"Q616124$DE8A9711-6208-4D71-BCCD-179106573295","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":"Q616124$17ECF7F3-B64D-44F7-A12C-4FD585D0223A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"57002acedb2bb9179ef4adf243debc2fed8d790a","datavalue":{"value":"https://doi.org/10.1007/s00012-010-0091-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q616124$B64EC879-5458-4EBC-AA81-C7DD1483C170","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7cff155fce4f7e811c91fca3c596aa97d438b75","datavalue":{"value":"W2087170174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616124$A7504272-9542-475A-BB59-56664E8C8EEC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"86cf5b50e3496f8606b8fd797ee5f1a02b51e99b","datavalue":{"value":{"entity-type":"item","numeric-id":1959666,"id":"Q1959666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616124$F492675A-05C4-4814-A558-2AF0078B1502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f38e021db3f939d48efda415fd89a5312fb02fdd","datavalue":{"value":{"entity-type":"item","numeric-id":2577730,"id":"Q2577730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616124$FFCB82E3-48C5-4550-8306-51EC7BAC74E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"153eb56a359eab85b4b70a0dd775116d4ec3a832","datavalue":{"value":{"entity-type":"item","numeric-id":1071790,"id":"Q1071790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616124$44B96D6B-AE8C-4044-85A0-9B4F2C4A19C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f7d83e9d640967598168790bc3207ced783e369","datavalue":{"value":{"entity-type":"item","numeric-id":4009782,"id":"Q4009782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616124$8EA86867-7F22-406C-BE43-362C5E9738FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05eeccf9d157da150a47d65325001a26e0995107","datavalue":{"value":{"entity-type":"item","numeric-id":2995565,"id":"Q2995565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q616124$8BF169DF-5B8C-4AF5-BBC4-FC8F17692664","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"50c317f54b864e44297e10f1d67a3e9872bb620a","datavalue":{"value":"10.1007/S00012-010-0091-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q616124$A6D03E6B-AD7C-4565-994A-F464311F4AA4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b36c538cca9a529ca7d9a49f03929cd1e413fcaf","datavalue":{"value":{"entity-type":"item","numeric-id":1959666,"id":"Q1959666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5a81b5fc6fb71ab7057dc6dd15efd877f864ded","datavalue":{"value":{"amount":"+0.95592564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q616124$C3A3DD37-776C-4243-A7C4-4455915262B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"536e79997f88ded28c2ca26d01d91f643d40370b","datavalue":{"value":{"entity-type":"item","numeric-id":3106329,"id":"Q3106329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc603f7aa9a1137341fe839ea5d8d167c212c9e0","datavalue":{"value":{"amount":"+0.9505497","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q616124$02E1A0A8-4267-40A6-86BC-B82BA3735B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d14e6572d4feec223b5acf6c06f51cea2a9317dd","datavalue":{"value":{"entity-type":"item","numeric-id":2995565,"id":"Q2995565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01a199f686ae2c294b4eacc507ceeb8e334ba2ca","datavalue":{"value":{"amount":"+0.94080514","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q616124$F126457D-DFCC-4E42-907A-B4FB9C96FAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"250e80fccd08c80fc010d584e4a54772b57fd9e9","datavalue":{"value":{"entity-type":"item","numeric-id":1329223,"id":"Q1329223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e48df9f78730ee860c425f3ef7e1a41c1540df5e","datavalue":{"value":{"amount":"+0.9271064","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q616124$A4C925CB-3BC9-4597-A5D5-AB75859E9726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d057004bbc8927fe4328fe20215b619727011193","datavalue":{"value":{"entity-type":"item","numeric-id":1210563,"id":"Q1210563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d94e1ea5f7a0aeaf79fc5f0a608e04dc4323800","datavalue":{"value":{"amount":"+0.9241902","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q616124$9AA06122-2877-4749-91EF-DBED96296CD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99d42846706997223616b37227e3367d8aa7dff5","datavalue":{"value":{"entity-type":"item","numeric-id":1966141,"id":"Q1966141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf1ed9519181ece8c9d6e9048cada2ad1f27619d","datavalue":{"value":{"amount":"+0.92370677","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q616124$5D0B61EF-7418-4527-AE82-4F1052A72D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8ba5baaa499714f4b0f9cae0d0f5e1cf38fa6a6","datavalue":{"value":{"entity-type":"item","numeric-id":6073883,"id":"Q6073883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c7cb8a3e1e69463879008ee25a4eb7944067be8","datavalue":{"value":{"amount":"+0.9084476","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q616124$010CD3FA-2EAA-46FB-B68E-CE1581C5A851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a3196f7b3cfc2be74f1889234072e2ce2f73e27","datavalue":{"value":{"entity-type":"item","numeric-id":2747319,"id":"Q2747319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3be518efb4043b96f2266b3a8a3013abcb9aee7f","datavalue":{"value":{"amount":"+0.8955471","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q616124$6B10402E-BA02-457D-BD7C-93E868EF864B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"203d27e8090ecb284f487f6b7e00fc592dc3f562","datavalue":{"value":{"entity-type":"item","numeric-id":1392208,"id":"Q1392208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"520926117eb2ac4032251692711d1d7f25cc6708","datavalue":{"value":{"amount":"+0.8886272","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q616124$33786CDD-874D-43A0-A6E8-61FE37350B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23e77d21c1ef5dbbbbdbebb0465259cd43a68d12","datavalue":{"value":{"entity-type":"item","numeric-id":1207716,"id":"Q1207716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78b59d747ae9343a7305eeb07e7b086585080eea","datavalue":{"value":{"amount":"+0.8854985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q616124$AC523CE2-A8E9-4CCA-B250-3CE2B347AA85","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cover-preserving embeddings of finite length semimodular lattices into simple semimodular lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cover-preserving_embeddings_of_finite_length_semimodular_lattices_into_simple_semimodular_lattices"}}}}}