{"entities":{"Q7361684":{"pageid":31520591,"ns":120,"title":"Item:Q7361684","lastrevid":105367232,"modified":"2026-10-07T13:36:46Z","type":"item","id":"Q7361684","labels":{"en":{"language":"en","value":"Finite Fields"}},"descriptions":{"en":{"language":"en","value":"AFP entry Finite_Fields"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9abb3b78de15f1e7466b0e5563dac01f99704894","datavalue":{"value":"https://isa-afp.org/entries/Finite_Fields.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361684$4DCEE798-F29B-4DCA-9B29-38A0782B6C44","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b3cf5dcd0a1b4e1ab96661cdd555a0d486e901de","datavalue":{"value":{"time":"+2022-06-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361684$B72CACF0-ECE5-4E27-8E4B-C6AE74B30F9D","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"08e34730e8843d863438c2ad5795ad3f0ee72024","datavalue":{"value":"Emin Karayel","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361684$B2F36388-18AC-4319-8E90-EE6C36EC448F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d8df07b2767534332b6dbc15afca1895d36c912","datavalue":{"value":{"text":"Finite Fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361684$EEA86420-C926-4C04-97EC-72940F806A88","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9a9514f5e71b188d36152ae33b3a5774e94d109f","datavalue":{"value":"This entry formalizes the classification of the finite fields (also called Galois fields): For each prime power $p^n$ there exists exactly one (up to isomorphisms) finite field of that size and there are no other finite fields. The derivation includes a formalization of the characteristic of rings, the Frobenius endomorphism, formal differentiation for polynomials in HOL-Algebra, Rabin's test for the irreducibility of polynomials and Gauss' formula for the number of monic irreducible polynomials over finite fields: \\[ \\frac{1}{n} \\sum_{d | n} \\mu(d) p^{n/d} \\textrm{.} \\] The proofs are based on the books and publications from Ireland and Rosen , Rabin , as well as, Lidl and Niederreiter .","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361684$33EA4C55-468E-41C7-81AB-4D37941C0068","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0de11161d5f5a9534acefdb096b1f6959414872","datavalue":{"value":{"entity-type":"item","numeric-id":2911530,"id":"Q2911530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361684$37063DFA-1749-4E97-9DC7-1FECE78A6088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"045f069d44b7d32ac907d01f81c962bc393253fb","datavalue":{"value":{"entity-type":"item","numeric-id":3939864,"id":"Q3939864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361684$CFFCCADE-392E-4049-B3EC-C59B9C01A9B1","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":"Q7361684$3ADE7AC9-2724-4DA8-95D2-E0D9C0D5A885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff777be63b91ba136763fd1864340ab7856c51e4","datavalue":{"value":{"entity-type":"item","numeric-id":3910619,"id":"Q3910619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361684$57238D3D-0DA4-43F4-85E9-83D75704D295","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361684$2AFCB205-2902-4A38-8AD9-3FB3C0119497","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"0bc837316c3c98fd3db66ac2f3f13e1058a91f88","datavalue":{"value":{"entity-type":"item","numeric-id":7361319,"id":"Q7361319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361684$4CF6860A-7B31-46C7-AB53-F3F617C92C56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"0e6ae2eba2e1f66cd642028aa4e84a12d9942c74","datavalue":{"value":{"entity-type":"item","numeric-id":7361731,"id":"Q7361731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361684$2097CAE5-C662-4889-888E-70E59085D57B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"581eab54e6ee3bb8881da677a887a2c50f69f173","datavalue":{"value":{"entity-type":"item","numeric-id":7361642,"id":"Q7361642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361684$B5F357AE-74B1-4504-9896-49AAACBAC87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"97f9bc766ccc3eaa2e22da53fa3df5f4950376fd","datavalue":{"value":{"entity-type":"item","numeric-id":7361635,"id":"Q7361635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361684$ED42F53C-CCD4-444B-B240-9A6483C6E67F","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"65292b3c42fa1bd5c21e4c91fe94fdc3f630f232","datavalue":{"value":{"entity-type":"item","numeric-id":7360821,"id":"Q7360821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361684$DE835AEF-2865-41A8-A80C-E6B63188FED3","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361684$0EAA6E16-67C9-4AC1-86D2-D0BB2221ED7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite Fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_Fields"}}}}}