{"entities":{"Q1601783":{"pageid":1612523,"ns":120,"title":"Item:Q1601783","lastrevid":68078493,"modified":"2026-04-12T21:17:36Z","type":"item","id":"Q1601783","labels":{"en":{"language":"en","value":"Sums of even powers in archimedean rings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1761110"}},"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":"Q1601783$DB07BEC9-2107-4C2A-A2AF-92E7E1D6FC10","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31e3525976dbe37ef33432e6acdaab38d72968a5","datavalue":{"value":{"text":"Sums of even powers in archimedean rings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1601783$3B1A11D0-3515-4AF0-B11A-5EB90CF0233C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7388cf9bf3f9dcc1271ca0d6d37792c83bca9e66","datavalue":{"value":"1015.13009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601783$C6E47832-A523-4FB6-9D76-C0F5D1A0081D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"53c2ae3961ad894e1f0580a83a7c5228d773b142","datavalue":{"value":{"entity-type":"item","numeric-id":314114,"id":"Q314114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1601783$7A6C4EC8-E45C-4066-8B91-496BE27BA45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0144328e4feb8fb896772c8832f761f1ba619ef","datavalue":{"value":{"entity-type":"item","numeric-id":167156,"id":"Q167156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1601783$A88D7DBB-7902-4401-BCCF-F205D24E6390","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"dfa5bc95e1fdba4c3d3197123373583ef39a5b9e","datavalue":{"value":{"entity-type":"item","numeric-id":163114,"id":"Q163114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1601783$2E339236-869E-45D0-B0FA-6AEF9B87D708","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6aa0b5839eb2d6e7fb371f8a4ca03238e6998f63","datavalue":{"value":{"time":"+2002-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1601783$A14474E8-6C4D-4A3B-B657-88AD5DA4EFC6","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"600820a393d8fe953ea47669540a9dde97b38d83","datavalue":{"value":"A ring \\(A\\) is totally real if every sum of squares of the form \\(1+a^2_1 +\\cdots +a^2_k\\) is a unit. An element \\(a\\in A\\) is totally positive if \\(\\varphi (a)\\geq 0\\) for every homomorphism \\(\\varphi:A\\to R\\) into a real closed field; it is strictly totally positive if always \\(\\varphi(a) >0\\). The ring is totally Archimedean if for every \\(a\\in A\\) there is some \\(n\\in\\mathbb{N}\\) such \\(n\\pm a\\) are both totally positive. A preordering of level \\(r\\) is a subset \\(T\\subseteq A\\) that is additively and multiplicatively closed, contains every \\(2r\\)-th power and does not contain \\(-1\\). The ring \\(A\\) is always assumed to be totally real and totally Archimedean. This implies that strictly totally positive elements are units.   The author proves the following analogue of Schm\u00fcdgen's Positivstellensatz [\\textit{K. Schm\u00fcdgen}, Math. Ann. 289, 203-206 (1991; Zbl 0744.44008)] for preorderings of level \\(r\\): Assume that \\(T\\) is a preordering of level \\(r\\). Assume that \\(a\\in A\\) and that \\(\\varphi(a)>0\\) whenever \\(\\varphi: A\\to R\\) is a homomorphism into a real closed field with \\(\\varphi(T) \\subseteq R^\\geq\\). Then it follows that \\(a\\in T\\).   [Another variant of Schm\u00fcdgen's theorem for preorderings of higher level is proved by \\textit{D. Zhang}, Arch. Math. 77, 309-312 (2001; see the preceding review Zbl 1015.13008).] It is shown that every strictly totally positive element can be written as a sum of \\(2r\\)-th powers of strictly positive elements for every \\(1\\leq r\\in\\mathbb{N}\\). Bounds for the length of such representations are studied.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1601783$67B21825-B279-49AD-8B8D-7231D25AF0B0","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"686b28cf776f97d1876e91eb21edc77a670894f5","datavalue":{"value":{"entity-type":"item","numeric-id":364687,"id":"Q364687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1601783$38475F93-A39A-4590-8500-22BF58D997E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"765bffd38ceeadce2d709456a083f0dd0b70ccc2","datavalue":{"value":"13J30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601783$0FA59EE9-B18F-4BC7-B41A-9AE1AAFAB727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"94a258fd6e09d2d582bb6c52c7992ac55d0da749","datavalue":{"value":"14P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601783$B72FD0B8-DF1F-4DC6-9F29-DF876D8691E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aeaa44c2e834cb1990f4a8778263cbd6a8f762b8","datavalue":{"value":"14A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601783$780D165B-27D3-4CEB-83AD-3938C7C3ABB1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e8166eae661b730a5161bffc3e76bb7303e9658","datavalue":{"value":"1761110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601783$12EC5742-BAA0-485E-A893-BA5D20BAE165","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"205d59cce6a4aeae80aa04864ad6d01352283019","datavalue":{"value":"real spectrum","type":"string"},"datatype":"string"},"type":"statement","id":"Q1601783$F2645F09-D452-4248-B13D-9F276A7D45C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eea6d8d7d4016973768b4d3dafefcdfdb0d7230","datavalue":{"value":"sums of powers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1601783$425170AF-6BF4-484A-8B52-909EC6F56445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05ed76ea37f94cfbbca7a3c9fc8f9097fd952dea","datavalue":{"value":"totally Archimedean ring","type":"string"},"datatype":"string"},"type":"statement","id":"Q1601783$2CA69754-F3DF-4FB7-A86C-E30440784920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4918092ad189e813fda26972a403a2ec926ed138","datavalue":{"value":"Schm\u00fcdgen's Positivstellensatz","type":"string"},"datatype":"string"},"type":"statement","id":"Q1601783$A2095786-0EE3-4C12-B740-B8770C72F59F","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":"Q1601783$58C6DBB8-5D98-4E35-8C65-5BAE72943F0C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d36ca3be143c880b67f2cdedb274297eca7632e","datavalue":{"value":"https://doi.org/10.1007/s002090100324","type":"string"},"datatype":"url"},"type":"statement","id":"Q1601783$091D667C-CC96-4608-A38D-53AD5E19B71A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"06d9ebac3314050d288d7265d993a6254e052254","datavalue":{"value":"W2051142625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601783$D41D9949-21D5-4FA0-A068-BF495BCCDDCD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7b14b9932bddea3c9328b76d245e62e4f4d2219","datavalue":{"value":"10.1007/S002090100324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1601783$2B74738D-25A7-4482-840F-3B1A055CB8F8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f353881ee8354cab1bbec354b8afe77b09a6ba55","datavalue":{"value":{"entity-type":"item","numeric-id":5955995,"id":"Q5955995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e92872b2214e92cf22231a3e7b69e4342da3be7","datavalue":{"value":{"amount":"+0.7600166","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":"Q1601783$41219C0C-70AC-4825-B5E0-BDFC6CC3D988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfbbd3c7f2626decf9b317ebd508d42c5a6b99d9","datavalue":{"value":{"entity-type":"item","numeric-id":5947773,"id":"Q5947773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d63370c795f79a57e15eb00f80fb5c6fa26fbdd","datavalue":{"value":{"amount":"+0.70974654","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":"Q1601783$412E5FFF-EE60-44BE-8B4D-4C5F3C208CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"575748505f80e215b5c14789c0c1c11a92c45d4a","datavalue":{"value":{"entity-type":"item","numeric-id":792387,"id":"Q792387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12d767fd15b0ea2cb7eec01820abe2cbf894c794","datavalue":{"value":{"amount":"+0.70303106","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":"Q1601783$B563FF5E-DE1E-4A54-B87E-7CD36DC78989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fee667da68db5d3f66975c46040dec4948c45be9","datavalue":{"value":{"entity-type":"item","numeric-id":1197367,"id":"Q1197367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d95c288939e789fa5b8a14a3ca69056de9cdb27","datavalue":{"value":{"amount":"+0.69327337","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":"Q1601783$BA6E5BCC-F1F5-4A6E-AE5F-6E1D5657FC54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57b8476de5411c50c0bbc69ee5ef28fba762d8fc","datavalue":{"value":{"entity-type":"item","numeric-id":5148548,"id":"Q5148548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"036b4aa1e6c210bfe9738a419527afa9c12cbc15","datavalue":{"value":{"amount":"+0.67569864","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":"Q1601783$4E7A6850-25FE-422C-BBB4-EFB7A10D67C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb9769d1f0f8d552695574a7ffd39bc0847ced79","datavalue":{"value":{"entity-type":"item","numeric-id":3348999,"id":"Q3348999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f1e7c57fe8b4ebd4b76fc8848fb419978962b1d","datavalue":{"value":{"amount":"+0.6415261","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":"Q1601783$488F608F-6C29-46B7-B234-F74CCD0F7DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4822ba98d5ca79eba61b58fcf1512377b2670c1d","datavalue":{"value":{"entity-type":"item","numeric-id":3285699,"id":"Q3285699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac323a852cabc9bb5fd411e9bcc2b85d706b6f8f","datavalue":{"value":{"amount":"+0.63450295","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":"Q1601783$F51764B9-445D-4F5E-9621-C6197C302D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5352f4d6fd39e3b34575408e85764ef1dd58fa5","datavalue":{"value":{"entity-type":"item","numeric-id":1202202,"id":"Q1202202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56299b818d8a31ce0b00f8508509cb19a2eb0d85","datavalue":{"value":{"amount":"+0.6320104","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":"Q1601783$63829D55-8835-4F24-AC7F-6BE8940120FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e24d89018131aa8bab782f90de05c919813cc4a","datavalue":{"value":{"entity-type":"item","numeric-id":4911308,"id":"Q4911308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b09eaab0670c731a092d0afd8eaff6ba149e735","datavalue":{"value":{"amount":"+0.63163084","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":"Q1601783$1D7E3EAF-5A86-41E5-8B9E-C46682EBDD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6764fcf2c55ebebd254a400553c5de6f45932638","datavalue":{"value":{"entity-type":"item","numeric-id":1963998,"id":"Q1963998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc9560feed93a3f1ad691b3386e70dd33f888d9b","datavalue":{"value":{"amount":"+0.63049436","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":"Q1601783$2E7EBA54-2338-4DED-9ECC-EC8A095BC878","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sums of even powers in archimedean rings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sums_of_even_powers_in_archimedean_rings"}}}}}