{"entities":{"Q1364607":{"pageid":1375346,"ns":120,"title":"Item:Q1364607","lastrevid":70247376,"modified":"2026-04-13T13:28:50Z","type":"item","id":"Q1364607","labels":{"en":{"language":"en","value":"Relations between invariants of formally real fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1052946"}},"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":"Q1364607$AD0057D4-B606-46CD-8BD2-C9991C4DCCA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cabb9200d20d052e0b1d34a7fd5271835fe8c0d7","datavalue":{"value":{"text":"Relations between invariants of formally real fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1364607$B72B2C2C-BDC8-4ED3-BB1C-4EF5195DC1BF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"560ea5f7bda7314d8bfd985a245841605e2c8249","datavalue":{"value":"0935.12002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1364607$4A34E03F-5539-401D-8551-B39755C5A1CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"917e0422d9e969f0892b2ae8bef6ac6477226573","datavalue":{"value":"10.1016/S0019-3577(97)89119-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1364607$1184C51E-4E80-4044-83E1-D9F8BE277F63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"694d1d83a672a2c7a572a813880bd238bbcc9ac3","datavalue":{"value":{"entity-type":"item","numeric-id":810564,"id":"Q810564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1364607$E72FFF2D-C050-4695-BA02-F2C494A47E7F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2e359c0e985e9b5bac2c1d59359dad9dfd6f494d","datavalue":{"value":{"entity-type":"item","numeric-id":174755,"id":"Q174755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1364607$7886DA4D-B106-4849-8080-1CB451E4A817","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5392596ed00365b9040485b26d567df955774c4a","datavalue":{"value":{"time":"+1997-12-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":"Q1364607$9EF3C8E7-1AB2-42D4-88D2-DC8BEFFA59C9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"efb09831f62fe9b5363badb64d524c5ef26fb1b7","datavalue":{"value":"Let \\(F\\) be a formally real field. Continuing some of his previous work the author studies the invariant  \\[ l(F)=\\inf \\{n\\in \\mathbb{N}\\mid\\text{ If }q:F^n\\to F\\text{ is any totally positive quadratic form then }D(q)=\\Sigma(F)\\}. \\]  He introduces another invariant \\(c(F)= \\inf \\{m\\in \\mathbb{N}\\mid\\). If \\(\\omega\\in \\Sigma(F)\\) and \\(q:F^{m+1}\\to F\\) is a totally positive quadratic form then \\(q\\cong \\langle \\;\\rangle \\langle \\langle \\omega\\rangle\\rangle\\perp q_1\\) for some \\(a\\in F\\) and some quadratic form \\(q_1\\}\\).    In the first part of the paper he describes various relations of these invariants to the invariants \\(ud(F)\\), \\(\\beta_F(i)\\) and \\(C(F)\\). As a main result he proves the equivalence between the finiteness of the invariants \\(\\beta_F(i)\\), \\(c(F)\\), \\(\\ell(F)\\), \\(ud(F)\\) and \\(\\widetilde{ud}(F)\\) (Theorem 2.9).    In the second part he studies the invariants \\(\\beta_F(i)\\) and \\(c(F)\\). Under the assumption that \\(l(F)< \\infty\\) and that any totally positive 2-fold Pfister form represents all elements of \\(D_F(\\langle 1,\\alpha\\rangle)\\) for some \\(\\alpha\\in \\Sigma(F)\\) he describes the values of \\(c(F)\\) by means of \\(l(F)\\) and \\(\\beta_F(i)\\) (Theorem 2.6) and finally gives some estimates for \\(c(F)\\) (Theorem 3.7).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1364607$1E788484-3A1C-4F7E-B30C-7F0ED3D84056","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"299c2ceee90a97db4ef5b7d633c2a5784e0cb3c0","datavalue":{"value":"12D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1364607$6069478F-B13F-4C13-A24F-0658A20FDF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0b955ec184c55930253632e291ee5820f31251e0","datavalue":{"value":"11E04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1364607$C495CAE8-63B3-46E8-A3E8-246A5B5B52C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9b87656e7915b52fa0c6607ef9d80011fa9e213","datavalue":{"value":"11E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1364607$B25DF8C2-9217-4300-8E15-C1E191760110","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36060a615a07801bab853b96502405d8b723f17a","datavalue":{"value":"1052946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1364607$023245FD-E2A2-4F19-B87C-CB62AEEFDFC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"706db0629293df00b3b7fba0af5249b98cda66b5","datavalue":{"value":"formally real field","type":"string"},"datatype":"string"},"type":"statement","id":"Q1364607$12E2D529-FE85-4C61-B553-FAFDF9F9CB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca32413f1d623ef3eb8d4a14ac759e926ea85f","datavalue":{"value":"invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q1364607$7EEE1F61-405C-4846-B0FE-FF74655EFD23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b567324fdd45a2b4d896fa0af70c0d997f441d4b","datavalue":{"value":"2-fold Pfister form","type":"string"},"datatype":"string"},"type":"statement","id":"Q1364607$15CFA88F-D499-49C6-87DD-A3B69F84B548","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":"Q1364607$306DF844-CC4A-4994-94FD-9B3ED64B06E8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"61014042177b2f6bfcae92d0f94488b65cba6490","datavalue":{"value":{"entity-type":"item","numeric-id":5903202,"id":"Q5903202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1364607$E40686EF-D5FB-4510-842B-FEF74A4869DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"871c7ea0c2f44b544b855066b4d6f8525f8b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1215528,"id":"Q1215528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1364607$04D74252-E175-4E10-A4DE-7CDB80C16EDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6928fb062c4da07a3b0da0ec424350766b99881e","datavalue":{"value":{"entity-type":"item","numeric-id":3726198,"id":"Q3726198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1364607$8DC37683-7802-43C1-B5AE-25FEA5C02DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e635e5915d1c3f6462d6c0651b7d8adca487334c","datavalue":{"value":{"entity-type":"item","numeric-id":3735780,"id":"Q3735780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1364607$0B5CC9D8-0F7A-45C4-9DA8-E8D25C33E427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cfe949d4045bf33a7be20eb986797806ff6b776","datavalue":{"value":{"entity-type":"item","numeric-id":3803191,"id":"Q3803191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1364607$AA28682D-D3DF-4475-AA1D-DE0907223F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee7d229c1be9b1a5a1cdf9274ce9f995c4bbc326","datavalue":{"value":{"entity-type":"item","numeric-id":2277020,"id":"Q2277020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1364607$A9840F62-4EEF-43C6-84B2-08E61B579492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bc9b2788d14f1133576622ddc4a9962d99a40f9","datavalue":{"value":{"entity-type":"item","numeric-id":810565,"id":"Q810565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1364607$DF4F2153-10D3-4C44-A3B4-061C83C4034B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1619ee43f4f4ebb0a6fb5815a795e5d75e76afb4","datavalue":{"value":{"entity-type":"item","numeric-id":3877755,"id":"Q3877755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1364607$BD999B7A-007D-4D11-ADDF-16536A6494CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baf87aafd2d65a2f8d34229a0e85a8c75920ff19","datavalue":{"value":{"entity-type":"item","numeric-id":3708857,"id":"Q3708857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1364607$7F64F746-92E7-4836-BBD2-6CC5982B9F66","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd64f5fa0484b0cecaf0d8e9d5dd89f06d9af1f4","datavalue":{"value":{"entity-type":"item","numeric-id":3735780,"id":"Q3735780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee9ffe40080aea506fdaed5d7166998c2463f8f9","datavalue":{"value":{"amount":"+0.9414677619934082","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":"Q1364607$0C2DA68A-3939-4AEA-A8CF-BB736EAA1FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee6fff809887247cea9051c654f85ed91885f243","datavalue":{"value":{"entity-type":"item","numeric-id":3726198,"id":"Q3726198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4912aca9a3c56cb7188a8c380d366af9c310b42c","datavalue":{"value":{"amount":"+0.8641787171363831","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":"Q1364607$6C814E5C-F96A-450C-AF3A-550874D6F3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0145972c60c9fc1acacd0265e22938a5d536560","datavalue":{"value":{"entity-type":"item","numeric-id":3803191,"id":"Q3803191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2f2717def764e4d157289125f497d9f799331d8","datavalue":{"value":{"amount":"+0.8437713384628296","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":"Q1364607$DB1ECBF6-85D8-4F84-A09F-D831C0C530E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"896a32673deaf516eb6fee818531fc5164fabd6a","datavalue":{"value":{"entity-type":"item","numeric-id":2376348,"id":"Q2376348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0d25e8b9ae4e51420b712dc4cf66d4770d3b058","datavalue":{"value":{"amount":"+0.832427978515625","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":"Q1364607$837C3EF6-6BAA-4B61-A332-AC3347A832D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e482b4336490836cfff7abcc48a0c01d202a257","datavalue":{"value":{"entity-type":"item","numeric-id":641864,"id":"Q641864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1870b7a671e90e81db0426af235383eefa0e50e2","datavalue":{"value":{"amount":"+0.8237113952636719","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":"Q1364607$152B4C82-38A9-4339-84BE-E785CF96767D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relations between invariants of formally real fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relations_between_invariants_of_formally_real_fields"}}}}}