{"entities":{"Q7007763":{"pageid":21549540,"ns":120,"title":"Item:Q7007763","lastrevid":82695005,"modified":"2026-05-06T21:41:30Z","type":"item","id":"Q7007763","labels":{"en":{"language":"en","value":"Number of equivalence classes of rational functions over finite fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8016170"}},"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":"Q7007763$5B1B978C-925A-4564-94AF-D81CB0831AEC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0a7f56f1e9bfbdf99def48ab87687d90ee75c34","datavalue":{"value":{"text":"Number of equivalence classes of rational functions over finite fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7007763$0AB38557-DA09-467F-BCFC-A735C0964109","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da0cfab5b77b70276a9e7526704e63e7ad5acd86","datavalue":{"value":"1573.11365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007763$142E2655-EBA1-4A50-A5FD-C9D842D1F554","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8eadaa854801c15945817e002e917c6a7c94e45a","datavalue":{"value":"10.4064/AA240317-14-12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007763$5A923F33-7F51-4C4A-BDF5-28863B199450","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d91629049860bf26ec19fac2e75a84ae335bc81b","datavalue":{"value":{"entity-type":"item","numeric-id":165902,"id":"Q165902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007763$978476AA-0666-4CFE-9490-45ED37943758","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d7c377eb9eca9d4544de709b24b4ac445c513847","datavalue":{"value":{"entity-type":"item","numeric-id":2590509,"id":"Q2590509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007763$57B4A6D8-F482-49C3-B469-A9A203487B8E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"557ec203c60ba3b58811bdaf67c6999b805da811","datavalue":{"value":{"time":"+2025-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7007763$A6CE2695-18A5-45E8-BA9C-8AEC0EDADC2C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c1ae4fad9c5055d04cc7226025b10b937ea49464","datavalue":{"value":"Let \\(F\\) be any field with rational function field \\(F(x)\\). Due to L\u00fcroth's theorem, every intermediate field \\(F<L\\le F(x)\\) is of the form \\(F(f)\\) with some function \\(f\\in F(x)\\) of ``degree'' \\(n:=[F(x):F(f)]\\). Two rational functions \\(f,g\\in F(x)\\) are called ``equivalent'', if \\(g=\\phi\\circ f\\circ \\psi\\) with \\(\\phi,\\psi\\in F(x)\\) of degree one. Here \\(\\circ\\) denotes function decomposition. It is well known that \\(f,g\\in F(x)\\) are equivalent if and only if the fields \\(F(f)\\) and \\(F(g)\\) are conjugate under some automorphism in \\(\\Aut_FF(x)\\cong \\mathrm{PGL}(2,F)\\).\\N\\NLet \\(F:=\\mathbb{F}_q\\), the finite field of order \\(q\\). In this paper the author gives an explicit formula for the number \\(\\mathfrak{N}(q,n)\\) of equivalence classes of rational functions in \\(\\mathbb{F}_q(x)\\) of given degree \\(n\\). In that case the finite group \\(G:=\\mathrm{GL}(2,\\mathbb{F}_q)\\) acts naturally on the set \\(\\mathcal{I}(q,n)\\) of intermediate fields of index \\(n\\), and the desired number of equivalence classes of rational functions coincides with the number of \\(G\\)-orbits on \\(\\mathcal{I}(q,n)\\). Therefore the main tool in the proof is Burnside's lemma, which states that the number of \\(G\\)-orbits is equal to the average number of fixed points under this action. \\N\\NThe main part of the paper consists in the determination of the number of those fixed points for every representative \\(g\\) of a conjugacy class in \\(G\\). These calculations are technically quite involved, the most difficult situation appearing when the elementary divisor of \\(g\\) is an irreducible quadratic.\\N\\NIn an extra, but much shorter section, the author also determines the number of equivalent polynomials \\(f\\in\\mathbb{F}_q[X]\\), where equivalence is defined analogously. It turns out that \\(f,g\\in\\mathbb{F}_q[X]\\) are equivalent under \\(G\\) if and only if they are equivalent under the affine linear group \\(\\mathrm{AGL}(1,\\mathbb{F}_q)=\\{\\phi\\in F[X]\\ |\\ \\deg(\\phi)=1\\}\\). This makes the necessary calculations much easier.\\N\\NAlong the way, the author proves a variety of interesting counting formulae for certain pairs of coprime polynomials in \\(\\mathbb{F}_q[X]\\). Among others he shows that the number of rational functions in \\(\\mathbb{F}_q(X)\\) of degree \\(n>0\\) is equal to \\(q^{2n-1}(q^2-1)\\) and \\(\\#\\mathcal{I}(q,n)=q^{2(n-1)}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007763$41FF06F3-BCEE-4B07-BFDB-04C04CB37171","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"e21f40855af6571c40474c9dc92e74d6b3cedb3f","datavalue":{"value":{"entity-type":"item","numeric-id":165856,"id":"Q165856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007763$497D4300-3CB6-4BBA-B534-0CC5CF2A0F72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005488ac12471348bfecb95099a57fd4da722ac","datavalue":{"value":"11T06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007763$0C1F23D6-9BC1-428F-A6B0-0E2E9FEDB9B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b0344475b093a005210c8cd3287a0b2589c6a0ee","datavalue":{"value":"05E18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007763$12CD9891-0FD9-4CC3-845A-EDBDB6958328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"292377916051be7ed8523a9de41751734b556659","datavalue":{"value":"12E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007763$0BA48311-9FC7-4E27-B36B-AC52BCF984FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"603df56cdd358180c16ebf969d05eb1c25886aaf","datavalue":{"value":"12F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007763$FFAD8649-C2DC-49A8-ABD3-164C452E27DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"747f926814bec7d06f4808d64ba00d7542217963","datavalue":{"value":"20G40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007763$699835A2-3237-4606-A601-0F04BFEA7842","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a0de832dbf607eb7e63b6ddfe08c9a0ef78944d","datavalue":{"value":"8016170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7007763$179EE773-2268-4831-A92A-F31B9F603DA6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3711b386902559bb22bf67091b7eca92012716a","datavalue":{"value":"finite field","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007763$780F444D-E8A3-465D-A443-A6186C895A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23e7064e8e15c4c993b99e6c309730f215336bde","datavalue":{"value":"general linear group","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007763$0EA771B9-19E9-4FBB-98E7-1285A197E4DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4df6d15fd3deceb079c12cd6044273004698471e","datavalue":{"value":"projective linear group","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007763$F46C96D2-C100-4D90-AF56-BF5D94A0A932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"549f0f1b66c36f8f80b8f33e286a1ff6b5444b18","datavalue":{"value":"rational function","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007763$6F315F42-B10A-4B4A-A509-F4F803E1A15B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db0c9a1c448c2d2fd676ea3fbdf69f9b70a881a3","datavalue":{"value":"rational function field","type":"string"},"datatype":"string"},"type":"statement","id":"Q7007763$8D545256-4F2C-40ED-9070-0CAF7FB5A6DC","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":"Q7007763$01B56B81-9D15-4895-8681-89F7DF83E62B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e277649aecc60fee75b739a8052b4a7ec70836c","datavalue":{"value":{"entity-type":"item","numeric-id":640008,"id":"Q640008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007763$CF844A9E-3EE4-42C5-9B86-4720B6499D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47df1d5030e850d9984b93e46f91697df3bc6ff6","datavalue":{"value":{"entity-type":"item","numeric-id":1907270,"id":"Q1907270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007763$A0F31974-21A8-415F-BBEF-EA63270768BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0e7889faa1cdc3efd24871b797fe15c1457999b","datavalue":{"value":{"entity-type":"item","numeric-id":2481476,"id":"Q2481476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007763$4814784F-057B-459B-B75A-E4873D8982A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bafb7194e44cfc712bfc44cb5c7951031751daa7","datavalue":{"value":{"entity-type":"item","numeric-id":5903274,"id":"Q5903274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007763$19F0CBE9-C635-48A0-8A43-3A098179CBCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6395d7d2742dac3c1022552876bbde84e3b29d2c","datavalue":{"value":{"entity-type":"item","numeric-id":4316974,"id":"Q4316974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007763$97F3EA35-FF8C-4DD0-AB3D-A2973CC56809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9e69b8561d6e544fbb9e4c92c80b7b66f65750e","datavalue":{"value":{"entity-type":"item","numeric-id":1519257,"id":"Q1519257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007763$EEC6D37C-4CDE-4698-B902-491D33F67D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bb6d8ef1a58aa6ee4a864b0c9834cd460cefa64","datavalue":{"value":{"entity-type":"item","numeric-id":5065983,"id":"Q5065983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007763$F9C15C17-92C0-4189-BEBA-7947E8F7F3A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bc7345ae74757e971a16d2cf50a9258897edd81","datavalue":{"value":{"entity-type":"item","numeric-id":2326681,"id":"Q2326681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007763$BFB384B1-8CA0-465F-BCFA-4AD3B7B77A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33751eacf0ef21b57bee1da1ccf2f356a5d3d144","datavalue":{"value":{"entity-type":"item","numeric-id":1987103,"id":"Q1987103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007763$1C68D549-AA00-4F21-9B0F-84F80AFACA35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35062d944bb270921a9810799e4992a3f15350b7","datavalue":{"value":{"entity-type":"item","numeric-id":2182062,"id":"Q2182062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007763$16A87303-B37E-4F20-858A-5BFD96F99AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"955fbd1e786293313b1083fdddae0064a0a15245","datavalue":{"value":{"entity-type":"item","numeric-id":3082274,"id":"Q3082274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007763$93408B07-1307-4FF4-9FA4-F42F9930A249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8538b1a83eba49c9a566649415531efbac27483d","datavalue":{"value":{"entity-type":"item","numeric-id":653292,"id":"Q653292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007763$EB280894-0582-4DB1-A879-7F89F94F65BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"060e7dc17da773d26d921786e813884e08882c9e","datavalue":{"value":{"entity-type":"item","numeric-id":4571934,"id":"Q4571934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007763$321BEB2A-3B71-45BB-870D-9E56361A87E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8aef03f515fd73b90a3afbc2f8fe7c94b4cf401e","datavalue":{"value":{"entity-type":"item","numeric-id":5220665,"id":"Q5220665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007763$B99ECF5F-F95C-4C2E-A9C6-C52306318DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"488ad134d31cbdc38fbcbde5ba47b0f735cba2e5","datavalue":{"value":{"entity-type":"item","numeric-id":5159791,"id":"Q5159791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007763$F4C685D8-1D5C-49F1-A938-008C21DEC3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a764813bc66e9d1dd5b02646e40e49207b5526","datavalue":{"value":{"entity-type":"item","numeric-id":609359,"id":"Q609359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007763$DED02C01-B5C9-4EBB-B4CA-4F351C22CEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1557b55591e1e6855d0810fc61e2510a761a6f9e","datavalue":{"value":{"entity-type":"item","numeric-id":2406689,"id":"Q2406689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007763$9A797191-5918-4F3F-8734-8DD6E2EB4718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5ac4426640fd9ba13d9145cbc8ad0ff41a5af5d","datavalue":{"value":{"entity-type":"item","numeric-id":2081343,"id":"Q2081343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007763$7EB07898-0368-46C4-AFCE-E4A0E975B7B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feaa05a4c3b8a35d8f56a43a0b15efba1ab9419b","datavalue":{"value":{"entity-type":"item","numeric-id":6878599,"id":"Q6878599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007763$4324E6D2-A814-4239-8EB2-C0F7488A97FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca598217c7b1c725293f3408dbd1917056f7f1f2","datavalue":{"value":{"entity-type":"item","numeric-id":2301892,"id":"Q2301892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007763$80D9AE63-E659-4201-9929-B82E04AD83DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70645c7a326d6bd2df95854a23f94e4051861df0","datavalue":{"value":{"entity-type":"item","numeric-id":2318382,"id":"Q2318382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007763$72F6451D-F593-4BCC-A6E7-9125DC7A5755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c96b7136d6926591f034c94de4e917a2f15eebd","datavalue":{"value":{"entity-type":"item","numeric-id":2291369,"id":"Q2291369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007763$22E7155C-2358-4F25-8EDB-742EF2E9C3BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"173c95b43479fd48a95d67dd02f2bac262842a09","datavalue":{"value":{"entity-type":"item","numeric-id":1943468,"id":"Q1943468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007763$8AB81BA0-EDBE-4575-9A3E-043CB908C0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1114411dd5edb40fc6b539704403c2a071251e91","datavalue":{"value":{"entity-type":"item","numeric-id":685743,"id":"Q685743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007763$CA0CF1E6-DC1F-4A58-B88A-2FDC144E7814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2c9d2f285b8343a52e6523d04451df9a5087d6","datavalue":{"value":{"entity-type":"item","numeric-id":661980,"id":"Q661980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007763$B5B6FE0C-64FC-4944-BA62-A80489B38F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2de78d53d739c6b51d4b211c30a96837c38534f","datavalue":{"value":{"entity-type":"item","numeric-id":5942991,"id":"Q5942991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007763$2EABDDD3-EDEA-4221-8078-B505BD6C0EAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ce6b2b390700559326c81abab210c183aaed52b","datavalue":{"value":{"entity-type":"item","numeric-id":4237364,"id":"Q4237364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7007763$EB0FC82F-61EE-43EF-BC13-883975735C11","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Number of equivalence classes of rational functions over finite fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Number_of_equivalence_classes_of_rational_functions_over_finite_fields"}}}}}