{"entities":{"Q600737":{"pageid":602513,"ns":120,"title":"Item:Q600737","lastrevid":51117305,"modified":"2026-01-16T18:43:52Z","type":"item","id":"Q600737","labels":{"en":{"language":"en","value":"A new local-global principle for quadratic function fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5809115"}},"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":"Q600737$2EB29B34-06FF-4481-B1DA-C85B9594EF18","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9bf8b8ed2b907cb9bdc5faf4f908d50a05350767","datavalue":{"value":{"text":"A new local-global principle for quadratic function fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q600737$DBC10BEC-FE16-4795-92A1-6FFC6C7068DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff7f4b3fc0fb49e180663a7b259de44b250c4521","datavalue":{"value":"1244.11093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q600737$18117584-471A-434E-99C5-E2F13D855BCF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20f17bc0779f719a0a616a41a089552e89a2b836","datavalue":{"value":"10.1134/S1064562410040083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q600737$489AC07A-C033-4ACF-8797-B50C09C275D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"40f02f31811057152473687a256bb77ba733b499","datavalue":{"value":{"entity-type":"item","numeric-id":181876,"id":"Q181876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600737$65525708-E809-427F-B967-98A6FB7C0342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b80d49f5712924dd72cd4ee02358d3c92dd374a","datavalue":{"value":{"entity-type":"item","numeric-id":1426637,"id":"Q1426637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600737$0C202D59-18E0-4FE7-8526-9ABD5AEE55C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bbc31fcaa3dcf49d82403ba391044fdfb104e43","datavalue":{"value":{"entity-type":"item","numeric-id":161529,"id":"Q161529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600737$39DBE792-7EE2-400B-ACC6-C9BCB2C8229E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"03d9331034704ff846186a6af17dca7677124081","datavalue":{"value":{"time":"+2010-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q600737$6F4D3913-6431-40B9-B174-1458BEA7E509","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4ac45d13b0114f1dd54d8a5b4551246fc409f917","datavalue":{"value":"Let \\(K\\) be a number field, \\([K:{\\mathbb Q}]<\\infty\\) and let \\(V^ K\\) be the set of all valuations of \\(K\\). Let \\(f(x)\\in K[x]\\) be a monic square free polynomial of even degree. Let \\(D_ f:=K[x](\\sqrt{f})\\). A unit \\(u\\in D_ f\\) is called trivial if \\(u\\in K^ \\ast\\). If \\(D_ f\\) has nontrivial units, then \\(D_ f^ \\ast=K^ \\ast\\times \\langle u \\rangle\\) with \\(\\langle u\\rangle\\) an infinite cyclic group, and \\(u\\) is a fundamental unit. For \\(v\\in V^ K\\) let \\(k_ v\\) be the residue field. We have that \\(f(x)\\) is integral at \\(v\\) for almost all \\(v\\in V^ K\\). Let \\(f_ v:=f\\bmod v\\in k_ v[x]\\) and \\(D_ {f_ v}=\\{\\alpha_ v+\\beta_ v \\sqrt{f_ v}\\mid \\alpha_ v, \\beta_ v\\in k_ v[x]\\}\\). We have that \\(D_ {f_ v}\\) contains nontrivial units and \\(D^ \\ast _{f_ v}=k_ v^ \\ast\\times \\langle u_ v\\rangle\\) where \\(u_ v\\) is a fundamental unit.   In [\\textit{V. P. Platonov}, Dokl. Math. 81, No. 1, 55--57 (2010); translation from Dokl. Akad. Nauk, Ross. Akad. Nauk 430, No. 3, 318--320 (2010; Zbl 1217.11094)] the following local--global principle was proved by the first author using Jacobian varieties:   \\textbf{Theorem 1}. The ring \\(D_ f\\) has a nontrivial unit if and only if there exists a constant \\(C\\) such that \\(\\deg u_ v:=\\deg \\alpha _ v<C\\) for almost all \\(v\\in V^ K\\).   The goal of this paper is to give a new proof of Theorem 1 without using Jacobian varieties. Theorem 1 is a consequence of the following result: Let \\(|\\cdot |_ \\infty\\) be an infinite valuation on \\(K[x]\\) and let \\(\\overline{K(x)}\\) be the completion of \\(K(x)\\) with respect to \\(|\\cdot |_ \\infty\\). Given the Laurent expansion of \\(\\sqrt{f}\\) in \\(\\overline{K(x)}\\): \\(\\sqrt{f}=x^s+d_{s-1}x^ {s-1} +d_ {s-2}x^{s-2}+\\cdots\\), we consider the matrix  \\[  H_r=\\left(\\begin{matrix} d_ {-1} & d_ {-2}&\\cdots&d_ {-r}\\cr d_ {-2}&d_{-3}&\\cdots&d_{-r-1}\\cr \\vdots&\\vdots&\\ddots&\\vdots\\cr d_{-r-s+2}&d_{-r-s+1}&\\cdots&d_{-2r-s+3} \\end{matrix} \\right).  \\]  Then:   \\textbf{Theorem 2}. The ring \\(D_ f\\) has a fundamental unit \\(u=\\alpha+\\beta \\sqrt{f}\\), \\(\\alpha,\\beta\\in K[x]\\) and \\(\\deg \\beta=r\\), if and only if the rank of \\(H_ {r+1}\\) is less than \\(r+1\\) and the rank of \\(H_ m\\) is \\(m\\) for \\(m<r+1\\). In this case \\(\\deg u:=\\deg \\alpha =r+s\\).   Finally, the authors give a complete answer to the question of for which polynomials \\(f(x)=x^ 4+bx+c\\), the ring \\(D_ f\\) has nontrivial units. Indeed they prove that \\(D_ f\\) has a fundamental unit of degree \\(n\\) for: (i) \\(n=2, b=0, c\\in {\\mathbb Q}^ \\ast, u=x^ 2+\\sqrt{f}\\); (ii) \\(n=3, c=0, b\\in {\\mathbb Q}^ \\ast, u=x^3+{{b}\\over{2}}+ x\\sqrt{f}\\); (iii) \\(n=4, b=t^ 3, c={{t^ 4}\\over {2}}\\) where \\(t\\in {\\mathbb Q}^\\ast, u=x^ 4-tx^ 3+{{t^ 2}\\over {2}}x^ 2+ {{t^ 3}\\over {2}}x-{{t^ 4}\\over {4}}+\\big(x^ 2-tx+{{t^ 2} \\over {2}}\\big) \\sqrt{f}\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q600737$59F0590F-8193-4DF3-B035-66A0A68A9D74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"68c41041f241a1d16ef1fcc007ef2e6f2418a396","datavalue":{"value":"11R58","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q600737$DA1BFDCE-1948-400D-8A94-17A7D34F5DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9f4be43e4d3a36713afeec76035eb55b0d3950c7","datavalue":{"value":"11R27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q600737$99B382A0-306A-42DE-9F20-3685433CA518","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d495404a0a4f1174c111093d244067e71019b7b3","datavalue":{"value":"5809115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q600737$07D99CBB-2B06-48FA-9C6F-A3011E2132FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e7069cfe7f81e226549e4ade7df535863192c07","datavalue":{"value":"Local--global principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q600737$C8BC8491-CFED-4C86-AC69-903E4D880646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c03ab37ab8323a8e70e819212bf2dca2b779e047","datavalue":{"value":"fundamental units","type":"string"},"datatype":"string"},"type":"statement","id":"Q600737$822095F6-2B08-4653-977E-A708AD0F0E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"932b08155b87b4a888ee3381d01d58951c422607","datavalue":{"value":"quadratic function fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q600737$0DAD7A55-7FD5-4A27-A4AE-8F66BC46E047","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"f0e90d891131f9887cf439663f26d1846e6a057a","datavalue":{"value":{"entity-type":"item","numeric-id":214730,"id":"Q214730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q600737$E42B6EB8-D35A-47FC-95BD-00659563DB79","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":"Q600737$9FB1EFA9-7FC7-43D7-953C-CC1849A57612","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d1ca2366ca7e6ddc4809d56a37fe740a919a8d1","datavalue":{"value":"https://doi.org/10.1134/s1064562410040083","type":"string"},"datatype":"url"},"type":"statement","id":"Q600737$08B26659-3F62-4F94-8C4F-663C624C6952","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b506ea49008d9d1f42ac86c595fe26bf17999e0","datavalue":{"value":"W1995477637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q600737$27208AD4-24A1-41AA-B417-6D69119974F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70f117affb6226d4c3aa3d11886cfa1d4e07a6c7","datavalue":{"value":{"entity-type":"item","numeric-id":606500,"id":"Q606500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce25cba5605058746945811f1b3285d88ee98c3e","datavalue":{"value":{"amount":"+0.8335762619972229","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":"Q600737$D61BE1A0-55C0-4915-A74B-729DBB598615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5313219fad6e4b42848eecfaa4fd671dc117bf27","datavalue":{"value":{"entity-type":"item","numeric-id":4979754,"id":"Q4979754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04f67cf4196cb798b899b98798e58d3521e3ba01","datavalue":{"value":{"amount":"+0.7993541955947876","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":"Q600737$1D11E662-425B-44DE-BB02-5F2C950A3E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d491d87900110039aae2ab595914989680302d1","datavalue":{"value":{"entity-type":"item","numeric-id":5202268,"id":"Q5202268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bda0b4add1ab381bc6276d2257deb127b29d92f","datavalue":{"value":{"amount":"+0.7812022566795349","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":"Q600737$0EEFACE2-9142-4805-AEFC-9A3A31A13D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eab99b3bb99ce7e8ae818287ca4e9d6b13f93e5","datavalue":{"value":{"entity-type":"item","numeric-id":4379421,"id":"Q4379421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4779f190268651dd2036a0e7fca36fc3b227295","datavalue":{"value":{"amount":"+0.7770257592201233","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":"Q600737$D77D021C-9FEB-48CE-ADC3-7924E61378BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6c0bfe24c375bfb8cc99fa496d27ae590b9663d","datavalue":{"value":{"entity-type":"item","numeric-id":1903501,"id":"Q1903501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50a0e77ca9e02028753eeda4695772f3122d0802","datavalue":{"value":{"amount":"+0.7769085764884949","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":"Q600737$EDBBAABD-65B0-400A-97CE-532AF806F572","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:600737","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:600737"}}}}}