{"entities":{"Q412009":{"pageid":413776,"ns":120,"title":"Item:Q412009","lastrevid":42436972,"modified":"2025-06-27T16:36:27Z","type":"item","id":"Q412009","labels":{"en":{"language":"en","value":"Type 1 representable lattices of dimension at most 4"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6029768"}},"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":"Q412009$10016C83-E61C-4CD9-B559-01F7021A5D6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4c8c4b7c26b40df48e1906651a137b479b3d45b","datavalue":{"value":{"text":"Type 1 representable lattices of dimension at most 4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q412009$D2B976A7-BE4B-47DD-BCD5-D29A87AD7F3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28babe57c3a844d7b5f4b64eaf93406b78f27ffe","datavalue":{"value":"1259.06007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412009$0F8947A1-734C-42B5-9434-10DD777AD03A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb230799e6a3a4b62335b12a9cbd3b8cf6d6670d","datavalue":{"value":{"entity-type":"item","numeric-id":306474,"id":"Q306474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412009$77D6BA85-CA28-4F34-9E5E-2A1014492F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a1980dcaa6ed58b4a6333ae2e0bd92e48872d87","datavalue":{"value":{"entity-type":"item","numeric-id":412008,"id":"Q412008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412009$C65D4341-3BD8-4DB6-8504-BA06D0422B75","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":"Q412009$F810BB03-04E7-453D-8114-A7D77FE57F3D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"97df402d3a91ac31bfea85893aa349af566173be","datavalue":{"value":{"time":"+2012-05-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q412009$154CA2B6-BA68-4990-B829-F8CAAAA04145","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5fec413323a177acd66f7f800d9c01274bea6ac2","datavalue":{"value":"Elaborating on earlier work of Sch\u00fctzenberger, \\textit{B. J\u00f3nsson} [Math. Scand. 1, 193--206 (1953; Zbl 0053.21304)] introduced the Arguesian identity and showed it to be valid in all lattices of pairwise permuting equivalence relations, whence in particular in all lattices which embed into the subgroup lattice \\(L(G)\\) of some abelian group \\(G\\). Of course, the latter includes the class \\(\\mathcal V\\) of lattices which embed into a direct product of subspace lattices of vector spaces. In [Math. Scand. 7, 133--145 (1959; Zbl 0095.34602)], \\textit{B. J\u00f3nsson} proved that \\(\\mathcal J_4 \\subseteq \\mathcal V\\), where \\(\\mathcal J_4\\) denotes the class of Arguesian lattices of height \\(\\leq 4\\). Here, the crucial case is where \\(L\\) is the union of two simple height \\(3\\) intervals -- with great impact on the theory of modular lattices and their applications in universal algebra.  Based on J\u00f3nsson's structural analysis (which anticipated later decompositons as `glued sums'), the authors construct, for certain types of finite \\(L \\in \\mathcal J_4\\), a finite abelian group \\(G\\) such that \\(L\\) embeds into \\(L(G)\\). For finite \\(L \\in \\mathcal J_4\\) such embedding is known to be possible if and only if any simple height-\\(3\\) interval of \\(L\\) is coordinatized over some field \\(\\mathbb Z/p\\mathbb Z\\) and if, in case such one exists, any height-\\(2\\) interval has at most \\(p+3\\) elements.  The paper under review has finiteness and non-existence of simple height-\\(3\\) intervals (i.e. 2-distributivity) as a tacit assumption. In Theorem 1.1. one has to replace \\(\\mathcal A\\) by \\(\\mathcal L(\\mathbb Z)\\) and \\(\\mathcal N\\) by \\(\\mathcal N(\\text{rep})\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q412009$C8DEBF98-7F84-4934-9B7D-FEE2FBD8F8A8","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"d6552b9493e28a48db87c623d50a8f60c6a03855","datavalue":{"value":{"entity-type":"item","numeric-id":185695,"id":"Q185695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412009$4C138404-2130-4E8C-B6B8-A42FDFA1902B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b2f0f24a1a0ed02e6f087ef798b1c742983593f1","datavalue":{"value":"06C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412009$CD265AB2-2F07-401E-805B-8D1ECEC8770F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8657ac6c38ed25d0542315e1ea5d0b1ab0616eb","datavalue":{"value":"06B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412009$7DC91ABC-6572-408F-B507-D2E65DAF3753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e9b5ca6a3bce811e2a3489608b95705717ca7328","datavalue":{"value":"20K01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412009$7C7F10F2-349F-48A1-A430-8FB5714C9BFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4d7b7e0894b49304101a2b5a35adca74cebbf219","datavalue":{"value":"6029768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412009$1965747D-7C57-4BFA-A847-8033A629D0B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c9a68d0394020a220a726417b3e21bc56d350bc","datavalue":{"value":"finite abelian group","type":"string"},"datatype":"string"},"type":"statement","id":"Q412009$7D72D50C-63B4-48BB-BFF2-BC61BB081ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6521dae18f8f4806ab141093a90865f9b6a7b6a3","datavalue":{"value":"Arguesian lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q412009$770631A2-4BD7-4D23-883C-FA009916B5C9","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":"Q412009$B20D688A-0062-4746-8138-E15C938A246F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"faa76d1a64dc5ef87d5df24ca0c366aae1939c5a","datavalue":{"value":"https://doi.org/10.1007/s00012-012-0174-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q412009$FD85FB48-8CFD-4DA4-82D2-804367092B3A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"68e338cbb5d6db695d1dfcac7a07b8902951cc7a","datavalue":{"value":"W1993925788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412009$BBFD2F61-4346-4897-9EEA-285606DC556C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c4b125e8de8a7bb82b695f7f34e9b067a9ecafe","datavalue":{"value":{"entity-type":"item","numeric-id":3956998,"id":"Q3956998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412009$63923995-156E-477A-9635-7D106CF1DF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"712018e98e7a2ae4b98df5087dffb4f528a48889","datavalue":{"value":{"entity-type":"item","numeric-id":1315325,"id":"Q1315325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412009$1CE399DB-36CB-485C-8EC0-C377846E6C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5e2a9267b97ee61c7a8831987d365bb3890d994","datavalue":{"value":{"entity-type":"item","numeric-id":4724677,"id":"Q4724677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412009$1FAD32E1-A436-4BD6-A8F7-2372FDA91B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b274a7051ff6e80e41d5513f2cdfb67980f565a4","datavalue":{"value":{"entity-type":"item","numeric-id":5822106,"id":"Q5822106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412009$BF892070-499C-4383-BB6C-C5B168B1D575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"503bf9f7c359bc947e92f14ad8fac67d53ac722e","datavalue":{"value":{"entity-type":"item","numeric-id":3273609,"id":"Q3273609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412009$139B6CAF-B322-4479-B506-F3EF9B1AE2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed25196a64d75d2b93934fae22d672bff8d2599","datavalue":{"value":{"entity-type":"item","numeric-id":5829441,"id":"Q5829441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412009$A12256A7-6659-4C01-8EDB-0FD83547E847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d63d6e5d3140141f3d1e2203cb1cf5e756660c74","datavalue":{"value":{"entity-type":"item","numeric-id":1327465,"id":"Q1327465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412009$85A8048E-2C0B-4A82-870B-E55557B20A6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"280f95dbb99d66fefa39d9b71666569a02bf9078","datavalue":{"value":{"entity-type":"item","numeric-id":1842593,"id":"Q1842593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q412009$97B98F88-7F82-4CCB-A86C-DB76590A48DC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4070668e380ed223b3b654cf7420e332c6da451a","datavalue":{"value":"10.1007/S00012-012-0174-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q412009$0ADAC85C-4DE5-4459-93F1-60544A0813BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af4fb28fa7836c2819933975a151a661a16f0288","datavalue":{"value":{"entity-type":"item","numeric-id":1315325,"id":"Q1315325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9f328e0de7ad94991903edd5f5bbbae639e417e","datavalue":{"value":{"amount":"+0.78299904","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":"Q412009$A0A71EB1-4617-4B3E-9F29-381EADBB7946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f4bb2097849e93f7b7c0e720f777b4c14cfe5e1","datavalue":{"value":{"entity-type":"item","numeric-id":4724677,"id":"Q4724677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e53307f45240b0f48f6f9a44a5a30e2ebe2aa3f","datavalue":{"value":{"amount":"+0.7371939","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":"Q412009$D7FC291B-90ED-4944-AB13-CE191CA76ABA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c7be956c3bc79a9f7fea108f969c3619b3bde79","datavalue":{"value":{"entity-type":"item","numeric-id":382340,"id":"Q382340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41cb44eec1df731ec5808733e11cc78acb4f3447","datavalue":{"value":{"amount":"+0.73353744","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":"Q412009$ADCFAEA8-3A74-448E-8974-03A9007FA7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9efb515190467d43430ddc551aa809e975b4132b","datavalue":{"value":{"entity-type":"item","numeric-id":1121929,"id":"Q1121929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76404fb07bab7954409a653f58fd1e03b28d2672","datavalue":{"value":{"amount":"+0.7240805","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":"Q412009$3BEA860F-B7E9-4711-87F5-099E9F55614E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72b886b3e5e612afc86fa28ae05d6166cf185843","datavalue":{"value":{"entity-type":"item","numeric-id":3697063,"id":"Q3697063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecdf78757316cd65318ade180bb21565f1c195f8","datavalue":{"value":{"amount":"+0.71800864","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":"Q412009$EE5C1CA6-D10F-4962-A253-2FFBAE536C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ba22c672e566fa56c95ad90560ba8ca242dda27","datavalue":{"value":{"entity-type":"item","numeric-id":3328591,"id":"Q3328591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c742dd3c8553a15b9f3fefb7b2ad829770fe6f3f","datavalue":{"value":{"amount":"+0.70851773","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":"Q412009$83252DAB-3F77-4C1C-AC0F-C1650CA0B6D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02521c2801622e48cf817f6d577b2f6f02785147","datavalue":{"value":{"entity-type":"item","numeric-id":1327464,"id":"Q1327464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d32dc13b80dc7d290f081acf6d439a9e7b33a98c","datavalue":{"value":{"amount":"+0.70157444","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":"Q412009$46AB9F9B-03D8-436E-8F28-6867AE2EC8C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd7733798943dcb8fec7eaa66982517cebfebbc0","datavalue":{"value":{"entity-type":"item","numeric-id":3698846,"id":"Q3698846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"227115a1cb61fea0ad5cbcb2ec3b9be2a12d4bdd","datavalue":{"value":{"amount":"+0.70019925","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":"Q412009$B30FA383-30D2-42A0-9743-1651C977D721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26095a9c28358b9e770e0e3713d24b65fc2ea7fc","datavalue":{"value":{"entity-type":"item","numeric-id":4953902,"id":"Q4953902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98f4934ffc55ef99379ee170a0af574e6643951d","datavalue":{"value":{"amount":"+0.6848767","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":"Q412009$A219D4C5-2DF3-49F3-A577-929DAFA99A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"024de5db05926a4ee554c7a9c327ea427a22f6a2","datavalue":{"value":{"entity-type":"item","numeric-id":1077445,"id":"Q1077445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d7b91cd55c4d0ef252a728f4a736c83b39fd9f5","datavalue":{"value":{"amount":"+0.68278706","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":"Q412009$C3116E17-9D69-4663-BED6-13BF3B02651A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:412009","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:412009"}}}}}