{"entities":{"Q5948351":{"pageid":8125153,"ns":120,"title":"Item:Q5948351","lastrevid":97700045,"modified":"2026-06-05T15:15:23Z","type":"item","id":"Q5948351","labels":{"en":{"language":"en","value":"On divisibility properties of integers of the form \\(ab+1\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1668875"}},"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":"Q5948351$2A0998F6-6338-4BD8-87C1-4A332932C34D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16831b584c12a531feab226f8fa5662293bf8d35","datavalue":{"value":{"text":"On divisibility properties of integers of the form \\(ab+1\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5948351$9C1DE087-FE16-40F5-AAB9-69FAECB4BFF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fdf116373f2bf43ae95e699e42b0addcb90df647","datavalue":{"value":"0980.11039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5948351$4AD48D41-4992-4FC8-B6E2-A82897A1789F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9729fedc0b3ac8999dbe0dda6cbb9a1864bd3062","datavalue":{"value":"10.1023/A:1015229531017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5948351$22253320-6360-4C00-B385-9730F1688DEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"06f3bc845549649de9f51c98d4930123765c2014","datavalue":{"value":{"entity-type":"item","numeric-id":213647,"id":"Q213647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5948351$F2312AC2-35FE-4E68-89B7-0D3945D0BEC0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"615950119797f35f49728e278e9727b73c5c7f8e","datavalue":{"value":{"entity-type":"item","numeric-id":168620,"id":"Q168620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5948351$00D78BE0-1906-4053-9C52-6B3E4A7DB066","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32b619a966303d6fa593d9bfbe46a08b64a9a63d","datavalue":{"value":{"time":"+2001-11-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":"Q5948351$D4C6D240-6063-422E-B610-307DEA3E5B29","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d8b237413ed47d247c101407ce100290d22e53ed","datavalue":{"value":"\\textit{P. Erd\u0151s} and \\textit{A. S\u00e1rk\u00f6zy} [Acta Math. Hung. 50, 117--122 (1987; Zbl 0625.10038)] asked how large \\(|\\mathcal{A}|\\) with \\({\\mathcal A} \\subseteq \\{1,2,\\cdots, N\\}\\) can be if \\(a+a'\\) is square-free for all \\(a,a' \\in {\\mathcal A}\\). They proved that there exist such sets \\({\\mathcal A}\\) with \\(|{\\mathcal{A}}|\\gg \\log N\\). As an upper bound, they obtained \\(|{\\mathcal{A}}|\\ll N^{3/4}\\log N\\).    In the paper under review, the author asks related questions about sums of two sets \\({\\mathcal A,\\mathcal B}\\) and about the multiplicative analogue.   Theorem 1: If \\({\\mathcal A,\\mathcal B}\\subseteq \\{1,2,\\cdots, N\\}\\) and all \\(ab+1\\) are square-free for all \\(a \\in {\\mathcal A}, b \\in {\\mathcal B}\\), then \\(|{\\mathcal A}|\\cdot |{\\mathcal B}|\\ll N^{3/2} (\\log N)^2\\). The proof makes use of an adaptation of the large sieve method due to \\textit{A. S\u00e1rk\u00f6zy} [Acta Math. Hung. 60, 271--282 (1992; Zbl 0772.11037)].   Theorem 2: There exist sets \\({\\mathcal A, \\mathcal B}\\) with \\(a+b\\) square-free or \\(ab+1\\) square-free, respectively, with \\(|{\\mathcal A}|= |{\\mathcal B}|\\gg (\\log N)^2\\).   Theorem 3: There exist sets \\({\\mathcal A}\\) with \\(a+a'\\) square-free or \\(aa'+1\\) square-free, respectively, with \\(|{\\mathcal A}|\\gg \\log N\\).   The proofs of these two theorems are a very nice application of results from extremal graph theory (Tur\u00e1n's graph theorem and the K\u0151vari-S\u00f3s-Tur\u00e1n theorem). In Theorems 2 and 3 one can refine the argument when making use of \\(\\sum_{p>y,\\quad p \\text{ prime }} {1\\over p^2} \\sim {1\\over y \\log y}\\). This improves the result by a factor of \\(\\log \\log N\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q5948351$79F99A03-7482-4C87-9DF7-3E42F72D5B12","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"93a00284299599b40253067bc98192fe576e1cdd","datavalue":{"value":{"entity-type":"item","numeric-id":170888,"id":"Q170888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5948351$0B5F7DFB-D3ED-45EC-A900-A231D392F2F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c2eb42a01c6d1209538ab1ef910c81f1a87b7ac","datavalue":{"value":"11N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5948351$FA036638-9D6E-425B-BAF6-9872FA480835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"603d3746c359057038ec7747e49685ccbbbdd347","datavalue":{"value":"11N36","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5948351$3BC5919C-26EB-424C-93A0-9EE250719CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5a3bb76dbd41580d9287ece5137de80ddf22202f","datavalue":{"value":"05C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5948351$46CF123A-395B-4B1D-9ABA-9EEDF1A75CA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40ce316cf7b2dace47cfa8b3c154fb69ac37c6b7","datavalue":{"value":"1668875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5948351$A6C7BDD9-DB75-477F-9C15-2127D5933D44","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d11a0931839b99bc49ff93a079d77103ef794763","datavalue":{"value":"application of extremal graph theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5948351$76A2A817-0A6B-406A-8318-0276D1CFBFAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9b194623b94c68e817528a2366db86f33f73962","datavalue":{"value":"divisibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q5948351$9DB7A95C-78A0-44FF-945A-926C0D302858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa2d873b5c630eebb5cb3a5165e870df68b1f264","datavalue":{"value":"product of sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5948351$BEFD3231-FDD1-451D-99DD-0BE814BB6D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffdfc2f7960a986a506a6ec4c3248da576a10e4b","datavalue":{"value":"square-free elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q5948351$FB330A2A-6056-4CC4-A1DE-D8DD1264DCB0","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":"Q5948351$2F048ED8-454F-405C-88DA-9CA86579A2DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7166b2606e1c08216ce0c6aef905141d2ab6526c","datavalue":{"value":"https://doi.org/10.1023/a:1015229531017","type":"string"},"datatype":"url"},"type":"statement","id":"Q5948351$0225D59E-AD9E-49F6-AC06-A1A7180BAE74","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9231bc67f839e5e89e285e256913e8138b8f8075","datavalue":{"value":"W1573784001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5948351$3B5D0D1A-4D07-4C55-8640-5F9A0D2AD919","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc3651d55b90251c177361b09f86ba7b6134ec99","datavalue":{"value":{"entity-type":"item","numeric-id":579312,"id":"Q579312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37ebf12c190798480429833cec45e805d0de9848","datavalue":{"value":{"amount":"+0.8306385","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":"Q5948351$45AF4823-91D2-4375-A059-73DB319772A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"095ddcb4538ede291ea83a1f6950a45ee4a4e6a4","datavalue":{"value":{"entity-type":"item","numeric-id":4674645,"id":"Q4674645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d099a0f8b758ff53777cdca3724eb53a32c6ea83","datavalue":{"value":{"amount":"+0.7756248","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":"Q5948351$055A081E-768A-4B63-A682-F5DB60889D93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78ca3bc552967e34253bf4a8730fa4bf3a15c426","datavalue":{"value":{"entity-type":"item","numeric-id":5905654,"id":"Q5905654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4842f36490b0c70803be86f8dbe2158241488c2a","datavalue":{"value":{"amount":"+0.7535398","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":"Q5948351$97104F89-34A0-430B-B817-FC02DA63437E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7db7a98338dc860bca5f6bbf62f8228721a8fb9e","datavalue":{"value":{"entity-type":"item","numeric-id":3561041,"id":"Q3561041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8da9b816527f48138d570c0b1d0d9b3b8daeee4c","datavalue":{"value":{"amount":"+0.73670787","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":"Q5948351$334AFC4A-DA47-4CDF-9A1F-E37032F9E447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64953662ca717f1ddae00654226938c7122a9eef","datavalue":{"value":{"entity-type":"item","numeric-id":2566606,"id":"Q2566606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b8e77b0d9021ef4c090201c4a2eb4761d3e2e8a","datavalue":{"value":{"amount":"+0.7291775","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":"Q5948351$179F1559-BE7F-4217-B232-299C1384E219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed98b890ef7ed03e950e64735b4187903e90b720","datavalue":{"value":{"entity-type":"item","numeric-id":3737508,"id":"Q3737508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5846fd6aec674ee2af84f86f5cd3789e9d5cf4dd","datavalue":{"value":{"amount":"+0.71894526","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":"Q5948351$FBE3AC74-F436-4885-9877-52D839020A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77cde7a6aeacf2be48385e1c90f6d03b9108e708","datavalue":{"value":{"entity-type":"item","numeric-id":4291376,"id":"Q4291376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9e4e7af278726678a0a7174da07a50b47c3e19e","datavalue":{"value":{"amount":"+0.71588755","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":"Q5948351$A8B6BECA-BB89-47EA-AB0B-084D3A8832A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"055d7d732052f0dc154dcd0ab69d2a96e42a5800","datavalue":{"value":{"entity-type":"item","numeric-id":3807323,"id":"Q3807323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ed123dc5b27921b974898dbd50f294d9a14da29","datavalue":{"value":{"amount":"+0.71429425","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":"Q5948351$DFCD73C2-2E59-40D9-BC50-E9329140F161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7b754a10c7f7225b6a82669485713458734aabd","datavalue":{"value":{"entity-type":"item","numeric-id":873769,"id":"Q873769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b443f07dcf86fe609ea6e400645431592f3a17d9","datavalue":{"value":{"amount":"+0.7116394","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":"Q5948351$854EF46C-5527-4308-BF9F-0BD96EF48ED7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9988fbaead345fb4153a352d5508e044df222e5","datavalue":{"value":{"entity-type":"item","numeric-id":911638,"id":"Q911638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b677fab6d414323d9fa93e525d2c162546adfa58","datavalue":{"value":{"amount":"+0.70859045","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":"Q5948351$CA270544-A6CA-439C-B25C-462AA3996CE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On divisibility properties of integers of the form \\(ab+1\\)","badges":[]}}}}}