{"entities":{"Q865263":{"pageid":867111,"ns":120,"title":"Item:Q865263","lastrevid":65004261,"modified":"2026-04-11T23:40:27Z","type":"item","id":"Q865263","labels":{"en":{"language":"en","value":"Cauchy-Davenport theorem in group extensions."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5125708"}},"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":"Q865263$5F351AE0-B44F-4C73-BBE5-9FB18263F506","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17e7bb870a70adfecf524886c444a5f73b6e1bab","datavalue":{"value":{"text":"Cauchy-Davenport theorem in group extensions.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q865263$F0AA60F7-DEE6-4705-B18E-46301FE70FF0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c26c8fc19df427b916c495e763e7798bb7a7a36","datavalue":{"value":"1111.20026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865263$2492F591-9851-4F84-A358-965707BBFE66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed3ddd80e25752ea276da1403417d0d81ccb889c","datavalue":{"value":{"entity-type":"item","numeric-id":170497,"id":"Q170497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865263$0D074315-886C-4CBA-A596-5940FB65FF31","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"190f08128b991df2a0ad2bbf0d84e95f751f56d1","datavalue":{"value":{"entity-type":"item","numeric-id":246266,"id":"Q246266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865263$A497F183-6FFA-4DD8-A6AC-42A3090DE5A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6774d6ab22787c63fbf9dfb9bb080cedf0202a59","datavalue":{"value":{"time":"+2007-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q865263$4E31D07D-230D-4B2F-9A6E-CB9DF97E4F5C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"42233b0d2086d011857e46771e7899182b1fa646","datavalue":{"value":"Summary: Let \\(A\\) and \\(B\\) be nonempty subsets of a finite group \\(G\\) in which the order of the smallest nonzero subgroup is not smaller than \\(d=|A|+|B|-1\\). Then at least \\(d\\) different elements of \\(G\\) have a representation in the form \\(ab\\), where \\(a\\in A\\) and \\(b\\in B\\). This extends a classical theorem of Cauchy and Davenport to noncommutative groups. We also generalize Vosper's inverse theorem in the same spirit, giving a complete description of critical pairs \\(A,B\\) for which exactly \\(d\\) group elements can be written in the form \\(ab\\). The proofs depend on the structure of group extensions.","type":"string"},"datatype":"string"},"type":"statement","id":"Q865263$E1548B20-0594-4F86-AE6A-0432D94A59D0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"635c77a39b27ee22a5bfcde299ab7a563c7614e1","datavalue":{"value":"20D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865263$EE605EAF-0660-4363-BBEF-E7C8F21C29D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4bceb4852f142c7ae840ef027a3d11ea672a1bc4","datavalue":{"value":"11B75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865263$45C4F6C4-973D-4CAD-A753-A5BBEC8105F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e3c992a31e02a6ede2f69c758d96f8312e288159","datavalue":{"value":"11P70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865263$68A8FA76-A451-403A-BC1E-A9CB9E49281B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5320e9cecd9885a74d1f4cf20dd5b5397119f97a","datavalue":{"value":"20E22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865263$A3927F03-1D47-4488-8ACD-CEAD84961E91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f436d51a64a4f7f642588d5b54959b9b17da6299","datavalue":{"value":"5125708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865263$8F0639C0-4518-4EA3-BD21-24FAC46A0B77","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0357943d43e333f4c48dc4c021229877a615bafc","datavalue":{"value":"subsets of finite groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q865263$69DBFA0D-4BAB-46E7-85D5-070F6AB56091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"517155a8fa7fb0025fcab20049557e997f7eb7f9","datavalue":{"value":"product representations of elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q865263$BA5AA0AD-2300-4F2A-A3A7-C7EEFFE977D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc639b3b105ff8eeff2bffa635e2254e00e9ba2","datavalue":{"value":"Vosper theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q865263$410EF6CF-7943-41FF-B726-B9854A8E7E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fd7eaec2588be2081c5a4e16949537b7bb59fc0","datavalue":{"value":"group extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q865263$7D6755A5-1D04-4997-936F-766239300165","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1a659a28abd9a0ab15a72d50cbebdd941744b5c","datavalue":{"value":"Cauchy-Davenport theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q865263$06C0C7CC-1352-4094-831A-F83EC7BD239E","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":"Q865263$F7A9AE47-369B-4332-AD28-8E5458728F86","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70061a7f1b6222b1a5ed285335b19ef813b9459a","datavalue":{"value":{"entity-type":"item","numeric-id":3406630,"id":"Q3406630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cef46b35f3402abc284351c1786211582be0a655","datavalue":{"value":{"amount":"+0.9252004","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":"Q865263$74524F88-CD87-4C62-9223-6E2210D448CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d067809d01f509ff7e7978632a51b0848caf921d","datavalue":{"value":{"entity-type":"item","numeric-id":3448491,"id":"Q3448491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"133127caece9dc9391eb999a30fb7c8b1e4eb82f","datavalue":{"value":{"amount":"+0.8912399","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":"Q865263$FEEEB865-5A41-4522-B11E-BDE5A6BFE787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99f85d72be8d33129f09932bd5db9428d31bbf03","datavalue":{"value":{"entity-type":"item","numeric-id":2736861,"id":"Q2736861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3be40ccebef75773fdfc173360f13fbbaf30ae12","datavalue":{"value":{"amount":"+0.89001346","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":"Q865263$D90E7A6F-7979-43CE-A6B9-084AC73AEB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c26927e0dba0eb91374d12b891ab6dcb8fbf5f10","datavalue":{"value":{"entity-type":"item","numeric-id":424147,"id":"Q424147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6a153b3d6bc20bd782da365b96387305ed330d2","datavalue":{"value":{"amount":"+0.8898785","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":"Q865263$7CE9EC22-13DC-4CCB-BB73-BB4ADDCDB3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36d71718013c0f0abe61cc521f56af6ddad884c1","datavalue":{"value":{"entity-type":"item","numeric-id":3439632,"id":"Q3439632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ed9a2a78cf60d88ff2e516822ef6c349ccd4535","datavalue":{"value":{"amount":"+0.88884115","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":"Q865263$DB2B2C0F-788C-4FDC-9C15-9D617FA47BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"563130f2e43f6a1e85cf3d28501c9559334892d2","datavalue":{"value":{"entity-type":"item","numeric-id":5250576,"id":"Q5250576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a111bbbb6d8f6c0d9917fb037ced1fc08bbfb652","datavalue":{"value":{"amount":"+0.8828219","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":"Q865263$834948F1-7A43-4B4F-BE1F-26B624621750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d928890cb482dbc768c56525e1338c1a735ea5c","datavalue":{"value":{"entity-type":"item","numeric-id":3465564,"id":"Q3465564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"162b49bc83e5dc0ae7f8d6e734ecf8051a15428a","datavalue":{"value":{"amount":"+0.8823591","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":"Q865263$79CC6608-252B-47B7-A6F2-9E542FE8195E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf2672b3aa72d5d2a53dcb5eac759fcafb294dd8","datavalue":{"value":{"entity-type":"item","numeric-id":1046838,"id":"Q1046838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6496b78e7616f6f95953828d711214c21cc4305","datavalue":{"value":{"amount":"+0.8809276","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":"Q865263$8A3D9FCF-D0C2-472F-9846-28F41153BB0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d9bb38823ff12910fe72c45ce3e72f140d05ee8","datavalue":{"value":{"entity-type":"item","numeric-id":3590233,"id":"Q3590233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bd3d9aded2c018e8491ebe4666f6196734f9cf0","datavalue":{"value":{"amount":"+0.8781398","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":"Q865263$9AA0D680-9D0E-4089-81A6-3ECBC060015F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cauchy-Davenport theorem in group extensions.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cauchy-Davenport_theorem_in_group_extensions."}}}}}