Positive semidefinite forms over ordered skew fields
HTML articles powered by AMS MathViewer
- by Ka Hin Leung PDF
- Proc. Amer. Math. Soc. 106 (1989), 933-942 Request permission
Abstract:
In any ordered field $K$, the inequality ${x^2} + {y^2} \geq 2xy$ obviously holds for any $x,y \in K$. Naturally, we may ask if the same inequality holds in every ordered skew field. Surprisingly, it can be proved that in an ordered domain $R$, the above inequality holds for any elements $x,y$ in $R$ iff $R$ is commutative. In this paper, we formulate a generalization of the above observation and prove that if a "positive semidefinite form" over an ordered skew field admits a "nontrivial" solution, then the skew field is actually a field.References
- A. A. Albert, On ordered algebras, Bull. Amer. Math. Soc. 46 (1940), 521–522. MR 1972, DOI 10.1090/S0002-9904-1940-07252-0
- L. Fuchs, Partially ordered algebraic systems, Pergamon Press, Oxford-London-New York-Paris; Addison-Wesley Publishing Co., Inc., Reading, Mass.-Palo Alto, Calif.-London, 1963. MR 0171864
- Man Duen Choi and Tsit Yuen Lam, An old question of Hilbert, Conference on Quadratic Forms—1976 (Proc. Conf., Queen’s Univ., Kingston, Ont., 1976) Queen’s Papers in Pure and Appl. Math., No. 46, Queen’s Univ., Kingston, Ont., 1977, pp. 385–405. MR 0498375
- Man Duen Choi and Tsit Yuen Lam, Extremal positive semidefinite forms, Math. Ann. 231 (1977/78), no. 1, 1–18. MR 498384, DOI 10.1007/BF01360024 M. D. Choi, T. Y. Lam and B. Reznick, A combinatorial theory for sums of squares, see Abstract Amer. Math. Soc., 738-12-30. —, Symmetric quartic forms, see Abstract Amer. Math. Soc., 736-10-21.
- M. D. Choi, T. Y. Lam, and Bruce Reznick, Even symmetric sextics, Math. Z. 195 (1987), no. 4, 559–580. MR 900345, DOI 10.1007/BF01166704
- T. Y. Lam, The theory of ordered fields, Ring theory and algebra, III (Proc. Third Conf., Univ. Oklahoma, Norman, Okla., 1979) Lecture Notes in Pure and Appl. Math., vol. 55, Dekker, New York, 1980, pp. 1–152. MR 584611
- Raphael M. Robinson, Some definite polynomials which are not sums of squares of real polynomials, Selected questions of algebra and logic (collection dedicated to the memory of A. I. Mal′cev) (Russian), Izdat. “Nauka” Sibirsk. Otdel., Novosibirsk, 1973, pp. 264–282. MR 0337878
Additional Information
- © Copyright 1989 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 106 (1989), 933-942
- MSC: Primary 11E76; Secondary 11E81, 12J15, 16A39, 16A70, 16A86
- DOI: https://doi.org/10.1090/S0002-9939-1989-0976367-8
- MathSciNet review: 976367