{"entities":{"Q1994946":{"pageid":2005688,"ns":120,"title":"Item:Q1994946","lastrevid":78337973,"modified":"2026-05-06T11:21:16Z","type":"item","id":"Q1994946","labels":{"en":{"language":"en","value":"A structure theorem for finite fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7312714"}},"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":"Q1994946$163CC7D5-D9A5-45AA-AE88-F8CBB7CC3090","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f88cd48f86dd2a9179a66fe34ffe74a45002844","datavalue":{"value":{"text":"A structure theorem for finite fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1994946$38D45F89-78F1-4B0D-85C5-7DF2B43025BE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c748f9a12e29f12ba3b6fc66314c1e7d9a8ec8d","datavalue":{"value":"1473.11222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1994946$80C2FA2D-D19D-40DE-96F9-BB74A921E187","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":"Q1994946$7C2C9738-4E40-4C8D-AFF4-3F8E898CE4DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62c65c68b7bf9ecbb68d021649cd5dea931c0173","datavalue":{"value":{"time":"+2021-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1994946$244D2440-BA46-49B6-87AE-5EE84952872C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80d237784ea18d143343443531495a68a07c738d","datavalue":{"value":"https://arxiv.org/abs/1905.13393","type":"string"},"datatype":"url"},"type":"statement","id":"Q1994946$AD03805B-4A16-4A47-B89E-C5B16AF72C4D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"614e674a4cd8ecc2da246cacd3df6bfe93249206","datavalue":{"value":"Let \\(\\mathbb F_q\\) be the finite field with \\(q\\) elements, where \\(q\\) is odd. Let \\(\\overline{\\mathbb F}_q\\) be the algebraic closure of \\(\\mathbb F_q\\) and let \\(\\mathbb F_q^\\times\\) and \\(\\overline{\\mathbb F}_q^\\times\\) be the multiplicative groups of \\(\\mathbb F_q\\) and \\(\\overline{\\mathbb F}_q\\), respectively. \\(\\overline{\\mathbb F}_q^\\times\\) is partitioned into {\\em orbits}, where the orbit of \\(v\\in\\overline{\\mathbb F}_q^\\times\\) is \\(\\mathcal O_v=\\{\\pm v,\\pm v^{-1}\\}\\). If \\(v\\in\\{\\pm 1\\}\\), then \\(\\mathcal O_v=\\{\\pm 1\\}\\); if \\(v\\in\\{\\pm i\\}\\), where \\(i^2=-1\\), then \\(\\mathcal O_v=\\{\\pm i\\}\\); if \\(v\\in \\overline{\\mathbb F}_q^\\times\\setminus\\{\\pm 1,\\pm i\\}\\), then \\(|\\mathcal O_v|=4\\). For any integer \\(k>0\\) with \\(\\text{gcd}(k,q)=1\\), let \\(\\mu_k=\\{a\\in\\overline{\\mathbb F}_q^\\times:a^k=1\\}\\). Then \\(\\mu_{2(q-1)}\\cup\\mu_{2(q+1)}\\) is a union of orbits. The main theorem (Theorem~1.7) of the paper states that \\begin{itemize} \\item \\(\\mathcal O_v\\mapsto (v+v^{-1})^2/4\\) is a bijection from the set of orbits in \\(\\mu_{2(q-1)}\\cup\\mu_{2(q+1)}\\) to \\(\\mathbb F_q\\);  \\item the inverse of the above map is \\(\\tau\\mapsto\\mathcal O_v\\), where \\(v=\\sqrt\\tau+\\sqrt{\\tau-1}\\); in particular, \\(1\\mapsto \\mathcal O_1=\\{\\pm 1\\}\\) and \\(0\\mapsto\\mathcal O_i=\\{\\pm i\\}\\);  \\item if \\(\\tau\\in\\mathbb F_q\\setminus\\{0,1\\}\\) (equivalently, \\(v^4\\ne 1\\)), then for \\(A,B\\in\\{\\pm 1\\}\\), \\[ \\Bigl(\\frac\\tau q\\Bigr)=A\\ \\text{and}\\ \\Bigl(\\frac{\\tau-1} q\\Bigr)=B\\ \\text{ if and only if } \\ v^{q-AB}=A, \\] where \\((\\frac\\tau q)\\) is the Legendre symbol. \\end{itemize}  \\noindent As applications of this theorem, the author demonstrates factorizations of certain Dickson polynomials over \\(\\mathbb F_q\\) and several Wilson-like theorems in \\(\\mathbb F_q\\). For example, it is shown that for \\(m=(q-(-1)^{(q-1)/2})/4\\), \\[ D_m(x)=\\prod\\Bigl\\{x-b: b\\in\\mathbb F_q,\\ \\Bigl(\\frac{2-b}q\\Bigr)=\\Bigl(\\frac{2+b}q\\Bigr)=-1\\Bigr\\}, \\] where \\(D_m(x)\\) is the {\\em Dickson polynomial} of degree \\(m\\) over \\(\\mathbb F_q\\). For another example, it is shown that \\[ \\prod\\Bigl\\{a\\in\\mathbb F_q^\\times: \\Bigl(\\frac{1-a}q\\Bigr)=\\Bigl(\\frac{a+3}q\\Bigr)=-1\\Bigr\\} = \\begin{cases} 2&\\text{if}\\ q\\equiv \\pm1\\pmod{12},\\cr -1&\\text{otherwise}. \\end{cases} \\]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1994946$5A5C59EF-F9EE-4C5B-96A6-462CCCEB6E0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"157305dfd5c4a00203c592f58c4b16e8bc6d182b","datavalue":{"value":"11T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1994946$9B11B738-006C-41C9-94ED-52502E80C677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005488ac12471348bfecb95099a57fd4da722ac","datavalue":{"value":"11T06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1994946$B916764B-C5C8-49D2-9143-CDCDDB7E3F73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"daa41cdb894fe2c8eee6c92e39a1f546c3a6d7e9","datavalue":{"value":"7312714","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1994946$BECFF942-429A-4BD6-9A6D-9F0692D419EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a91a79d715db854156c5822e57d87e7cb7b6e62d","datavalue":{"value":"Artin map","type":"string"},"datatype":"string"},"type":"statement","id":"Q1994946$DCE7087E-3339-402B-AED8-F9183A46CEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85d64f9826698a263512b97ca093d0e5c8bb97ea","datavalue":{"value":"Chebyshev polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q1994946$81BB59CF-DFEE-4727-8008-24BD9DBEB23E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4f193b098ad23c4b6716479729c341fb381978d","datavalue":{"value":"Dickson polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q1994946$04EA6A9A-ED76-4E19-A806-B19E0908605D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d07767f73a9bae129458e9d12a79bb442fa45170","datavalue":{"value":"elementary number theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1994946$03171469-8EC3-4635-8470-69E23B69F672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e79ad6430269b54388f4ec89a588557d48e71cc","datavalue":{"value":"function field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1994946$81F9004D-9830-4CB7-8221-3BF7188E4BFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2761bdc40553125e7de6ae63b64d38a792ebd166","datavalue":{"value":"Legendre symbol","type":"string"},"datatype":"string"},"type":"statement","id":"Q1994946$9496D245-E3A2-428B-9069-07438211F826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23f794cceb4c1f86900c587a4a98efe31ee80464","datavalue":{"value":"Wilson-like theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1994946$BC6B881C-FB89-49DE-8A80-856C0D85FC61","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6da42013e1d1968123e3a72e2debc799b3080ddd","datavalue":{"value":{"entity-type":"item","numeric-id":920137,"id":"Q920137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1994946$AC634CF1-CC8B-4684-BB0F-0AB152DC56EB","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":"Q1994946$66B30F7D-2FEE-46CB-8C83-4B9A5F075C8D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ec61d5a13cdb1ba2fb1402d9f46a85de9cf45b12","datavalue":{"value":"W3081751931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1994946$B57F3176-AC79-45B2-8413-0A36875931D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d744f7882afc5e306af98eb99bea5fe15d264d7","datavalue":{"value":{"entity-type":"item","numeric-id":4325515,"id":"Q4325515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1994946$1D63581E-222A-4B94-8013-522C858898E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa8362ce2ce9c55f799f1afe99e9542dcdc3162a","datavalue":{"value":"10.1016/J.FFA.2020.101732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1994946$31AC21A0-7F6D-48D8-8C17-7CB6CB7360A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e0193db7ac12af4bebbabfc63c08c415581a303","datavalue":{"value":{"entity-type":"item","numeric-id":4870215,"id":"Q4870215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"688bacc22423ad0fc09f3a60255e60fc5c4789fb","datavalue":{"value":{"amount":"+0.947397","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1994946$83DCF10A-A0AE-47DC-AB5E-6BCD66535E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0463f9541c457e177373fbb52e814d67e4108d2c","datavalue":{"value":{"entity-type":"item","numeric-id":4335126,"id":"Q4335126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"522656ed5efbef9835f0ae251ee57e0b9d3d910c","datavalue":{"value":{"amount":"+0.9400117","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1994946$8BC3E613-D575-47F2-8CB7-76D1D8938828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65de74110eefdeeb1ce78c6594d08c08a2b09748","datavalue":{"value":{"entity-type":"item","numeric-id":4695307,"id":"Q4695307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c28107419cd31f391b08ab3b31e398fb93210a4a","datavalue":{"value":{"amount":"+0.9303057","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1994946$F1B192FB-46FB-4515-99EA-56B1A78A6212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9babbb431b2cc69c13cc9f99e3a60fc59451f43c","datavalue":{"value":{"entity-type":"item","numeric-id":2326682,"id":"Q2326682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53acf1ad3feb2337f97a87b59e7c8b73cd48695d","datavalue":{"value":{"amount":"+0.92300385","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1994946$CE3AFDBE-F55D-4DA8-8796-418D6800258B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b44b52466cb1ddc3e0eac1ebf73e960c24884510","datavalue":{"value":{"entity-type":"item","numeric-id":5531092,"id":"Q5531092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d571bce698f7a2d70bcdbcbea5ca4d082833e4b2","datavalue":{"value":{"amount":"+0.91875756","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1994946$43C60F4A-0DAF-49E9-AD96-0B384BE47240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"495a98ef435cfbe05c699b2060b7081dbec2f372","datavalue":{"value":{"entity-type":"item","numeric-id":5196578,"id":"Q5196578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f127928fe76d2f6d71d93ff117180e661ffbb9c9","datavalue":{"value":{"amount":"+0.9170052","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1994946$702AF242-CEE1-4DD2-A369-C1E6B1F01D07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a9bc91d1efb07c2fa9822c39e0fd7c26965f952","datavalue":{"value":{"entity-type":"item","numeric-id":4655906,"id":"Q4655906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3af018da75dac94829c8233c2f26b5b69661b36d","datavalue":{"value":{"amount":"+0.91298014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1994946$49DCBDAB-1E57-4175-9FAA-94AED3A4D63D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"159e1b63f00e0f0e5ae38b2423572987cd0dbd2a","datavalue":{"value":{"entity-type":"item","numeric-id":5504256,"id":"Q5504256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"544a0ab0c998098267c88446b7ce83aca210989b","datavalue":{"value":{"amount":"+0.90923345","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1994946$0415F013-6C22-4BB2-802C-331764D79EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09b9e0f57a8d57f5c324a4921bb25aeeec5f13aa","datavalue":{"value":{"entity-type":"item","numeric-id":3845422,"id":"Q3845422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"454b88e72f407369c606ecb193756396c31b100c","datavalue":{"value":{"amount":"+0.9076196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1994946$826322B6-E4B7-4A7D-9537-E1B7093526DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70d21020ab47d2a15eccca54fdd44bae29ac77db","datavalue":{"value":{"entity-type":"item","numeric-id":2451906,"id":"Q2451906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e963df8034e34fa929f0f0037490b1a09ace8bb0","datavalue":{"value":{"amount":"+0.90650094","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1994946$7F898DA8-E749-450B-84D8-780383FDE0DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A structure theorem for finite fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_structure_theorem_for_finite_fields"}}}}}