{"entities":{"Q2631619":{"pageid":2642362,"ns":120,"title":"Item:Q2631619","lastrevid":44522229,"modified":"2025-11-23T12:58:02Z","type":"item","id":"Q2631619","labels":{"en":{"language":"en","value":"Holzer's theorem in \\(k[t]\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7055389"}},"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":"Q2631619$F9014F8B-80AF-4920-861B-FE022692BBA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d5b22c903cc1923c66c1fac09561651f4cd84493","datavalue":{"value":{"text":"Holzer's theorem in \\(k[t]\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2631619$A9CB04B7-C644-49BC-9C76-880EB7BEF5EA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"83afbadde52d97c6e96513c00f23cadd450bb662","datavalue":{"value":"1452.11033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631619$D9F84268-EAD8-48A9-B09A-05BFCF6BB947","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34688372bbbb479d181c8501fcab8b5c57f6d5b6","datavalue":{"value":{"entity-type":"item","numeric-id":741702,"id":"Q741702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631619$9818EB02-9FDE-4884-8854-488B38E21995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"61826b05428f2d996dd231c99b76f37a2ba98b1b","datavalue":{"value":{"entity-type":"item","numeric-id":236930,"id":"Q236930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631619$32349A50-255B-4078-9319-952503927041","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"08c25da5813a64bb58b545e5a473febdb94089f7","datavalue":{"value":{"entity-type":"item","numeric-id":175895,"id":"Q175895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631619$130CE6A0-B867-4989-B043-2E55C8E103D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"111bc2058e263cfb924fa49ef15bd940ed572fa3","datavalue":{"value":{"time":"+2019-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2631619$F0DB0668-3C39-44BA-9D5C-D5D7E2C3F490","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"688d72d422971fcb38673ea8c6038251bda351b4","datavalue":{"value":"Let \\( k \\) be an arbitrary number field and \\( k[t] \\) the ring of integers of polynomials over \\( k \\). For \\( a \\in k[t], ~ a \\ne 0 \\), let \\( |a| \\) denote the degree of \\( a \\).  If \\( a_1, \\ldots, a_n \\in k[t] \\) with each \\( a_i \\ne 0 \\), let \\( \\langle a_1, \\ldots, a_n \\rangle  \\) denote the quadratic form \\( a_1x_1^2 + \\cdots + a_n x_n^2\\). We say that \\( \\langle a_1, \\ldots, a_n \\rangle  \\) is \\textit{isotropic} over \\( k[t] \\) if there exist \\( b_1, \\ldots, b_n \\in k[t] \\), not all zero, such that \\( a_1b_1^2+ \\cdots+ a_n b_n^2 =0 \\). Such a vector \\( (b_1, \\ldots, b_n)  \\) is called an \\textit{isotropic vector} of \\( \\langle a_1, \\ldots, a_n \\rangle \\).  In the current paper, the authors prove the following theorem, which is their main result in the paper. They improve the  bounds  of \\textit{A. Prestel} [J. Reine Angew. Math. 378, 101--112 (1987; Zbl 0606.10014)], for the equation \\( ax^2+by^2+ cz^2=0 \\) in \\( k[t] \\) by proving the analogous result of the theorem of \\textit{L. Holzer} [Can. J. Math. 2, 238--244 (1950; Zbl 0037.02602)], when \\( a, b, c \\) are integers.  Theorem 1. Let \\( a, b, c \\in k[t] \\) with \\( abc \\ne 0 \\). Assume that \\( \\langle a, b, c \\rangle \\) is isotropic over \\( k[t] \\). Then there exist \\( x_0, y_0, z_0 \\in k[t] \\), not all zero, such that  \\[ ax_0^2+by_0^2+cz_0^2=0, \\tag{1} \\]   \\[ |x_0| \\le \\dfrac{|b|+ |c|}{2}, \\quad |y_0| \\le \\dfrac{|a|+ |c|}{2}, \\quad |z_0| \\le \\dfrac{|a|+ |b|}{2}. \\tag{2} \\]  The proof of Theorem 1 follows from elementary techniques in number theory, in particular, it follows by induction on the degree \\( |a|+|b|+ |c| \\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631619$D8894139-E8CE-4C69-81DC-EFA34BB270AD","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ee5e298adf9a53adbac4e3dca9aba2691ed1f643","datavalue":{"value":{"entity-type":"item","numeric-id":681633,"id":"Q681633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631619$71EB6E5C-6E08-4132-A76E-65A8D6BE0E36","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"805302a557989b683fb14360a2e7b8b6f804b270","datavalue":{"value":"11D09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631619$FA58D636-187A-4BFD-97FC-C70B22D7E9B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"68c41041f241a1d16ef1fcc007ef2e6f2418a396","datavalue":{"value":"11R58","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631619$4A934DFE-41A4-46A0-9ED0-29FC60AE0F84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dac2df9520cbecf6a026e5c67cfab344512d04a7","datavalue":{"value":"7055389","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631619$B6BAA0CE-D4B9-4B68-8471-B404B7E713FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1cdb6ba2a0b4cd44c95a8f37992ff1ea475b16a","datavalue":{"value":"Legendre equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631619$251F0193-52C6-4A32-A296-47D6F7089766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a56277caad431b64bc8f5b756080c0513869a925","datavalue":{"value":"rational polynomial ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631619$E04CB8B6-8939-474E-91B5-EEEC348A840B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c245da8cb1134747bab0ab05c3fb4cb55037b2b1","datavalue":{"value":"Holzer's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2631619$31370FE1-C3E5-4EC5-8B2D-03D981ECAAE1","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":"Q2631619$BDD01B1F-B72B-4A59-9830-CD1368B607E9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"efe042f4f3c13f0111e9e944f954f0c1513048fe","datavalue":{"value":"https://doi.org/10.1007/s11139-017-9946-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2631619$FBF0DFC1-D215-4711-AA92-F78F8262CF91","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95e9a003e79a9055813190a6e1f1acc1376edc28","datavalue":{"value":"W2766153357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631619$7EF9FD59-4A20-4B2A-9FCF-D5FAC6407362","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4fc8f58f115102b1ba788d008daf685dece5f52","datavalue":{"value":{"entity-type":"item","numeric-id":5795171,"id":"Q5795171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631619$0922B8C2-3EAC-4DC4-A538-7DFC009385A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60f172e12da6f29bde9a8692d999e9fc1022198c","datavalue":{"value":{"entity-type":"item","numeric-id":2531078,"id":"Q2531078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631619$B01DC1B2-54CF-4B7E-AE20-90FE56A9F1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd6744dd00078d2e9a2398455b3c2b5cf80d716","datavalue":{"value":{"entity-type":"item","numeric-id":3744224,"id":"Q3744224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2631619$F17F9A5B-CD45-4DDA-8639-3EF68CEE0934","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8852929ed93324ef463720c1ef0ab6952f96af3","datavalue":{"value":"10.1007/S11139-017-9946-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2631619$15966B05-6199-409D-91A0-F7BBB7889A2F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9e4e9d738009d0e5cb84e9899e3799b072a98af","datavalue":{"value":{"entity-type":"item","numeric-id":907340,"id":"Q907340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b60f16ddde5d12991a9024deb4ef32ec22c4ed38","datavalue":{"value":{"amount":"+0.68985045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2631619$552B8307-F1A2-49B1-AAFD-341289CED665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efeeb14d05da55275b32e5c0c48cd6491c05f2a9","datavalue":{"value":{"entity-type":"item","numeric-id":1548999,"id":"Q1548999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e4441532a62e5d1f223caf93b05df8d8829f750","datavalue":{"value":{"amount":"+0.6700577","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2631619$882281FB-4B60-4ECF-B042-A4AC80398353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"721a2dd844bbbb25632ee3a17c578883ea9294f3","datavalue":{"value":{"entity-type":"item","numeric-id":2714277,"id":"Q2714277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f8906ef1435f5f1edd5c04cbe19ffcf19ef5917","datavalue":{"value":{"amount":"+0.6681322","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2631619$C7478BA4-6FB4-4CE9-9E2F-19BD99A215E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69dc01573b78397ad8236a2286087d84156ee948","datavalue":{"value":{"entity-type":"item","numeric-id":4324045,"id":"Q4324045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b37a5782bc3030c0f65702cdf36a028bb7c43a05","datavalue":{"value":{"amount":"+0.6669557","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2631619$7C7E1BA2-4942-4377-99CE-ED517EADA3EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1243299baac68176d11b2126e2c66f757cfc870d","datavalue":{"value":{"entity-type":"item","numeric-id":4262688,"id":"Q4262688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87ba1b228ad92a6de6be6406eb09d5fbfa478d59","datavalue":{"value":{"amount":"+0.66671103","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2631619$573E54F1-02BC-407B-A03A-79EAE1E4191D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dd427ad6c45ed1ea3115f1fea4f2e88aae2429c","datavalue":{"value":{"entity-type":"item","numeric-id":4501334,"id":"Q4501334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c55f2d04098f2ac18e3a23f5a9fbcd2d82b07bd6","datavalue":{"value":{"amount":"+0.665574","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2631619$81BF81EB-472D-4DB9-A1EB-FA51F20E32EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"896e8c2d488de49ae3140a0625df25fa67e6b230","datavalue":{"value":{"entity-type":"item","numeric-id":4880460,"id":"Q4880460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b0e9d9bd1729a82b4dc210fe4ca3910e51fa57a","datavalue":{"value":{"amount":"+0.66334474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2631619$5B421C63-0FB4-463F-AC4A-EDA58273C0BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a786e8617680d07ea02356258f85543e73e6cbef","datavalue":{"value":{"entity-type":"item","numeric-id":2357683,"id":"Q2357683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c6257da44d5830fa5fec5ebc4c86631e14d18ab","datavalue":{"value":{"amount":"+0.6595234","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2631619$35D2185C-5336-4A58-9558-87DA33E2211D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf7b6a4fc9b421d151ece974f4f12b5a31829342","datavalue":{"value":{"entity-type":"item","numeric-id":4313893,"id":"Q4313893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f6d3f7deed6b3795535d7249b5554af741a4983","datavalue":{"value":{"amount":"+0.6574793","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2631619$2ED2FD0F-3B7D-41BE-8E3F-A3EA8162E553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46c3d60dab37546538b0f2e09ea000c0af5d714f","datavalue":{"value":{"entity-type":"item","numeric-id":5719322,"id":"Q5719322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86ec87811e4578f0410177998f026936bd3ce421","datavalue":{"value":{"amount":"+0.6568682","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2631619$DBBE5007-4F13-49F7-94BF-AFBEAB5B9478","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2631619","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2631619"}}}}}