{"entities":{"Q2474102":{"pageid":2484845,"ns":120,"title":"Item:Q2474102","lastrevid":44154510,"modified":"2025-11-20T10:32:01Z","type":"item","id":"Q2474102","labels":{"en":{"language":"en","value":"Semidirect products of lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5242744"}},"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":"Q2474102$058E90CA-1193-4174-8317-D490A35065B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"757c0cf26fe8ced22cbe0a3bf3801103a40bd6a7","datavalue":{"value":{"text":"Semidirect products of lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2474102$E1DD4FD2-3ECC-46C3-9E34-99BFC32F7BB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e700e3930592f90ce0665b51c9196d41fff687e","datavalue":{"value":"1207.06004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474102$566B7A7F-5F6E-4243-B820-ABBEA0F90820","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"efcb565e4da5b865f9374483c9a4592b3b7755fb","datavalue":{"value":{"entity-type":"item","numeric-id":308119,"id":"Q308119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2474102$FD5911C3-CAB7-4B00-B13D-67414A806DD1","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":"Q2474102$586804ED-2DD5-46D8-8868-040732D0E05F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"320775bc8330b9df723b904d964cd89baad4e710","datavalue":{"value":{"time":"+2008-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2474102$9C8B9110-C1C2-4445-92C5-557015F5D179","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"12ba9f0f07b0257f802bc832d89acf69cfce94ba","datavalue":{"value":"Given two groups \\(K\\) and \\(H\\), and a homomorphism \\(\\varphi\\) from \\(K\\) to \\(\\Aut(H)\\), the well-known construction of a \\(\\varphi\\)-semidirect product \\(K\\ltimes_\\varphi H\\) equips the set product of \\(K\\) and \\(H\\) with the operation \\((k_1,h_1)\\bullet(k_2,h_2):=(k_1\\cdot k_2, h_1\\cdot\\varphi(k_1)(h_2))\\). This makes \\(K\\times H\\) a group \\(G\\) containing (canonical copies of) \\(K\\) resp. \\(H\\) as subgroups such that \\(H\\) is normal, \\(KH=G\\) and \\(K\\cap H=\\{1\\}\\) (not \\(\\emptyset\\), as stated in the paper).  The author transfers this notion to the setting of lattices, defining two operations \\(\\sqcap\\) and \\(\\sqcup\\) on the set product of two lattices \\(K\\) and \\(H\\), with the aid of two maps \\(\\varphi\\) resp. \\(\\psi\\) from \\(K\\times K\\) to \\(H^H\\) satisfying certain properties. He obtains, in this way, a lattice \\(K\\ltimes_\\psi^\\varphi H\\) which he calls the \\((\\varphi,\\psi)\\)-semidirect product of the lattices \\(K\\) and \\(H\\). Its main feature is the existence of a congruence \\(\\theta\\) such that \\(K\\ltimes^\\varphi_\\psi H/\\theta\\cong K\\) and all \\(\\theta\\)-classes are isomorphic to \\(H\\) as lattices. Conversely, if \\(L\\) is a lattice with a congruence \\(\\theta\\) whose classes are all isomorphic to some lattice \\(H\\), then, under certain conditions (satisfied, e.g., if \\(L\\) is finite), \\(L\\) is isomorphic to \\(L/\\theta\\ltimes^\\varphi_\\psi H\\). Since both \\(\\sqcap\\) and \\(\\sqcup\\) determine the order on \\(K\\ltimes^\\varphi_\\psi H\\), the mappings \\(\\varphi\\) resp. \\(\\psi\\) are closely related; in fact, \\(\\psi\\) is uniquely determined by \\(\\varphi\\).  Moreover, for any finite lattice \\(L\\) and congruence \\(\\theta\\) on \\(L\\), \\(L\\) may be embedded into a semidirect product of \\(L/\\theta\\) and an ordinal sum of certain \\(\\theta\\)-classes such that the canonical congruence of this semidirect product extends \\(\\theta\\). Finally, the construction of semidirect products is extended to join-semilattices and shown to preserve completeness in this setting.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474102$6ACFA61F-4FA3-429C-B46D-DF27DED69B06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"463f7d257a671a9510e684a0db949c2f8eb9d983","datavalue":{"value":"06B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474102$BB529AB0-0431-4E52-9E43-14B212FDCEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d95b7b3afe24e41b228e75d9b35511699f92de5f","datavalue":{"value":"06B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474102$B0AE8A56-AAEC-4AD9-8035-BC565A816169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474102$1F6D09F0-9CDD-4083-805A-7064EE75693A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91d6a086f6ac3fc4c829fc5491e1b1c775c6285a","datavalue":{"value":"5242744","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474102$B696969C-E00B-4798-80F7-EBCBCEB86C35","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"88a6469559583fc59bd625434aa5d9b0dc35201e","datavalue":{"value":"lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474102$A99ABA57-FB0D-4509-8F02-03FEC8A96409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474102$7AD3EABA-6511-4963-9434-C5F39A330AB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d68fa27aefe0078b598b7b8ced19487ec5949b5a","datavalue":{"value":"semidirect product","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474102$A5FF40A9-6E25-41C7-BC1A-BE4E92D3E3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"437a4083b26a324d3f7c311ebcf077de50ec54db","datavalue":{"value":"join-semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q2474102$20A4A570-C62F-456B-AD7D-7BBDF8D09964","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":"Q2474102$A53CA20C-9721-4A9A-A82F-E978EFD21F7E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b326f7b0c427fdd36fe0008482ea50fd8ffaeadf","datavalue":{"value":"https://doi.org/10.1007/s00012-007-2024-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2474102$8D3DD009-2EA1-4EF8-BDA1-C0DFC3A822ED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"707c3f42b42a22ba7f33868b3f88e9757f6181bd","datavalue":{"value":"W1965586265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474102$1749CE65-94F0-4D3B-BEAC-E92643647E9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6690b01f1f091b3a315e0fd2f8862d6162de2555","datavalue":{"value":"10.1007/S00012-007-2024-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2474102$6191DC6F-85EB-43D5-9794-F024206C82A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a54af157c9dd9560f9ed2f39c9648bc271d805ea","datavalue":{"value":{"entity-type":"item","numeric-id":4726297,"id":"Q4726297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04fddea5584b0b2fa9d118876ba5563c2c18dbbe","datavalue":{"value":{"amount":"+0.93899196","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":"Q2474102$8B2A82B2-E9D3-43C7-874A-971ADB883589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd9106c435675a223788b616f5de51901dc1f847","datavalue":{"value":{"entity-type":"item","numeric-id":3737668,"id":"Q3737668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9449e11e898e3cddc3ddbda147636fb9a61cabcc","datavalue":{"value":{"amount":"+0.91292727","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":"Q2474102$8EA2714E-EE0D-4ADC-ADC3-3250F4211244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"796138141f7a77af6781a357cab88e9a48e46e0b","datavalue":{"value":{"entity-type":"item","numeric-id":4348025,"id":"Q4348025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e6b56061c43f8cde6ab8dee31e8e16e565ec8df","datavalue":{"value":{"amount":"+0.9129272","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":"Q2474102$7511BC51-27F0-4777-AF3A-331A02B2FB8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eb9d032f498c4d7b96ac93cecfca2d91cfd65d8","datavalue":{"value":{"entity-type":"item","numeric-id":6161645,"id":"Q6161645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf73e1e96e466e1f943b1dfcd56d38d4d8bf57c1","datavalue":{"value":{"amount":"+0.9106708","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":"Q2474102$FAB047A8-7735-465B-A45E-C8E2C475DE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7239f88550d4cd489331ece820bd02350c4df99d","datavalue":{"value":{"entity-type":"item","numeric-id":6159801,"id":"Q6159801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbfdc3dde87f14aab9027c56341f20f9f6a12664","datavalue":{"value":{"amount":"+0.91067076","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":"Q2474102$C3269C6A-7A89-498B-A71D-319C3ED89F99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c1477643cf58e919959e6f60f8116fb6f4d9e3d","datavalue":{"value":{"entity-type":"item","numeric-id":4874825,"id":"Q4874825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0b7d9b4825316e6bec300a6937ebf5d1478ef95","datavalue":{"value":{"amount":"+0.90983975","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":"Q2474102$188F5375-B6BC-4A28-8755-257C57047D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6267003da4828b5429612f23787184f964dd86f","datavalue":{"value":{"entity-type":"item","numeric-id":1072578,"id":"Q1072578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e9c8e9513ff959afbaf13b8ae29a97387cd45f6","datavalue":{"value":{"amount":"+0.90370595","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":"Q2474102$4969D1C0-0DBB-4C45-B137-6D26506FDCD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0710dabb7b5f8703ac40209b3f9a115ea348270e","datavalue":{"value":{"entity-type":"item","numeric-id":3800100,"id":"Q3800100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98ac7bf76137814b2516b0ad1f5ab12082510a00","datavalue":{"value":{"amount":"+0.90237784","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":"Q2474102$8BCC8B29-16E7-430A-B527-3A95644904A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a07ef5ebae5ad7e649d90781920946c3c93b4d0a","datavalue":{"value":{"entity-type":"item","numeric-id":1772215,"id":"Q1772215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c01246e23b139cee96c3a20be3d5f72fd8f29172","datavalue":{"value":{"amount":"+0.9010681","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":"Q2474102$01F6974E-D97B-4BB4-9F44-AC36A4EFE0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51129ce48bea593a242ff5e6cb93b57615796c8f","datavalue":{"value":{"entity-type":"item","numeric-id":3351636,"id":"Q3351636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b50fe4da24bef0a986968d926f038a8a13a7444b","datavalue":{"value":{"amount":"+0.8995792","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":"Q2474102$391B7CE7-4657-4B15-B346-B62702F353D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2474102","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2474102"}}}}}