{"entities":{"Q1174732":{"pageid":1185481,"ns":120,"title":"Item:Q1174732","lastrevid":69802722,"modified":"2026-04-13T09:29:54Z","type":"item","id":"Q1174732","labels":{"en":{"language":"en","value":"Lattice homomorphisms of non-periodic groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 9348"}},"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":"Q1174732$09887FA2-8583-4E2B-8ACC-5A8E9E7606A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab737bfbffdd38ce39adb93f0ec33dc7be07a18f","datavalue":{"value":{"text":"Lattice homomorphisms of non-periodic groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1174732$81D416CA-FA55-4767-A950-A0979FBCE57B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0542f8a9b55c19a22039e54a8fb6d7b96a230ac0","datavalue":{"value":"0741.20019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174732$B12F64F7-9F83-4143-BA44-381FA05742F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40489d250f7a7b9eb826a9932d07fe2d2cff5691","datavalue":{"value":"10.1016/0021-8693(91)90191-A","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174732$BE932FE2-6AB0-4551-9383-0756307FFDEA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"93541bb195a0809b1f249396bcebe99d047e6b6c","datavalue":{"value":{"entity-type":"item","numeric-id":161561,"id":"Q161561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174732$20AA5513-C584-4089-BD66-C0557D37592A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1174732$7AA05393-AF3B-46FE-B1D3-852DA1B5B1A3","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ce3b2650f407106cf85cbe221e067ef9b5fcdefd","datavalue":{"value":"If \\(G\\) is a group, the set \\(l(G)\\) of all subgroups of \\(G\\), ordered by inclusion, is a complete lattice. If \\({\\mathcal L}\\) is any complete lattice, a map \\(\\sigma: l(G)\\to{\\mathcal L}\\) is called a complete lattice homomorphism if  \\[ \\left(\\bigcap_{X\\in \\Omega}X\\right)^ \\sigma = \\bigwedge_{X\\in \\Omega} X^ \\sigma\\hbox{ and } \\langle X\\mid X\\in\\Omega\\rangle^ \\sigma = \\bigvee_{X\\in \\Omega} X^ \\sigma \\]  for each non-empty set \\(\\Omega\\) of subgroups of \\(G\\). If \\(G\\) and \\(\\bar G\\) are groups, a bijective lattice homomorphism \\(l(G)\\to l(\\bar G)\\) is called a projectivity of \\(G\\) into \\(\\bar G\\). The projectivity \\(\\sigma\\) of \\(G\\) into \\(\\bar G\\) is said to be index-preserving if \\(| H:K| = | H^ \\sigma : K^ \\sigma|\\) whenever \\(H\\) and \\(K\\) are subgroups of \\(G\\) such that \\(K\\leq H\\) and \\(| H : K| < \\infty\\). If \\(H\\) is a subgroup of a group \\(G\\), \\([G/H]\\) denotes the set of all subgroups of \\(G\\) containing \\(H\\). The set \\([G/H]\\) is called non-periodic if there exists \\(x\\in G\\) such that the index \\(| H: H\\cap \\langle x\\rangle|\\) is infinite. A Dedekind subgroup \\(H\\) of a group \\(G\\) is \\(D\\)-embedded in \\(G\\) if for each \\(x\\in G\\) and for each subgroup \\(K\\) of \\(G\\) such that \\(H\\leq K\\leq \\langle H,x\\rangle\\), the index \\(|\\langle H,x\\rangle: K|\\) is finite if and only if the set \\([\\langle H,x\\rangle/K]\\) is finite. The main result proved in this article is the following:   Let \\(G\\) and \\(\\bar G\\neq 1\\) be groups, and let \\({\\mathcal L}\\) be a complete lattice. Assume that \\(\\bar G\\) contains a \\(D\\)-embedded subgroup \\(\\bar H\\) having an ascending series with locally finite or abelian factors, and \\(\\bar H\\) has Hirsch length \\(h(\\bar H)\\geq 3\\), or \\(h(\\bar H)=2\\) and in this case either \\(\\bar H\\) is a modular group or \\([\\bar G/\\bar H]\\) is non-periodic. Then every complete lattice epimorphism \\(l(G)\\to l(\\bar G)\\) is an index-preserving projectivity, and every complete lattice homomorphism \\(l(\\bar G)\\to {\\mathcal L}\\) either is injective or maps every subgroup of \\(\\bar G\\) to the same image. The authors also construct a metabelian group \\(G\\) of Hirsch length 2 admitting a non-injective complete lattice homomorphism \\(\\sigma: l(G)\\to l(G)\\) such that there are subgroups of \\(G\\) having distinct images under \\(\\sigma\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174732$26BC6E07-BFA2-4BCF-B2F6-01E876DB058A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ee39ae7906ca77d9c8db2bbe3d8ccbedff971d12","datavalue":{"value":"20E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174732$608B76E1-5850-41FF-A7EC-C58244D1C306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a9473403ba5aadfa1076dd6525b25a3172ff28b","datavalue":{"value":"20F16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174732$7502167C-E6A0-4B3C-BC3F-C5719BA82378","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a991bee2ca1aa527fc1e12688483ee28e9133bd","datavalue":{"value":"9348","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1174732$81C4C9FF-DF5B-4D29-AB8E-6EDE0BBB0A44","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"224b7ca4089dbcf72a68bb91815c33046d581812","datavalue":{"value":"non-periodic groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174732$3A9C852D-A2AF-4D88-99A8-49EF229C2FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93cb2638bebf4227054e507ecf8a47818b4624fe","datavalue":{"value":"complete lattice homomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174732$2064009F-3BC6-45BF-9625-47EA717298F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1258454809e0ec32633a683f99dd505eda81155e","datavalue":{"value":"Dedekind subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174732$9C8DED75-498E-4916-A5C2-4074E12B1E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"517299f7c7b07a1f09f9eaaffa0af0dbb0619fe9","datavalue":{"value":"\\(D\\)-embedded subgroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174732$E2386D63-E00D-43C5-BFED-46796C9C151D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"113bc0dc9ac332f2c4308c6d423b2c9216e83393","datavalue":{"value":"ascending series","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174732$C4B210B4-F953-4429-AB2C-EC4ACB68F48D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b83580ae7c897dc1cb9305fc4e61e1dd743015f","datavalue":{"value":"locally finite groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174732$5237BF67-9D2A-4B0A-9F4C-683F532B0F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db13bb5cd0a333982fce79f049516c02414af291","datavalue":{"value":"Hirsch lengths","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174732$BD518F76-9E99-4BF8-9119-1DD099CE2C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"916653357ada771b021ff4573a378023ab4db39c","datavalue":{"value":"modular groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174732$4F68270B-9012-4680-A262-24C1DEBDF27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7156f34201a6cc188922953aab3817e207428162","datavalue":{"value":"complete lattice epimorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174732$79487F66-B2EA-49E6-9618-836B79CF945F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"863eaf207ab6e06552cb8160085bfe1ec1d507ff","datavalue":{"value":"index-preserving projectivities","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174732$DC27FB4D-972E-47F8-8F9F-001648F17C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8a2fabb4d1521f8c12f5dbed2f4ee1b32f73b653","datavalue":{"value":"metabelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1174732$67290146-4C58-49D0-B24C-B2FA4E1E3167","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b404114e5c9f2882014ea5c46126ec54381f257e","datavalue":{"value":{"entity-type":"item","numeric-id":689718,"id":"Q689718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174732$3B24D200-E593-4627-86AE-B70851700482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5ff331eda1bee302f89d0b188c69d909fc081efd","datavalue":{"value":{"entity-type":"item","numeric-id":661117,"id":"Q661117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174732$85E85696-B2F0-4891-AB02-CAA034ABCA13","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":"Q1174732$6373FCF0-85EA-4E24-AC56-1CDE86FF1C09","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ffb0398e2e34bc5bfc26469e1290ee29b75024","datavalue":{"value":{"entity-type":"item","numeric-id":5340151,"id":"Q5340151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174732$4596CC2F-63D3-4FA0-9FBA-75278C0A8809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a3e07033fe948c9ed9459cbec4ee995b490060","datavalue":{"value":{"entity-type":"item","numeric-id":3699930,"id":"Q3699930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174732$7F91FBB1-FB91-441D-BBB0-49DA930B6944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c48614dff2c491808daadfdb5c23810a57721cad","datavalue":{"value":{"entity-type":"item","numeric-id":3241234,"id":"Q3241234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174732$1544D7DD-C37C-4B08-ADCD-8553794157E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ffc52104f6ec94587a973a5e0a752b94e2a828","datavalue":{"value":{"entity-type":"item","numeric-id":3265698,"id":"Q3265698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174732$AE73DC30-CEF0-4CAA-A444-750C7CE3E006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d35ca88d8df7e56aab46e07664979224d710e50a","datavalue":{"value":{"entity-type":"item","numeric-id":1070337,"id":"Q1070337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174732$64B18202-E350-4ACF-ABDF-4D6CCD86F162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c041f7584715b36fbd1a453502ce273970871a","datavalue":{"value":{"entity-type":"item","numeric-id":5840059,"id":"Q5840059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174732$D9FBA629-3626-43BA-A720-3988F001ABA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb7e02cf526394e1bfc1640ed6d39ad0bd10eaf0","datavalue":{"value":{"entity-type":"item","numeric-id":4177758,"id":"Q4177758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174732$0779AD91-AC09-4B5F-B111-A59FEA9AC591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8292bcf617cf1ffc05e8ad27b7ab785cb338f257","datavalue":{"value":{"entity-type":"item","numeric-id":4114027,"id":"Q4114027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174732$CBD2625A-8BA8-4D0B-8DA6-2B278E9F3173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e57fc5030ff063e5d4f0012dbb9fad32ea0887d","datavalue":{"value":{"entity-type":"item","numeric-id":3232305,"id":"Q3232305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174732$6E5AD52A-5D13-4262-8F21-BB571EFCFE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b61ff41cba099dcf37e49b4b315b738fd1d4bf62","datavalue":{"value":{"entity-type":"item","numeric-id":5789039,"id":"Q5789039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174732$19C43BF5-7C77-4A1E-8BC2-1F9E13098AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"948d656b2f47b5c36161b7542d041f0b7c700d2b","datavalue":{"value":{"entity-type":"item","numeric-id":5623889,"id":"Q5623889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174732$714B3E11-A04E-44BA-9584-43AAB8318FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f513166c71a70b2f5c0659c720e481ac9b42d69a","datavalue":{"value":{"entity-type":"item","numeric-id":6038715,"id":"Q6038715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174732$C955C1F2-E70F-4B03-B3DF-2D1F50579F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"688b957152736c21d0498e97b590e69ca430c25a","datavalue":{"value":{"entity-type":"item","numeric-id":1063689,"id":"Q1063689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174732$D7B1CF51-E261-45E5-935B-947BBC2000E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f97d21b4aedaf4ab887552c01aaf11077aad2b33","datavalue":{"value":{"entity-type":"item","numeric-id":5591544,"id":"Q5591544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174732$A8662079-05B5-4690-BE7F-034748E02274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29c4c04b23141bb9e4351e937073e19065031d19","datavalue":{"value":{"entity-type":"item","numeric-id":3256242,"id":"Q3256242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1174732$0F1088C8-867F-4E71-BDEA-96C947B8BB50","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b9703a98741a058294d4b8daaf57abd27a85562","datavalue":{"value":{"entity-type":"item","numeric-id":1109134,"id":"Q1109134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43f94d7db08b7df24a3702097692a3a411a0a408","datavalue":{"value":{"amount":"+0.7959319353103638","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":"Q1174732$CBCD378B-26E3-4020-AB4D-E137FB65002C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68ea16669265a841286789a6247c9a98ef6e0c76","datavalue":{"value":{"entity-type":"item","numeric-id":3155927,"id":"Q3155927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbbc561339fa01e14506d8f8009daf80e9811660","datavalue":{"value":{"amount":"+0.7940546274185181","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":"Q1174732$768E0A82-CE8A-4CE1-9A78-E0B4C63A3492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55abf51472d3536666805b6b3f1474c214650154","datavalue":{"value":{"entity-type":"item","numeric-id":3401158,"id":"Q3401158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8171128cb33a8b0ab8801aeb221958f45959c49d","datavalue":{"value":{"amount":"+0.7926220893859863","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":"Q1174732$D28C6F73-09A6-48C2-9E9D-68CC0EEDAC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d66c03894e2e4f2bafefe339c4cb60cf53ca714b","datavalue":{"value":{"entity-type":"item","numeric-id":3717273,"id":"Q3717273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44a134796ba9a36dbd96eb15fc3d523366a3f081","datavalue":{"value":{"amount":"+0.7652547359466553","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":"Q1174732$9324F46F-7FF5-4196-909B-F2E6A0144B6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bae8d08aa7fdf3cda513fc147c5e51f759e56ebd","datavalue":{"value":{"entity-type":"item","numeric-id":5906465,"id":"Q5906465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35133bbd7d850481ce395bd2fe097422d6e7e115","datavalue":{"value":{"amount":"+0.7646775245666504","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":"Q1174732$1B029FE3-2E9E-4533-877F-DC2166E2A90D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Lattice homomorphisms of non-periodic groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Lattice_homomorphisms_of_non-periodic_groups"}}}}}