{"entities":{"Q6580178":{"pageid":14191333,"ns":120,"title":"Item:Q6580178","lastrevid":55717468,"modified":"2026-02-17T21:36:01Z","type":"item","id":"Q6580178","labels":{"en":{"language":"en","value":"Small sets without unique products in torsion-free groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7888146"}},"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":"Q6580178$43EE59CD-0CBA-4958-A058-E0714C13D708","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f97102c4045ebfa529c6595bb17550749dbf6f4d","datavalue":{"value":{"text":"Small sets without unique products in torsion-free groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6580178$7376A9C1-A3DE-4EE2-871A-C9FCE8ADD1BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d75678b703bf298e918887a9f04ba103ae34eda2","datavalue":{"value":{"entity-type":"item","numeric-id":376028,"id":"Q376028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580178$FE5294B1-64DD-46CB-9F68-426BCA468535","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e771326893c2ba12b0f086ff68916b40fec1c25","datavalue":{"value":{"entity-type":"item","numeric-id":6580177,"id":"Q6580177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580178$BF40F2AE-FDDB-4C64-81C5-FA9449928BF9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"53d683ed1aa90ff03846f24489719f8ce7140ad0","datavalue":{"value":{"entity-type":"item","numeric-id":6580110,"id":"Q6580110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580178$BD4B28FD-48ED-474E-97A0-3D2FDB937875","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"581d0568ac17ca43ed5d0aedd4efb6193b09597e","datavalue":{"value":{"time":"+2024-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6580178$C56ED32F-234D-478F-BA53-36B2057A51EA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"608db9cf0a992fef2010057fb5fc24a9f6e2c65b","datavalue":{"value":"If \\(A\\) and \\(B\\) are subsets of a group \\(G\\) then an element \\(g \\in AB\\) is called a unique product for the pair \\((A,B)\\) if there is exactly one way to write \\(g = ab\\) with \\(a \\in A\\) and \\(b\\in B\\). Besides, a group \\(G\\) is called a unique product group (or \\(UP\\) group) if for any two finite nonempty subsets \\(A\\) and \\(B\\) of \\(G\\), there is a unique product for the pair \\((A,B)\\).\\N\\NThe authors note the following Kaplansky's (strong) zero-divisor conjecture: if \\(R\\) is a domain and \\(G\\) is a torsion-free group, then the group ring \\(R[G]\\) of \\(G\\) over \\(R\\) is a domain.\\N\\NThe basic results of the paper are the following.\\N\\NTheorem 1.2. If \\(A\\) is a nonempty subset of a torsion-free group such that \\(A^2\\) has no unique product, then \\(\\vert A \\vert \\geq 8\\), and this bound is sharp.\\N\\NCorollary 1.3. If \\(R\\) is a domain, \\(G\\) is a torsion-free group, and \\(\\alpha \\in R[G] - {0}\\) satisfies \\({\\alpha}^2 = 0\\), then \\(\\alpha\\) has at least eight elements of \\(G\\) in its support.\\N\\NTheorem 1.4. Let \\(A\\) and \\(B\\) be subsets of a torsion-free group. Assuming \\(AB\\) has no unique product, then \\(\\vert A \\vert + \\vert B \\vert \\geq \\) 16. More specifically, the following five bounds hold:\\N\\NIf \\(\\vert A \\vert \\) = 3, then \\(\\vert B \\vert \\geq \\) 19.\\N\\NIf \\(\\vert A \\vert \\) = 4, then \\(\\vert B \\vert \\geq \\) 14.\\N\\NIf \\(\\vert A \\vert \\) = 5, then \\(\\vert B \\vert \\geq \\) 11.\\N\\NIf \\(\\vert A \\vert \\) = 6, then \\(\\vert B \\vert \\geq \\) 10.\\N\\NIf \\(\\vert A \\vert \\) = 7, then \\(\\vert B \\vert \\geq \\) 9.\\N\\NWhen \\(\\vert A \\vert \\) is small, the authors find lower bounds on \\(\\vert B \\vert \\).\\N\\NAs a consequence, the authors obtain that any counterexample to Kaplansky's zero-divisor conjecture must be quite complicated, if it exists at all. They give new examples of torsion-free groups that are not unique product groups.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6580178$6A804BAE-DADF-4626-B212-FE20D70BCD83","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"df1ee8935c6e2e5974066c737dd2d3ee8e355ce3","datavalue":{"value":{"entity-type":"item","numeric-id":171316,"id":"Q171316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580178$D29F2D5A-CD5D-477D-AB0B-850E9C464130","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"78561816a36336f990925c0d7d4e291f6baa24cd","datavalue":{"value":"16S34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6580178$C9C06AF0-7307-4441-8C16-88FF7B52503A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9e7be0cfcacd32464742957e3e818847a694f77f","datavalue":{"value":"06F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6580178$B290E152-CF29-4596-A057-5F50C0B89201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"73b2ef8e32473163b77e8efb00d81b04828ecc5b","datavalue":{"value":"16U10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6580178$62E2FD6E-42DF-4A33-BB75-6F25D01C9BEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"05178b00f3954cc5276390a934207187e030f430","datavalue":{"value":"20C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6580178$FB8A4B44-685E-4EDE-BAD6-D6D0E901D3F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b33f596a01bdc6457634ca41709066872e75245","datavalue":{"value":"7888146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6580178$1F920C20-15F6-4859-9BBC-97B96C613E51","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83f4533047cd56e2d734060603e83a07b4f8ad8d","datavalue":{"value":"Kaplansky's zero-divisor conjecture","type":"string"},"datatype":"string"},"type":"statement","id":"Q6580178$DCE8CBD0-3B97-4BB4-9C8E-A061B31E62C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36cf163f057cd219d78bf81c3074f8db1bc4f803","datavalue":{"value":"torsion-free group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6580178$BACBD72C-0DEF-4453-867E-7BE05D893493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbd987490e0c488f498ad6d7192bbc01cde7c53c","datavalue":{"value":"unique product group","type":"string"},"datatype":"string"},"type":"statement","id":"Q6580178$04DAD349-7AE0-44A4-90F9-DB1160174623","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":"Q6580178$5AA7C47D-1C8F-409D-AA07-807817347AB1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1550e944af8b3b3a04155ba8bf0464946a472d7c","datavalue":{"value":{"entity-type":"item","numeric-id":4643675,"id":"Q4643675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580178$FE5705C8-5836-4735-8883-08CDF1237CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f37f085b7a9beafb4a4c46af1ed41888dc503dc2","datavalue":{"value":{"entity-type":"item","numeric-id":5848908,"id":"Q5848908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580178$1CC9D5F5-1646-4367-83EC-C6204BA1C1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f19e16b2da08da39bd24e848885c4bcf6e78130e","datavalue":{"value":{"entity-type":"item","numeric-id":4104096,"id":"Q4104096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580178$1A63CC1A-4179-40F4-9CFE-2350176B44E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"638adb854115716a2b97692e9daa5d82e6631169","datavalue":{"value":{"entity-type":"item","numeric-id":2450073,"id":"Q2450073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580178$0E09A4D3-1D8F-484F-8D5E-9CC1A53C8928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc75f354ee2aceb21cd79f10f4aa200f25ed6403","datavalue":{"value":{"entity-type":"item","numeric-id":4771119,"id":"Q4771119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580178$C1B648EF-F6DC-4532-9BBE-808EDE44F432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a1aa11e1071021f13e970a7394c80d46adbc3de","datavalue":{"value":{"entity-type":"item","numeric-id":1237115,"id":"Q1237115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580178$A08809CA-146D-428E-AC81-C1F61FAE459C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9553d615aec44c7e078dbb0e3c1575b35f88a229","datavalue":{"value":{"entity-type":"item","numeric-id":5670749,"id":"Q5670749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580178$6265612C-27A6-4DA8-B1C7-2630CA8D74A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dd50e97f8f35c3e01abead2e13c5db6ac8cb3ec","datavalue":{"value":{"entity-type":"item","numeric-id":2058618,"id":"Q2058618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580178$E409606A-8238-41C1-931B-F4E70F90F373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a83981885af7ba4b45861eaba52476980115d71","datavalue":{"value":{"entity-type":"item","numeric-id":3273321,"id":"Q3273321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580178$E9C4BA0D-517C-4E97-937D-CF9A617F445F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cc76a9b06b2039f53a45583542b779586540bd6","datavalue":{"value":{"entity-type":"item","numeric-id":5569176,"id":"Q5569176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580178$AA4FFD62-F7D6-4A7C-8403-9A0865069752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a72980820b1dac768e4bd69ac33f853e373254a","datavalue":{"value":{"entity-type":"item","numeric-id":2734153,"id":"Q2734153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580178$C7FA53B7-0340-49C1-8607-DEC02253762E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2adb41cdf4f3e49e57a2bdf870c8d00d5897da1","datavalue":{"value":{"entity-type":"item","numeric-id":3810836,"id":"Q3810836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580178$538F7C78-C700-4409-B150-D74B888393E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"414a8da8e3f49dd259f5319eb52852cbcc99d052","datavalue":{"value":{"entity-type":"item","numeric-id":768811,"id":"Q768811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580178$ED24803D-0657-4EEE-9A15-831DEB76D946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"379ad8ba66b7e1eba9e49d3a87d8cd19d7fae1a6","datavalue":{"value":{"entity-type":"item","numeric-id":1820239,"id":"Q1820239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6580178$672B5FC4-5F49-4607-BB1C-C5E84E565826","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"838e53a2721a2c1beff2b9edb7638594cbd598e6","datavalue":{"value":"10.1142/S0219498825500501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6580178$B3F241A4-6880-4FC9-9E2C-AACB92F0BCE1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9570dab9e88285888dafd790c1378e6edb5e2b0","datavalue":{"value":{"entity-type":"item","numeric-id":2450073,"id":"Q2450073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f337b1f46094b4968c894a41004e30a234a0bd8a","datavalue":{"value":{"amount":"+0.819534182548523","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":"Q6580178$0919A176-BF63-47B2-A249-19901B7423E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebc75b37b4c31636eb92abe983f4a6d22fe12bd6","datavalue":{"value":{"entity-type":"item","numeric-id":1820239,"id":"Q1820239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"868f2505d1aaaceda6c87235249a405ea7e66236","datavalue":{"value":{"amount":"+0.814045250415802","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":"Q6580178$4289B924-254E-40AE-9904-AFBA549C0646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bef46a6b3540079da818be4d36d4d411ffbeaa96","datavalue":{"value":{"entity-type":"item","numeric-id":4771119,"id":"Q4771119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccf0a7b463e84b06c69fa73e645b7716dec52fb4","datavalue":{"value":{"amount":"+0.7992371916770935","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":"Q6580178$523AEA23-48E2-4EB3-8C37-8AEDF667639C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7275296d7de18cad01dd3a67cba36a4f3ce61d4b","datavalue":{"value":{"entity-type":"item","numeric-id":5113153,"id":"Q5113153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9ca74545a5e34ddf18db55ae29123add154b4cd","datavalue":{"value":{"amount":"+0.7795447111129761","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":"Q6580178$B16E7C57-C1A4-4F08-82D2-C5E37B4E5A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcbaa8bdf0bce36ba36b3b4045141eb2691ec586","datavalue":{"value":{"entity-type":"item","numeric-id":2873307,"id":"Q2873307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c270ba1698f4aa302f83c7a85451b4b1077a66a","datavalue":{"value":{"amount":"+0.7781059145927429","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":"Q6580178$0319C905-1BF6-4A21-8351-FDF2F54256D1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6580178","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6580178"}}}}}