{"entities":{"Q914731":{"pageid":916579,"ns":120,"title":"Item:Q914731","lastrevid":65315859,"modified":"2026-04-12T01:45:01Z","type":"item","id":"Q914731","labels":{"en":{"language":"en","value":"On trace forms of algebraic function fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4150274"}},"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":"Q914731$DE03BE91-783C-428D-99E4-6187813002D6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"17a712cfea57ae77494c992b199acf72fa612cd5","datavalue":{"value":{"text":"On trace forms of algebraic function fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q914731$1AB69B19-869C-4434-8578-7A98F8B0F111","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4517e751f1c641e686da09fced1842292bab1fe3","datavalue":{"value":"0702.11021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914731$5F200AD7-1DDF-4DC0-B574-52AA80C203EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2488171759b6b0cd697b36dcd1acb318ea050468","datavalue":{"value":"10.1216/RMJ-1989-19-3-897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914731$90BFE51E-71CA-4E85-BCF9-7FB6263A3132","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02cb65e749db03889c98b08c69bfa0c4bcb1a840","datavalue":{"value":{"entity-type":"item","numeric-id":556424,"id":"Q556424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914731$57CA1AFF-A0B8-4111-82BF-95E1A8F2CEB4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3c56016573ce7bfe3075a77ec18be101169a3439","datavalue":{"value":{"entity-type":"item","numeric-id":168778,"id":"Q168778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914731$D506D2CE-F786-44BA-B456-193CF48FB603","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q914731$CFE519FB-48E3-41CC-83A3-7A0ACB9FE1BD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4c497f27a3ca579a2d7f81edebcd04c4c10b4c25","datavalue":{"value":"The trace functional of a finite separable field extension \\(L/K\\) induces a bilinear symmetric form on \\(L\\) with values in \\(K\\) denoted here \\(T_K(L,1)\\). If \\(K\\) is formally real field, then the signature \\(\\operatorname{sgn}_P T_K(L,1)\\) counts the number of extensions of the ordering \\(P\\) of \\(K\\) to \\(L\\), hence is always nonnegative. Also the forms Witt equivalent to \\(T_K(L,1)\\) have all signatures nonnegative.    \\textit{P. E. Conner} and \\textit{R. Perlis} [A survey of trace forms of algebraic number fields (1984; Zbl 0551.10017)] asked if every regular form over \\(K\\) with all signatures nonnegative is necessarily Witt equivalent to the trace form of a finite extension \\(L/K\\). They proved this is so when \\(K= \\mathbb Q\\), and \\textit{W. Scharlau} [Math. Z. 196, 125--127 (1987; Zbl 0658.10025)] extended the result to \\(K\\) any algebraic number field. The present author gives an affirmative answer in the case when \\(K\\) is an algebraic function field in one variable over a real closed field.    While the general plan of the proof is the same as in Scharlau's paper (reduction to one-dimensional forms and then a proof in this case), a new approach is required to deal with the infinite number of orderings of \\(K\\). The approach is based on the fact that \\(K\\) allows ``effective diagonalization'' of quadratic forms.","type":"string"},"datatype":"string"},"type":"statement","id":"Q914731$DA6B898B-13AA-4A82-A261-41956CB4EE56","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"2038028ad76bc61d17d1f93622fa054b90580aae","datavalue":{"value":{"entity-type":"item","numeric-id":180545,"id":"Q180545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914731$496ECC9A-7EFB-405F-9062-3EBD9A116155","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c9b87656e7915b52fa0c6607ef9d80011fa9e213","datavalue":{"value":"11E10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914731$E25FC8F7-8FFB-4AFE-B35C-E06962221BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111aa0d521548ce9bf404704c7ad9cfc95d17aa9","datavalue":{"value":"11E12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914731$C8B8E45B-C752-466E-8007-1B6E8EDF6098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"96824c1952dce65ca1e0d6b3c06e68a00a60bf8c","datavalue":{"value":"11E81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914731$A2AF6285-B512-4398-8B7E-3007BCFDAC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"68c41041f241a1d16ef1fcc007ef2e6f2418a396","datavalue":{"value":"11R58","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914731$419D1216-D621-40FF-9A56-862B332B976A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b806ec09a0b03c7d8cbd59ea1418c0f4075343f5","datavalue":{"value":"4150274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914731$C4A587DE-7C6C-4E76-A25D-C86A965209DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acf036453ca21f620a977dffaccbceab2697563a","datavalue":{"value":"regular quadratic forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q914731$0587C091-3DEA-4F9D-9CA4-D2952F44AFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cad53f9f72c67366f3d7bd26b47a92a34275bf1b","datavalue":{"value":"Witt equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q914731$9EDF0735-5638-4853-8D2A-8B44A41D31E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43514e3024dd1d79f6fde4c95e1b4a06505614df","datavalue":{"value":"trace forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q914731$9D7852BF-A025-4B89-A0C1-265FCF164F52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d873a1d4d05cb79d90b13271e3f58ea19f26e91","datavalue":{"value":"signatures","type":"string"},"datatype":"string"},"type":"statement","id":"Q914731$1E9F5C1A-BBFA-4FDD-B52E-985B25933B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea7c4fc78ca7dce6127a07e3c5212637c2370c09","datavalue":{"value":"algebraic function field","type":"string"},"datatype":"string"},"type":"statement","id":"Q914731$B7EB1F1C-D820-4EC3-9BF9-4B5395246B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b7dad102d42a7169de6a258b4c59ca869e41159","datavalue":{"value":"real closed field","type":"string"},"datatype":"string"},"type":"statement","id":"Q914731$FBDB50CC-6CD9-4F4D-8066-148668F97622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c55aaa92cb4d7883b510c8490c97c8b2db3cdf84","datavalue":{"value":"orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q914731$901D8B69-33F3-4FF0-AECE-EBD56538741F","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":"Q914731$BFDC2BAF-0390-42A3-BCB9-D38E5000F994","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4816508502aa0ca241d1678c2872b135d50779f","datavalue":{"value":{"entity-type":"item","numeric-id":5903795,"id":"Q5903795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd2b47d8a5f8a7e956b8f027568889420d000823","datavalue":{"value":{"amount":"+0.8806806802749634","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":"Q914731$B1E425EA-62E9-4543-A3DE-25DED14075B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5ae967f0638f0becef17cfdd5333a2072af9a52","datavalue":{"value":{"entity-type":"item","numeric-id":1113929,"id":"Q1113929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69d3a68620fe65158efc8a557b779ea8bf3616e8","datavalue":{"value":{"amount":"+0.8498908877372742","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":"Q914731$7FB8CF5C-D829-4AF4-ACF9-CD43352AB60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"594c8e2291090e81ec59500d03949702a2674dda","datavalue":{"value":{"entity-type":"item","numeric-id":5894753,"id":"Q5894753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecf7c1022d64f6f176b3fc9af8811dd1d75a49d9","datavalue":{"value":{"amount":"+0.8389069437980652","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":"Q914731$BED6E9D3-6755-4C6C-B6BC-15BF9924A2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1452b0d3a1b894399a0c29a837b96faa2ce22ae","datavalue":{"value":{"entity-type":"item","numeric-id":4295701,"id":"Q4295701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecd558143c4ac93b8c63870cc243d4a260b45d3f","datavalue":{"value":{"amount":"+0.8352608680725098","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":"Q914731$BC9147D1-32D1-477D-B7D0-6DA23F45714B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17d35e24ade26f0c2789bc7d49fe00981efecec2","datavalue":{"value":{"entity-type":"item","numeric-id":1185823,"id":"Q1185823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bb20ae4b3a3861c5295666358f161312cee1d21","datavalue":{"value":{"amount":"+0.8317390084266663","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":"Q914731$145AAD8B-104F-4330-90F8-6063655E1229","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On trace forms of algebraic function fields","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_trace_forms_of_algebraic_function_fields"}}}}}