{"entities":{"Q2300159":{"pageid":2310902,"ns":120,"title":"Item:Q2300159","lastrevid":78434801,"modified":"2026-05-06T11:35:09Z","type":"item","id":"Q2300159","labels":{"en":{"language":"en","value":"Hyper-atoms applied to the critical pair theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7175043"}},"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":"Q2300159$026EF9F0-E1FB-4F58-8610-D5E01F897345","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1092efbece38e114d8f1d63f8eee7914db6aeee6","datavalue":{"value":{"text":"Hyper-atoms applied to the critical pair theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2300159$25237F2A-E32F-4EE1-9CFC-50872529CB98","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31354d1d664422a2db16cc715956b96044ed8ff0","datavalue":{"value":"1449.11020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300159$7DFB2797-484A-4151-A28A-7108F0ADD830","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c52277ee8cc0731c1715f6e7e43864422e716f2b","datavalue":{"value":{"entity-type":"item","numeric-id":2300158,"id":"Q2300158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300159$849871CF-7665-446C-BF06-279704562516","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a87e84d22579e69c48ca0a6d828473db4dde3dd6","datavalue":{"value":{"entity-type":"item","numeric-id":168579,"id":"Q168579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300159$D4224648-E8DA-4051-9A53-EF528F3B7594","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"34cd75b62783efc32fb9ebc3721b7ca9cfd13c67","datavalue":{"value":{"time":"+2020-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2300159$38201876-1971-49E4-9D80-7AA97FFB90F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40b84ecc351c291c4557b3e46b750428abc4a27a","datavalue":{"value":"https://arxiv.org/abs/1102.2099","type":"string"},"datatype":"url"},"type":"statement","id":"Q2300159$195EE763-B975-4550-A809-8315FD08DFBF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a32704a7fef3ba4a4d96419604f7de44c733a6ef","datavalue":{"value":"The sumset of two subsets \\(A\\) and \\(B\\) of an abelian group \\(G\\), is \\(A+B=\\{a+b \\ | \\ a\\in A, b \\in B \\}.\\) If \\(A+B\\) is aperiodic (that is the set has a trivial stabilizer), then it is known that \\(|A+B| \\geq |A|+|B| -1.\\) \\textit{J. H. B. Kemperman}'s theorem [Acta Math. 103, 63--88 (1960; Zbl 0108.25704)] describes the sets \\(A\\) and \\(B\\) for which \\(|A+B| \\leq |A|+|B| -1.\\) Let \\(\\kappa_1(S) = \\min \\{ |X+S|-|S| \\ | \\ X\\) is a finite subset of the group \\(G\\) with at least \\(k\\) elements satisfying \\(|G \\backslash (X+S)| \\geq k \\}.\\) A maximal cardinality subgroup with \\(\\kappa_1(S) = |H+S| - |H|\\) is a hyper-atom. The authors uses hyper-atoms to give a new isoperimetric proof of the Kemperman structure theorem which overcomes a previous weakness.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300159$3187486A-50D1-4904-8E20-4BA7C4E0B471","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4d4f5c569840156a56e65235e07ebc0bd6172d15","datavalue":{"value":{"entity-type":"item","numeric-id":199027,"id":"Q199027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2300159$43EEA928-FF1E-411E-8B60-027547AFE8C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f966b0d08eaa36f862948c36979cac20cef1e7f7","datavalue":{"value":"11B13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300159$26DCB13B-1A41-45BF-9E6D-DBC851325E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"83bbf0b299346afb89579c3d6a26f4aedc76938a","datavalue":{"value":"05C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300159$210A3BFA-55C8-4741-98FD-1EFF269FE8F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"241e923c6908a47ee577bcb1557cc78f51f12258","datavalue":{"value":"7175043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300159$88568F5B-C94E-445E-A016-564AF13C4C24","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3443e8f511bc14cc3587940fb7187be304807eb9","datavalue":{"value":"hyper-atoms","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300159$2B08F9AD-54F7-4D09-B828-9333F584DE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02b628adc3225f8dedbd3c5a27b6b5507e9be0b3","datavalue":{"value":"Kemperman structure theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300159$102E33CD-2D90-4B38-BD64-1C0656A77E28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcf8c3eac37e2ee04bcddb2df0a5429dcc18bdae","datavalue":{"value":"critical pair theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2300159$2618F9BB-47C0-4279-BDAA-E49707DD95BE","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":"Q2300159$9769722F-DE80-4367-B21F-C827BE6E8142","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b4af2152a02ea58137c8005095f656d97b2d33a","datavalue":{"value":"W2984164607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300159$DEB693AD-1459-4E65-833C-02C3069BA802","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1d3459a56b5ca7b6a912736156863067884b8672","datavalue":{"value":"10.1007/S00493-019-2429-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2300159$A83AF6BB-6851-48C4-B5EE-DCD482527064","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57d704ec887c95c86b238c6e68802279f8f40641","datavalue":{"value":{"entity-type":"item","numeric-id":3083989,"id":"Q3083989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11e49bd285092c5b225354782bfc8ea132e50dda","datavalue":{"value":{"amount":"+0.8441970348358154","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":"Q2300159$AF5236EB-3290-4D8A-AC60-22E50BFD0365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88c4c83b5aef7d1d75042f6680f76175db6ad31c","datavalue":{"value":{"entity-type":"item","numeric-id":3421792,"id":"Q3421792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc75ba4444aff97db4ff522ae05dc1b5a5cf6ace","datavalue":{"value":{"amount":"+0.8330283164978027","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":"Q2300159$B80DE65A-E972-46D0-A541-4F0D77A564F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97e5ab238144a0a1b6069638ef6b2f6126f0c508","datavalue":{"value":{"entity-type":"item","numeric-id":3400767,"id":"Q3400767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e36a12d1cb03c791e97bc4e43b98e006f3f5bfb8","datavalue":{"value":{"amount":"+0.8277104496955872","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":"Q2300159$F4D811BA-6B5A-46E5-A3DF-07A89E198B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dbdf4112811b8f85853f8b9bafe850f2f7488ea","datavalue":{"value":{"entity-type":"item","numeric-id":1906481,"id":"Q1906481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2373b12195d104295ef3220c11df307cfc9b922d","datavalue":{"value":{"amount":"+0.8241221904754639","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":"Q2300159$7BE81DBD-BB1E-4C33-8019-15CA217274EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7d33dfe454051631bc23f690db40ae5f292926b","datavalue":{"value":{"entity-type":"item","numeric-id":1971804,"id":"Q1971804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cc03cff1ae0acac4e71fe4820d1950bf656d543","datavalue":{"value":{"amount":"+0.8030377626419067","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":"Q2300159$55221492-A0BF-4088-BCC2-F40178D68A02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Hyper-atoms applied to the critical pair theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Hyper-atoms_applied_to_the_critical_pair_theory"}}}}}