{"entities":{"Q2066404":{"pageid":2077146,"ns":120,"title":"Item:Q2066404","lastrevid":54199790,"modified":"2026-01-26T11:11:30Z","type":"item","id":"Q2066404","labels":{"en":{"language":"en","value":"On the density of irreducible polynomials which generate \\(k\\)-free polynomials over function fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7457367"}},"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":"Q2066404$FA471CD6-FB49-49CE-BEDA-636DAD7F43A0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76d916b8d0218b536a932257a32f5220e5740e9d","datavalue":{"value":{"text":"On the density of irreducible polynomials which generate \\(k\\)-free polynomials over function fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2066404$2643D9D8-A2E3-485B-BF12-11066D4CA676","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37197987a2203f4ba19dffcf98e1f7c416e7243a","datavalue":{"value":"1486.11152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2066404$2F393C17-5A50-437A-8DB7-6FBDA23BCA98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c5746b6c6960e50b93b47900a5b3f88dbcf2b0c","datavalue":{"value":{"entity-type":"item","numeric-id":180527,"id":"Q180527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2066404$B0592CFE-A4AF-479A-BF64-BD2B475D03E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fd9d6ed0fcd0b85852acd14e3a33fada6235064","datavalue":{"value":{"entity-type":"item","numeric-id":1020015,"id":"Q1020015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2066404$53A28B96-EA6E-4039-A298-7060165786B5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33122a93dfb64681be222c65bf841053fa198b88","datavalue":{"value":{"entity-type":"item","numeric-id":165874,"id":"Q165874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2066404$435DFA5B-7B16-4A93-B4D4-ABE6EAEA83C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e52a94755065d4e639d98a1180b65f5523a1e27","datavalue":{"value":{"time":"+2022-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2066404$73613FA7-0126-4297-BFBD-A1CE8568B26C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"204b7939c38026af4e8fe221554fc9b6b7c22eea","datavalue":{"value":"\\textit{L. Mirsky} [Am. Math. Mon. 56, 17--19 (1949; Zbl 0033.16203)] proved that every sufficiently large number can be written as a sum of a prime and a \\(k\\)-free number for any given \\(k \\geq 2\\). In fact, he derived an asymptotic formula for the number of such representations.  \\textit{W.-C. Yao} [Finite Fields Appl. 7, No. 3, 441--448 (2001; Zbl 0977.11052)] attempted to show that an analogous result holds in the case of function fields over finite fields. In the paper under review, the authors correct an error in Yao's paper and establish the analogue in the function field case.  Let \\(\\mathbb{F}_q\\) be the finite field of order \\(q\\), and let \\(M\\in \\mathbb{F}_q[t]\\) be a fixed polynomial. For \\(k\\geq 2\\), a polynomial is \\(k\\)-free if it is not divisible by the \\(k\\)th power of any irreducible polynomial. In the paper under review, the authors compute the asymptotic density of irreducible polynomials \\(P\\) for which \\(P +M\\) is \\(k\\)-free.  Let  \\[U_k(M,d)=\\{P\\,\\in \\,\\mathscr{P}_{+}\\mid \\deg P = d,\\ P+M\\text{ is }k\\text{-free}\\},\\]  where \\(\\mathscr{P}_{+}\\) denotes the set of all monic irreducible polynomials.  \\vskip 0.3cm  The authors prove the following theorem.  \\vskip 0.3cm  \\textbf{Theorem 1}  \\vskip 0.3cm  Let \\(M\\in \\mathbb{F}_q[t]\\) be a fixed polynomial, and let \\(k\\geq 2\\) be an integer. If \\(d> \\deg M\\), then \\[\\#U_k(M,d)=\\displaystyle\\frac{q^d}{d}\\,\\prod_{\\substack{P\\nmid M \\\\ P\\in \\mathscr{P}_{+}}}\\,\\,\\Big(1-\\displaystyle\\frac{1}{|P|^k-|P|^{k-1}}\\Big)+ \\mathcal{O}\\Big(q^{\\frac{d}{2}+\\frac{d+2(1-k)}{2k}}\\Big).\\]  The main result in the paper is given in Theorem 2, which can be directly obtained from Theorem 1 and the prime number theorem for \\(\\mathbb{F}_q[t]\\).  \\vskip 0.3cm  \\textbf{Theorem 2}  \\vskip 0.3cm  Let \\(M\\in \\mathbb{F}_q[t]\\) be a fixed polynomial, and let \\(k\\geq 2\\) be an integer. Let \\(U_k(M,d)\\) be the set defined above. Then we have  \\[\\lim_{d\\to \\infty}\\displaystyle\\frac{\\#U_k(M,d)}{\\#\\{P\\in\\mathscr{P}_{+}\\mid \\deg P = d\\}} = \\prod_{\\substack{P\\nmid\\,M \\\\ P\\in \\mathscr{P}_{+}}}\\,\\,\\Big(1-\\displaystyle\\frac{1}{|P|^k-|P|^{k-1}}\\Big),\\]  where \\(|P|=q^{\\deg P}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2066404$57C1F631-4B44-46C8-B94A-E45F8B07D350","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8729a720d89df5fb649be376431eee00faf0333e","datavalue":{"value":{"entity-type":"item","numeric-id":344131,"id":"Q344131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2066404$7D8A096D-9B34-49A5-9E4C-FD78CBAE6A6E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8478adcfdb0e29037633578ba7f4fe0ec460df6a","datavalue":{"value":"11T55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2066404$8F9B7CC4-6007-488F-9D19-C75E41B24A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005488ac12471348bfecb95099a57fd4da722ac","datavalue":{"value":"11T06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2066404$101144EC-45D3-4E33-B0B3-6342C2CAA22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f5492126398e1ddf0e8e00d7285568c890b3f47","datavalue":{"value":"11A51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2066404$9B058C03-4D0C-441A-B5A2-70CCDAB0F3A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cb6dd29810c6f0a0d431b587c3b21cd69df7448a","datavalue":{"value":"7457367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2066404$CA939DF3-3D55-4A0C-A384-4199D1E5784B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"065363a5e49671c380f2da0016ec4ca91dee7f81","datavalue":{"value":"\\(k\\)-free polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q2066404$6A087ACF-3EBA-4689-A399-E5BE27B85638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac07c7d6c5cdc2dbc4590f3ecbac0ebb59196bea","datavalue":{"value":"finite fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q2066404$4C759D99-C4B4-4582-8D19-6467429ECA04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"831ea6c4184464373f99f3ef6c81298087d4dce0","datavalue":{"value":"congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2066404$A4650D66-6E4D-4636-8266-85526F25B4E1","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":"Q2066404$768321E9-41F3-4506-B4CF-F57BD74E3E8E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cdce100ee644c39ec0a1df4e02ef73bbb0df9b65","datavalue":{"value":"https://doi.org/10.1016/j.ffa.2021.101979","type":"string"},"datatype":"url"},"type":"statement","id":"Q2066404$71898A3E-3B53-41E4-80C4-DCA59740F657","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67c97c072780dcf37fb95d07902c25ec42112f3d","datavalue":{"value":"W4200010336","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2066404$12F4E407-D8A9-497C-A9D1-72BF1DAE7369","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c712fa45f670755b53b5a333679f6505703b4b","datavalue":{"value":{"entity-type":"item","numeric-id":4479818,"id":"Q4479818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2066404$92FD2EEF-FC9A-49C1-9E91-FEBAB6D74079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"293f4792e10db95cf4050d1e6a8dc01b72107d00","datavalue":{"value":{"entity-type":"item","numeric-id":4001344,"id":"Q4001344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2066404$3A0F3071-A13E-4F43-8ADC-30BF6C6C4909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65d7dad6c78daa893a4c94800f0c5b1da6b74b62","datavalue":{"value":{"entity-type":"item","numeric-id":5783669,"id":"Q5783669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2066404$5DB27ADD-A36D-4961-B612-0A87DEBEADB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e2e2979b501cb5234f668b4056629a002ed0c8b","datavalue":{"value":{"entity-type":"item","numeric-id":5789231,"id":"Q5789231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2066404$95099B47-7539-4402-9FB6-456BECAC537C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98ba551cc5d813d6cfacde17703c9bc9c8511be6","datavalue":{"value":{"entity-type":"item","numeric-id":5789232,"id":"Q5789232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2066404$094FAD64-92FF-41AD-85FE-F8FE7BF2A9C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac36402c4572cac261a415199b0086922b98b759","datavalue":{"value":{"entity-type":"item","numeric-id":4902737,"id":"Q4902737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2066404$ED6140EA-63B3-499C-A381-9BF655A64BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fcb81bcc830274100bb0a9570d356ef440b763e","datavalue":{"value":{"entity-type":"item","numeric-id":2776773,"id":"Q2776773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2066404$4288423B-4ECA-40D4-A7EE-A2D167D0B9F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74b072e9fb4215d08d2178db776b256ba0fe0abe","datavalue":{"value":{"entity-type":"item","numeric-id":5942483,"id":"Q5942483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2066404$B1806512-2102-4E2A-9301-C2BADB5517C8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0fa502db45022dfb12ca95715de864a9444f5fa7","datavalue":{"value":"10.1016/J.FFA.2021.101979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2066404$7F226B7A-3553-428F-922A-34B4FDB0EB8C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22146a061663b45fb7e351c2b9189952af83d8b3","datavalue":{"value":{"entity-type":"item","numeric-id":5942483,"id":"Q5942483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"800076452c093bb655e6f5a3b31c216f72a44c65","datavalue":{"value":{"amount":"+0.8266100883483887","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":"Q2066404$B6D115D3-26A9-4CFD-8113-A2F8D235B7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"569d909f0444043d4c315892ac0288ed2e280a75","datavalue":{"value":{"entity-type":"item","numeric-id":3195464,"id":"Q3195464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"591dd4ef019a4d485eaf57d7d7cdf298caf179f3","datavalue":{"value":{"amount":"+0.8232179284095764","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":"Q2066404$BDAEDEE9-36B8-455C-81FE-AD8633E70E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a66a8d96ca804f1db043e4b9942fad62ff7551e","datavalue":{"value":{"entity-type":"item","numeric-id":4914427,"id":"Q4914427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af43e4dfd4e1867fd982785bce04df2d94f9d5f6","datavalue":{"value":{"amount":"+0.8067012429237366","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":"Q2066404$B37F128C-7811-41E4-A08E-019CC77CF3D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"093bf8adb6842cd6c430d263f8ce05eb42854ed1","datavalue":{"value":{"entity-type":"item","numeric-id":5245492,"id":"Q5245492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"611f8f781922c8606a8cdb844f60390fe004dfbf","datavalue":{"value":{"amount":"+0.8030648231506348","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":"Q2066404$FFA6AF2A-FAB0-44A7-BDD3-FACF87286597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"136f46b46899433562fd0aeb8a99bc24e46dacff","datavalue":{"value":{"entity-type":"item","numeric-id":633178,"id":"Q633178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3db20bea3270c900f858215b6470d93b43b130a9","datavalue":{"value":{"amount":"+0.7966223359107971","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":"Q2066404$037A14F5-68F7-4318-B59C-1F4BEFCAE480","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2066404","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2066404"}}}}}