{"entities":{"Q6971310":{"pageid":21330921,"ns":120,"title":"Item:Q6971310","lastrevid":84045959,"modified":"2026-05-08T18:03:23Z","type":"item","id":"Q6971310","labels":{"en":{"language":"en","value":"Computing factors of cyclotomic polynomials over finite fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8053028"}},"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":"Q6971310$C2C0936E-D88E-4A28-BEBD-8B8F5E035E22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a3a909e875f56fb9bb097ee4a4dba7aee0efd3b","datavalue":{"value":{"text":"Computing factors of cyclotomic polynomials over finite fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6971310$CBE166AA-634E-41A5-B053-363CB709EB84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c429234126a50d35dff53b814bd02c9526230cb","datavalue":{"value":"1569.11169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6971310$5CC0D2DF-0F8B-46F8-BB75-66C2BA847F76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4cf93f2b0b228507332a2701df6d6dd7ff91a4f4","datavalue":{"value":"10.1007/S10801-025-01404-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6971310$D2EF8F2C-D693-43F8-92FF-453882BB6090","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"affa6fa9bc123226f5611d034a03f20f071c3696","datavalue":{"value":{"entity-type":"item","numeric-id":6971309,"id":"Q6971309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971310$68E97894-28A0-4103-82F9-08A1E0D07A86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8789b20473d0061ce45947c55165953bf5cf9fb7","datavalue":{"value":{"entity-type":"item","numeric-id":2048388,"id":"Q2048388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971310$E993A901-005E-4223-9C98-3C10825E9F12","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b5e010d4525286f928f56a14a06a3a3ef373d646","datavalue":{"value":{"entity-type":"item","numeric-id":162910,"id":"Q162910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971310$ED90B558-567D-4A93-BA9A-502A7CB9DF0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70a10194729b7a0d4755eb03f11dd5ef97fac1f3","datavalue":{"value":{"time":"+2025-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6971310$A3FD7207-061D-43D5-9A5E-A870B593679E","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"f4e7983cb26f01e5076e41950db863c37ac8bccb","datavalue":{"value":"The class of cyclotomic polynomials, introduced by Carl Friedrich Gauss, is a fascinating topic in modern abstract algebra. In this paper, the authors explore the factorisation of cyclotomic polynomials under specific conditions over \\(\\mathbb{F}_{q}\\) where \\(q\\) is a prime power. \\N\\NFor an integer \\(n > 1\\) and \\(p\\) is a prime number, we denote \\(v_{p}(n)\\) and \\(rad(n)\\) as follows: \\N\\N\\(v_{p}(n) := max\\{k \\in Z : p^{k}|n\\}\\) and \\(rad(n) :=\\prod _{p|n} p\\).\\N\\NIf \\(\\alpha\\) is a primitive \\(n\\)-th root of unity in some extension field of \\(\\mathbb{F}_{q}\\), then the \\(n\\)-th cyclotomic polynomial \\(\\Phi _{n}(x)\\) is given by: \\N\\[\\N\\Phi _{n}(x) = \\prod_{\\substack{1\\leq k\\leq n \\\\\\N\\gcd(k,n)=1} } (x-\\alpha ^{k}) \\N\\] \\NThe degree of \\(\\Phi _{n}(x)\\) is \\(\\phi (n)\\). We take \\(2\\nmid q\\) and \\(l= q +1\\), let \\(\\zeta\\) denote a primitive-the root of unity in \\( \\mathbb{F}_{q^{2}} \\diagdown \\mathbb{F}_{q}\\). For any divisor \\(d\\) of \\( \\zeta_{d} = \\zeta_{l}^{\\frac{l}{d}} \\) is a primitive \\(d\\)-th root of unity in \\(\\mathbb{F}^{*} _{q^{2}}\\). For each \\(\\theta \\leq j \\leq d -1\\), we define two elements in \\(\\mathbb{F}^{*} _{q^{2}}\\) \\(\\delta _{j}(d) = \\zeta _{j} ^{d} +\\zeta ^{qj} _{ d}\\) and \\(\\theta _{j}(d) = \\zeta _{j} ^{d} -\\zeta ^{qj} _{ d}\\).\\N\\NLet \\(R(m)\\) denote the set of units in \\(\\mathbb{Z}^{*}_{m}\\) and \\(R^{*}(m) := \\{ j \\in R(m): 1\\leq j \\leq [\\frac{m-1}{2}]\\}.\\)\\N\\NThe main result is as follows: \\N\\NTheorem. Let \\(n\\) be any integer such that \\(v_{2}(n) \\geq 2\\) and \\(rad(n)|(q+1)\\) and let \\(n = 2^{v_{2}(n)}n_{1}\\) and \\(m =2^{v_{2}(m)}m_{1}\\) with \\(m_{1} = gcd(n_{1},q+1)\\) is odd. Let \\(s_{1}= v_{2}(q-1),s_{2}=v_{2}(q^{2}-1)\\) and \\(s=max\\{s_{1},s_{2}-s_{1}\\}\\). For a fixed \\(0 \\leq k \\leq s_{2}\\), let \\(\\beta_{2^{k}}\\) be a primitive \\(2^{k}\\)-th root of unity in \\(\\mathbb{F}^{*} _{q^{2}}\\) with \\(\\beta _{1} = 1\\). For any \\(k \\geq r \\geq 1\\), \\(\\beta ^{2^{r}}_{2^{k} }= \\beta _{2^{k-r}}\\).Then the following holds:\\N\\N1. If \\( 2\\leq v_{2}(n)\\leq s\\), the irreducible factorisation of \\(\\Phi _{n}(x)\\) into the product of \\(2^{v_{2}(n)-2}\\phi(m_{1})\\) factors over \\(\\mathbb{F}_{q}\\) is given by:\\N\\[\\N\\Phi _{n}(x)= \\prod^{2^{v_{2}(n)-1}}_{ i=1} \\prod_{ j\\in R^{*}(m_{1})} \\varphi _{j}^{(v_{2}(n),i)} (x^{\\frac{n_{1}}{m_{1}}}),\\N\\]\\Nwhere \\(\\varphi^{(v_{2}(n),i)}_{j} (x)=x^{2}-\\delta _{j}(v_{2}(n),i)x+\\beta ^{(q+1)(2i-1)} _{2^{v_{2}(n)}}\\) for any \\(1\\leq i\\leq 2^{v_{2}(n)-1}\\) and \\(j\\in R^{*}(m_{1})\\). \\N\\N2. \\(2 \\leq s < v_{2}(n)\\), the irreducible factorisation of \\(\\Phi _{n}(x)\\) into the product of \\( 2^{s-1}\\phi(m_{1})\\) factors over \\(\\mathbb{F}_{q}\\) is given by: \\N\\begin{align*}\\N\\Phi _{n}(x)= \\prod ^{2^{s-1}} _{i=1} \\prod _{j\\in R^{*}(m1)} \\varphi^{(s+1,i)} _{j} (x^{2^{v_{2}(n)-s-1}(\\frac{n_{1}}{m_{1}})}) \\\\\\N\\varphi^{(s+1,i)} _{j} (-x^{2^{v_{2}(n)-s-1}(\\frac{n_{1}}{m_{1}})}),\\N\\end{align*}\\Nwhere \\(\\varphi ^{(s+1,i)} _{j} (x)=x^{2}-\\delta _{j}(s+1,i)x+\\beta ^{(q+1)(2i-1)} _{2^{s+1}}\\) for any \\(1\\leq i\\leq 2^{s-1}\\) and \\(j\\in R^{*}(m_{1})\\). \\N\\NThe article discusses two examples to illustrate the main result clearly. Many of the results in this article can be extended to a broad class of rings known as Halidon rings, as \\(\\mathbb{F}_{q}\\) qualifies as a Halidon ring with a maximum index of \\(q-1\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q6971310$92B60F1F-19C8-4CEA-9CEA-15DF1CB6513A","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"eff0cc2259f5fefcb820ca5f4d207c63549574e4","datavalue":{"value":{"entity-type":"item","numeric-id":829841,"id":"Q829841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971310$8126BE02-2166-407C-A0AC-8B0FC42411DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9cd306ed8a70b5d252bc0273e5151476bf9e23bc","datavalue":{"value":"11T22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6971310$B02BDD06-DB77-43F5-827F-36E357EDEFE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005488ac12471348bfecb95099a57fd4da722ac","datavalue":{"value":"11T06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6971310$C9A24A18-B75C-45A3-AFC4-5FE1C0F9C1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bc3f4b62b406982652a23d68d9c7868a54f1c6","datavalue":{"value":"11B37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6971310$F8617C94-4B2C-4DB1-9E72-158A624B780D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab8eef56e70f4344928a6ab2df1e044698959c62","datavalue":{"value":"11B83","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6971310$74783268-4374-4BFB-B9BE-79FD728AF62B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a7187f17955c4eebbcf834b56e72a628e6b44f5","datavalue":{"value":"8053028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6971310$D657F266-C027-45E1-A2CA-C3ACE2CAC475","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9df7c100c184314a10ca4be5b6688af5bb8172e","datavalue":{"value":"linear recurring sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q6971310$DD8B96DF-AD58-4A80-95AA-5DCF3327F0F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d25a84c631cc28ad210decb325d2d38aad656d4","datavalue":{"value":"cyclotomic polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q6971310$338F819A-0A63-44AF-803C-209AD029E238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbd2cd2553004f2b9dad1d2052e59725fdfe9a4d","datavalue":{"value":"irreducible polynomials over finite fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q6971310$50A38F6D-2E7B-41E9-8C8C-B6A76F9BCEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2de50c1ae54fbee0596a4048da1deb58cc6c7159","datavalue":{"value":"arithmetic in finite fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q6971310$47D22247-0C01-4DF5-A928-27F62EF33FF2","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":"Q6971310$10106023-40F2-45BD-93EE-922A7D12D075","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2834257a7c3f2942722f8106bc8ce6e8ad6ae1d5","datavalue":{"value":{"entity-type":"item","numeric-id":2366272,"id":"Q2366272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971310$3DD649D8-E6FC-4724-A504-1283184345DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6c91374586c9fc18814930d9877ae034380d427","datavalue":{"value":{"entity-type":"item","numeric-id":955204,"id":"Q955204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971310$EA378E09-6B2D-4407-82F3-C87E602FF121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7c606ba68367559f38af93fc384591a62f159c6","datavalue":{"value":{"entity-type":"item","numeric-id":5426074,"id":"Q5426074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971310$F3990948-BBAF-4225-80A7-EFE80A39FCB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfa752f21abe1956878804315b2ca492c271c9c7","datavalue":{"value":{"entity-type":"item","numeric-id":2370635,"id":"Q2370635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971310$73937540-29EF-4F8B-A704-F6B36CC4FFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52fb796594aa32d99f4e818726f7bf89a9fc8d31","datavalue":{"value":{"entity-type":"item","numeric-id":3765876,"id":"Q3765876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971310$9CE7D7D7-731B-4267-9810-EEA0712A97ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82c4dea282567b79df6e5ac531c969eadbee5194","datavalue":{"value":{"entity-type":"item","numeric-id":499673,"id":"Q499673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971310$B0354E03-F2A2-4688-9036-9B5C34B1F6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6740b4f1570dd66307949c77657bf101c8dc008","datavalue":{"value":{"entity-type":"item","numeric-id":1383512,"id":"Q1383512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971310$0C10EA5B-64DC-4133-BC58-E376FB4A45C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cba5a128a8558d4541e2d2360a6ce696163b4551","datavalue":{"value":{"entity-type":"item","numeric-id":3375589,"id":"Q3375589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971310$5AE8CFA7-FCB0-40C4-8CB6-8EDFB8E3CF49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"734aa385dcd322771c4c009e7a9dc7b3f365fb33","datavalue":{"value":{"entity-type":"item","numeric-id":2958466,"id":"Q2958466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971310$A9133081-1B25-470D-925B-3936105A97A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5217bbbaaf96e4f40bfdb0e94ba44c129676280d","datavalue":{"value":{"entity-type":"item","numeric-id":5120253,"id":"Q5120253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971310$28DA728C-4E42-4593-95D8-B624CD35FA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"998722f55fecf3f4151fa293ce9749d03f2cd5a5","datavalue":{"value":{"entity-type":"item","numeric-id":7005973,"id":"Q7005973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971310$3B49A4CE-E316-4FE8-A63D-EFD43B256614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2063b0643739178ff8e55e951e017b8bc77d87d9","datavalue":{"value":{"entity-type":"item","numeric-id":6584731,"id":"Q6584731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971310$34620ADD-0404-4CDC-8CFA-89E095A4F864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a0376b3fb1744642dce5e50f6d80badf8c31b78","datavalue":{"value":{"entity-type":"item","numeric-id":2391671,"id":"Q2391671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971310$F8AC862F-BB90-4021-8C06-057F4B9057AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb009f569fc90aa33ec6ac46969edd2a01c4fb7c","datavalue":{"value":{"entity-type":"item","numeric-id":664390,"id":"Q664390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971310$5478858F-FB7B-44F4-BC17-03CCF899BED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe7a69d3e6bc16bb1fb985d156b85ff48d58f213","datavalue":{"value":{"entity-type":"item","numeric-id":439091,"id":"Q439091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971310$854F6B17-1973-433F-8B65-8D043902926C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65ee6e3944915e9ba0fedd056a5547a1585c5f40","datavalue":{"value":{"entity-type":"item","numeric-id":517278,"id":"Q517278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6971310$E2015653-262F-47F3-9CCA-3DD5B074416B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Computing factors of cyclotomic polynomials over finite fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Computing_factors_of_cyclotomic_polynomials_over_finite_fields"}}}}}