{"entities":{"Q1645003":{"pageid":1655744,"ns":120,"title":"Item:Q1645003","lastrevid":72421188,"modified":"2026-04-14T04:47:29Z","type":"item","id":"Q1645003","labels":{"en":{"language":"en","value":"Dual Ore's theorem on distributive intervals of finite groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6893268"}},"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":"Q1645003$3151CC83-BAFE-4DEC-B043-4D0FD615E9A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb34b1073c9dd1dfd3f637c5af6365f01e80a278","datavalue":{"value":{"text":"Dual Ore's theorem on distributive intervals of finite groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1645003$9A6BB74F-54C3-4C0E-B1A9-735F0C0D0F81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"191b949eef1ef70cea955182a3f16051e6fbe18c","datavalue":{"value":"1437.20017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1645003$66E30A13-3EED-4764-A2AB-EFB3D42450D1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa5490e744e48df37f402dfa3e731710907b3179","datavalue":{"value":{"entity-type":"item","numeric-id":822700,"id":"Q822700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1645003$52D17B7E-3DBA-4DE0-AAF5-617C321BF49C","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":"Q1645003$26825E8A-691E-4A9D-AAB5-1D90A394DB60","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ffd3908f7a79ea44e2a8117ba180282c720bf0ed","datavalue":{"value":{"time":"+2018-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1645003$3AF6442A-C6EA-48A2-97C3-EA83D4F5E9A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2b2ff76f584addea6f0a405672d2e104df79a21","datavalue":{"value":"https://arxiv.org/abs/1708.02565","type":"string"},"datatype":"url"},"type":"statement","id":"Q1645003$0F222563-5FE1-41BE-843A-55B33D908951","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"78e224598870a8462d6a109ad77549f3d8344b42","datavalue":{"value":"In [Duke Math. J. 4, 247--269 (1938; Zbl 0020.34801)], \\textit{\u00d8. Ore} proved that a finite group is cyclic iff its subgroup lattice is distributive. In the paper under review, the author gives a group theoretical proof of a dual version of this result.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1645003$EE0AFCEF-2B54-4E2B-926A-EFA046E2D048","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"c3fa05ae5668135b000c2b5dc72e30863567dbff","datavalue":{"value":{"entity-type":"item","numeric-id":585742,"id":"Q585742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1645003$112C7324-91E7-424F-9652-4DC52E68E5BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5f7e20e8cedacec1d370ef046cc110b16c0d5386","datavalue":{"value":"20D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1645003$2AC7FFB8-30BB-420E-850F-ECBB079B80AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ee39ae7906ca77d9c8db2bbe3d8ccbedff971d12","datavalue":{"value":"20E15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1645003$300C5166-4252-42F5-83EB-7C8E7A3177AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bb5d1e694a0c88d435d98289c9ff9b7eb400d6bb","datavalue":{"value":"20C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1645003$6B744B94-248C-4BF9-9034-232F67E16803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0affb998fbae49a78b357cf2c7792afe8bfb4346","datavalue":{"value":"06C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1645003$2386B7FA-6215-4A7F-ACAF-A31DCC7C52DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad26834fd8b95d360f66c0637108a6ec9460e3f2","datavalue":{"value":"6893268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1645003$0C4226AB-E35A-4F9C-9FDC-17648E84CF51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18c42de41f3c94716175d79e3c102bb7e3ce2cb4","datavalue":{"value":"finite group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1645003$64A78961-A418-4BAE-83F8-35132DC21EC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"766b708e775c10818c31c761cac41a742a022741","datavalue":{"value":"complex representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1645003$30EB256A-0A90-4283-81ED-786A535CD279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f5dcefc4386aafb796f14f7f255e09233d14e66","datavalue":{"value":"subgroup lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1645003$68A94C60-D626-4986-A51E-5A31C4FBB801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5579ddf023a56f4856a8ee584af99380d23fb1f8","datavalue":{"value":"distributive lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1645003$13C17126-0113-4016-B4C6-8EBE3FB060D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5e5635796d61a2276700c5751e732bf45eb0f7a","datavalue":{"value":"Boolean lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1645003$430FAD22-F58D-49BE-A935-EFBEB28CB7A1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dd7f0abef058f8eae97be2e317c30210cbb29e90","datavalue":{"value":{"entity-type":"item","numeric-id":13081,"id":"Q13081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1645003$37A56DD1-4F4B-481F-8260-2C0EF90627FD","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":"Q1645003$1FD242C9-DF96-4BBC-92B7-6CF8288B7B91","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e2f4b6c8b835362d0560d4c6324704e55c125c43","datavalue":{"value":"W2743800980","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1645003$D1F1E145-9338-4F7A-AD94-CB347382E7A8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"803003a0e15031f4936dc192434d3d9a702c5684","datavalue":{"value":{"entity-type":"item","numeric-id":1747762,"id":"Q1747762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1645003$37A58B40-863C-46C2-83C7-9A36FBDE8698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"838c1aaae7fcc3ecae3184a84ff311a16d20a4ac","datavalue":{"value":{"entity-type":"item","numeric-id":4871631,"id":"Q4871631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1645003$B21D7412-7681-457F-811D-FEF5730FC92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768850639ebe0e27cda3540e23ac42702887d5fa","datavalue":{"value":{"entity-type":"item","numeric-id":2646288,"id":"Q2646288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1645003$D8B2A45A-C0A4-4FFC-8921-1CB8360817EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a489b9337230276ed100295e675e99c5945f59c2","datavalue":{"value":{"entity-type":"item","numeric-id":2408272,"id":"Q2408272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1645003$C55AB108-C941-4BA9-81FF-8FC9A4A89739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e8be3676a8c0ae4d8b9d1671902a3744010f363","datavalue":{"value":{"entity-type":"item","numeric-id":1904821,"id":"Q1904821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1645003$AAC039A0-9527-43C6-88B3-CC37E7062D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43338569fabc8ff4a47c1085e6bc008e0679e2b7","datavalue":{"value":{"entity-type":"item","numeric-id":3225387,"id":"Q3225387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1645003$D17803ED-1ED6-4A76-8830-BFFFA0470B90","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bc26c31b11d0086d9b3cd664baee2d1d116c2045","datavalue":{"value":"Q130114351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1645003$44CADD5F-4D4E-4477-8282-93179CE77847","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f726ec5e275b5fcfee9473b47fbf1c2f082a02f","datavalue":{"value":"10.1016/J.JALGEBRA.2018.03.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1645003$5426C50F-293A-4530-85E5-E9A0050A034D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"942c5c2aa2af88b59ca2198d24cafd3e9adc6d8a","datavalue":{"value":{"entity-type":"item","numeric-id":1747762,"id":"Q1747762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"657546ded00deef26a9939ce1b5c606f3394ccea","datavalue":{"value":{"amount":"+0.7909096479415894","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":"Q1645003$4299BBFB-DE81-41C0-BC2A-E1EC2358B3BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c853cba9f68015977557e7cdb904b05edf2d1e80","datavalue":{"value":{"entity-type":"item","numeric-id":2224469,"id":"Q2224469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14ce0c1e87e114a524970c2a5d93820fd8b4514f","datavalue":{"value":{"amount":"+0.744900643825531","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":"Q1645003$833E226C-57FF-4674-A961-0175E1B72F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3f6896b2c5b6eaafc049e07a1ac4a9b0e939a90","datavalue":{"value":{"entity-type":"item","numeric-id":2736713,"id":"Q2736713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98849d5703d233ed002b332e17d649331760a4f3","datavalue":{"value":{"amount":"+0.7230859994888306","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":"Q1645003$A0CDDF0F-3961-46C3-8B43-36A173C8F6E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"690528afa68fd5a61bffe43791012113292c149a","datavalue":{"value":{"entity-type":"item","numeric-id":4855732,"id":"Q4855732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98849d5703d233ed002b332e17d649331760a4f3","datavalue":{"value":{"amount":"+0.7230859994888306","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":"Q1645003$B9B4184B-6C09-42B5-B09A-DA98FD9945B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5044b4253c36e65ff37f3a7b37144564606bb631","datavalue":{"value":{"entity-type":"item","numeric-id":1272106,"id":"Q1272106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dae9824ea583e269647048ec63b67abe626192d4","datavalue":{"value":{"amount":"+0.682456374168396","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":"Q1645003$7BD25255-A11A-46FC-88E2-E3D0D9FB8690","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dual Ore's theorem on distributive intervals of finite groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dual_Ore%27s_theorem_on_distributive_intervals_of_finite_groups"}}}}}