{"entities":{"Q1914022":{"pageid":1924764,"ns":120,"title":"Item:Q1914022","lastrevid":46376184,"modified":"2025-12-24T16:11:30Z","type":"item","id":"Q1914022","labels":{"en":{"language":"en","value":"On a question of Davenport"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 883830"}},"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":"Q1914022$B0A1CF22-EB81-47A1-B1C8-F3C012D27293","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9f8b012edc855bc1a130f2e1fff6a2d124227534","datavalue":{"value":{"text":"On a question of Davenport","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1914022$6E8C0800-BD3F-45D1-94AC-1F0AFC821062","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d173f3abb7cb52f2f11eeb4ef0d7faf555cbeaf","datavalue":{"value":"0861.11061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914022$286EC390-6677-4293-947B-7ECF302CBF43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38124b942efa0dc6935f248b973c0582ca598a94","datavalue":{"value":{"entity-type":"item","numeric-id":396864,"id":"Q396864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914022$1283AA35-573D-45AF-8229-EBA0E623E576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2281d8dc3be9f40dfcb5f23e7aaf82eea733a2b6","datavalue":{"value":{"entity-type":"item","numeric-id":786920,"id":"Q786920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914022$30C88928-C89F-4F7B-A7C4-80D6DFBBCFC9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e6cac328d206d9ef9b7afb3fb4ca5d1d204199af","datavalue":{"value":{"entity-type":"item","numeric-id":167107,"id":"Q167107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914022$D6902CE8-526A-4616-AB9A-66087E43C88E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16d2a7a0b1c1117ab7d00659418973c65f46d09d","datavalue":{"value":{"time":"+1996-07-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1914022$51081473-6EF4-4669-BA9C-B509721DDC95","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"80dd76da0a80c1b8af964887a83ac0d4113c3b03","datavalue":{"value":"Let \\(k\\) be an algebraic number field and let \\({\\mathfrak o}_k\\) be its ring of integers. Consider polynomials \\(f,g\\in {\\mathfrak o}_k [X]\\) such that \\(V_{\\mathfrak p} (f): = \\{\\overline f(u) \\mid u \\in{\\mathfrak o}_k/{\\mathfrak p}\\} = V_{\\mathfrak p} (g)\\) for all but finitely many prime ideals \\({\\mathfrak p}\\) of \\({\\mathfrak o}_k\\). Does this imply \\(f(X) = g(aX+b)\\) for some \\(a,b \\in k\\)?   Davenport's original question concerns the case \\(k= \\mathbb{Q}\\). Then we know that the answer is affirmative if \\(f\\) is an indecomposable polynomial or has odd prime degree. This result no longer remains true if we replace \\(\\mathbb{Q}\\) by an arbitrary number field.   The main result of the paper under review gives a large class of decomposable polynomials over number fields for which the answer is affirmative. The proof is based on the following known equivalence: \\(V_{\\mathfrak p} (f)= V_{\\mathfrak p} (g)\\) for all but finitely many prime ideals \\({\\mathfrak p}\\) of \\({\\mathfrak o}_k\\) if and only if \\(f\\) and \\(g\\) are Kronecker equivalent over \\(k\\). The latter property is a condition on the Galois group of \\((f(X) - t)(g(X) -t)\\) over \\(k(t)\\), where \\(t\\) is transcendental over \\(k\\). The monodromy group of \\(f(X) \\in E[X]\\) is the Galois group of \\(f(X) -t\\) over \\(\\overline E(t)\\). A polynomial \\((aX+b)^n + c\\) with \\(a,b,c \\in\\mathbb{C}\\), \\(a\\neq 0\\) is called cyclic, since its monodromy group is cyclic. There is a similar definition of dihedral polynomials. We call a polynomial \\(f\\in \\mathbb{C}[X]\\) a Davenport polynomial if there is another polynomial \\(g(X)\\in \\mathbb{C} [X]\\) which is Kronecker equivalent to \\(f(X)\\) (over \\(\\mathbb{C})\\), but \\(f(X) \\neq g(aX+b)\\) for all \\(a,b\\in \\mathbb{C}\\).   We are now able to state the main result: Let \\(f,g\\in \\mathbb{C} [X]\\) be Kronecker equivalent (over \\(\\mathbb{C})\\), such that \\(f\\) can be written as a composition \\(f= f_1 \\circ \\cdots \\circ f_r\\) of nonlinear indecomposable polynomials, none of which is cyclic, dihedral, or of degree 4.    1. If \\(f,g\\in \\mathbb{Q} [X]\\), then there exists \\(a,b\\in \\mathbb{Q}\\) with \\(f(X) = g(aX +b)\\).   2. If none of the \\(f_i\\) is a Davenport polynomial, then \\(f(X) = g(aX+b)\\) for some \\(a,b\\in \\mathbb{Q}\\).   Since an indecomposable Davenport polynomial cannot have rational coefficients we easily deduce (1) from (2). The proof of (2) is based on a group-theoretic lemma, which gives conditions that certain subgroups are conjugate. This implies that \\(g(X)-t\\) has a root in \\(\\mathbb{C} (t)[X]/(f(X) -t)\\). The proof further requires the classification of finite doubly transitive groups, which contains a regular cyclic subgroup. Hence it is based on the classification of finite simple groups.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914022$48D2002C-1683-4D3B-85A9-39E1A83F39A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"75b5ae7d63c4b2ff3513743a5ea9e7be306e24ac","datavalue":{"value":"11R09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914022$78321E7C-872D-49E2-BCDA-E75A430DF363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"760e7e883b324f8e9ca39536dab668d9184172e8","datavalue":{"value":"20D08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914022$C3EB463D-E508-4264-AF2A-9BE76666A155","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15589ed4aa45bcbd07e05cf77bed81bd15b23ab3","datavalue":{"value":"883830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914022$D568D300-471B-4FE2-8480-AB72168F5608","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f33bd0b094d2017e329638428ba800a71f42f4c","datavalue":{"value":"Kronecker equivalent polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914022$0C10EFA6-BB2C-424F-B229-48940591F908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6010d49f6291dfcdc8ea7295c0a952ab285a94c","datavalue":{"value":"decomposable polynomials over number fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914022$11CA9CE5-4B51-4995-8CB7-1F2DBC764DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4c7ff965d37ca33430ea99af5249ccf80ffd890","datavalue":{"value":"Davenport polynomial","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914022$1B8D9A67-1ABB-4A76-AB20-9DB5F47B5BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2aee93a812c465c5bd6c5be87431fbce034136a1","datavalue":{"value":"finite doubly transitive groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1914022$DE1D3FC3-B66E-4E57-9AAA-971776EF4837","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"46918d53626f8d01d294151056302beb695b4e14","datavalue":{"value":{"entity-type":"item","numeric-id":591964,"id":"Q591964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1914022$97D5470B-2A0E-4A62-839A-36A56E8A3F20","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":"Q1914022$306CDFD6-CE13-47EF-B9C1-64DF0C681CFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5b29766c0d7bbb0845101f2b9f99b629c185736","datavalue":{"value":"https://doi.org/10.1006/jnth.1996.0059","type":"string"},"datatype":"url"},"type":"statement","id":"Q1914022$BE89D7E7-E2BC-4F64-B3F5-1446BFC9841B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1723c9840094badb1240f1d1f6429721357b979c","datavalue":{"value":"W1994390715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914022$F74D79B6-8EE2-4273-BD7B-9D9F6A7B66A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e0977aa34e66b24669e24242ecdb33111b880d0c","datavalue":{"value":"10.1006/JNTH.1996.0059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1914022$44E252C9-CF79-464C-A7E5-99A50C9F0907","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c3a63dc004462a92aaf0917009b792340c7ac73","datavalue":{"value":{"entity-type":"item","numeric-id":4382984,"id":"Q4382984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b7adae73a00ac5fd5ba7f73bd63836d8b76689d","datavalue":{"value":{"amount":"+0.827387809753418","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":"Q1914022$948300D9-FA2C-4D22-A061-60798C02453B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61dcdd33ff27b9c069fec7658c35bdfa49387f58","datavalue":{"value":{"entity-type":"item","numeric-id":4826079,"id":"Q4826079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9ede6fd019819b1c56cafeede5cf1169a90d2d4","datavalue":{"value":{"amount":"+0.7705607414245605","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":"Q1914022$CF0497A5-203C-4EF5-9E22-C19C2499EFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a58af3be3014d164d774dad87686969e5e47c12","datavalue":{"value":{"entity-type":"item","numeric-id":1764356,"id":"Q1764356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dde78dcbfa18695fa245694ddfadf63d9d0bd10b","datavalue":{"value":{"amount":"+0.7611117362976074","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":"Q1914022$E6AE46F2-BAD6-4954-82EC-ED793377E8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4301e0bc453aae6bddf92e9b9435bf548887baba","datavalue":{"value":{"entity-type":"item","numeric-id":4339167,"id":"Q4339167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c521d36b3137808c28a0bb10bc671961d48a4b9","datavalue":{"value":{"amount":"+0.7521341443061829","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":"Q1914022$6028B5CB-DF8F-441C-B7D4-7F428B6AEB10","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1914022","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1914022"}}}}}