Soft Computing

, Volume 21, Issue 10, pp 2507–2512 | Cite as

An extension of a Y. C. Yang theorem

Focus

Abstract

The main purpose of this paper is to extend the theorem of Y. C. Yang stating that lattice-ordered skew fields are totally ordered iff squares are positive (Yang in Am Math Mon 113(3):266–267, 2006). The principal tools are an extension of a result of Teh concerning weak l-groups (Teh in Proc Edinb Math Soc 13(1):123–124, 1962) and a connection with Benado multilattices introduced in Benado (Bul Şti Secţ Şti Mat Fiz 5:41–48, 1953); see also Benado (Czechoslov Math 5(3):308–344, 1955), Rudeanu and Vaida (J Mult-Valued Logic Soft Comput 20(3–4):265–307, 2013). Within the proofs below, the properties related to po-partial monoids or to po-semiring-like systems are stated such that to require each time only what is strictly needed for the stated result.

References

  1. Benado M (1953) Asupra unei generalizări a noţiunii de structură. Bul Şti Secţ Şti Mat Fiz 5:41–48Google Scholar
  2. Benado M (1955) Les ensembles partiellement ordonnés et le théoréme de raffinement de Schreier, II (Théorie des multistructures). Czechoslovak Math 5(3):308–344MathSciNetMATHGoogle Scholar
  3. Bigard A, Keimel K, Wolfenstein S (1977) Groupes et anneaux réticulés, Springer, Berlin (A. Dold, B. Eckmann (eds) Lecture notes in mathematics, 608)Google Scholar
  4. Birget J-C (1993) Partial orders on words, minimal elements of regular languages, and state complexity. Theoret Comput Sci 119(2):267–291MathSciNetCrossRefMATHGoogle Scholar
  5. Birkhoff G (1942) Lattice-ordered groups. Ann Math 43(2):298–331MathSciNetCrossRefMATHGoogle Scholar
  6. Birkhoff G, Pierce RS (1956) Lattice-ordered rings. Ann Acad Bras Cienc 28:41–69 (submitted two years earlier but delayed for technical reasons)MathSciNetMATHGoogle Scholar
  7. Birkhoff G (1967) Lattice Theory, 3rd ed. Third printing, 1973 American Mathematical Society, Providence, RIGoogle Scholar
  8. Bottoni P, Levialdi S, Vaida D (2000) Ordered structures for visual data: an algebraic—oriented approach to visual interaction., Rapporto di Ricerca, SI 2000/08, Dipartimento di Scienze dell’InformazioneUniversita degli Studi La Sapienza, RomaGoogle Scholar
  9. Bourbaki N (1964) Eléments de mathématique—Livre II, Algébre, Chap. 6 Groupes et corps ordonnés, Paris, Herman (II-éme édition, Actualités scientifiques et industrielles, 1179)Google Scholar
  10. Diem J (1968) A radical for lattice-ordered rings. Pacific J Math 25:71–82MathSciNetCrossRefMATHGoogle Scholar
  11. Droste M (2005) Universal homogeneous causal sets. J Math Phys 46:122503-1–122503-10MathSciNetCrossRefMATHGoogle Scholar
  12. Dubois DW (1956) On partly ordered fields. Proc Am Math Soc 7(5):918–930MathSciNetCrossRefMATHGoogle Scholar
  13. Dvurec̆enskij A, Pulmanová S (2000) New trends in quantum structures. Kluwer, DordrechtCrossRefGoogle Scholar
  14. Fuchs L (1963) Partially ordered algebraic systems, vol 28., International Series of Monographs on pure and applied mathematics, Pergamon Press, OxfordGoogle Scholar
  15. Golan JS, Mateescu A, Vaida D (1996) Semirings and parallel composition of processes. J Autom Lang Comb 1:199–217MathSciNetMATHGoogle Scholar
  16. Golan JS (1999) Semirings and their applications. Kluwer, DordrechtCrossRefMATHGoogle Scholar
  17. Gunter CA, Scott DS (1990) Semantics domains (chap. 12), pp 633–674, Handbook of Theoretical Computer Science, Elsevier Sci. Publ., J. van Leeuwen, EdGoogle Scholar
  18. Henriksen M (2002) Old and new unsolved problems in lattice-ordered rings that need not to be f-rings. In: Martinez J (ed) Ordered algebraic structures. Kluwer, Dordrecht, pp 11–17CrossRefGoogle Scholar
  19. Manes EG, Benson DB (1985) The inverse semigroup of a sum-ordered semiring. Semigroup Forum 31:129–152MathSciNetCrossRefMATHGoogle Scholar
  20. Manes EG, Arbib MA (1986) Algebraic approach to program semantics, Springer, Berlin, LXXIII, no. 1, pp 227–232Google Scholar
  21. Mateescu A, Rozenberg G, Salomaa A (1998) Shuffle on trajectories: syntactic constraints. Theor Comput Sci 197(1–2):1–56MathSciNetCrossRefMATHGoogle Scholar
  22. Noor ASA, Cornish WH (1986) Multipliers on a nearlattice. Comment Math Univ Carol 27(4):815–827MathSciNetMATHGoogle Scholar
  23. Pulmanová S, Vinceková E (2012) Abelian extensions of partially ordered partial monoids. Soft Comput 16:1339–1346CrossRefMATHGoogle Scholar
  24. Rudeanu S, Vaida D (2004) Semirings in operations research and computer science: more algebra. Fundam Inform 61(204):61–85MathSciNetMATHGoogle Scholar
  25. Rudeanu S, Vaida D (2013) Revisiting the works of Mihail Benado. J Mult-Valued Logic Soft Comput 20(3–4):265–307MathSciNetGoogle Scholar
  26. Schmidt KD (1985) A common abstraction of Boolean rings and lattice ordered groups. Compos Math 54(1):51–82MathSciNetMATHGoogle Scholar
  27. Schwartz N (2004) Convex extensions of partially ordered rings, A series of lectures given at the conference “Géométrie algébrique et analytique réelle”, Kenitra, Morocco, Sept 13–20Google Scholar
  28. Smith FA (1966) A structure theory for a class of lattice-ordered semirings. Fund Math 59:49–64MathSciNetMATHGoogle Scholar
  29. Steenstrup ME (1985) Sum-ordered partial semirings. Ph.D. Thesis, University of Massachusetts, BostonGoogle Scholar
  30. Teh HH (1962) A note on l-groups. Proc Edinb Math Soc 13(1):123–124CrossRefMATHGoogle Scholar
  31. Vaida D (1959) Asupra corpurilor parţial ordonate (On partially ordered fields) (in Romanian) Com Acad R.P.R. IX, 12, 1243–1248Google Scholar
  32. Vaida D (1963) Groupes ordonnés dont les éléments admettent une décomposition jordanienne généralisee, Bericht von der Tagung über Geordnete Mengen, Brno, Nov., 1963, Publ. Fasc. Sci. Univ. J.E. Purkyné, A 28, 1964/9, 494, and C.R. Acad. Sci. Paris, 257 (1963), 2053–2055, C.R. Acad. Sci. Paris, 257 (1963), 2222–2223Google Scholar
  33. Vaida D (1964) Groupes ordonns dont les éléments admettent une décomposition jordanienne généralisee. Rev Roumaine Math Pures et Appl IX 10:930–948MathSciNetMATHGoogle Scholar
  34. Vaida D (2006) Note on some order properties related to processes semantics (I). Fundam Inform 72:1–14MathSciNetMATHGoogle Scholar
  35. Vaida D (2014) On partially ordered semiring-like systems, A Tribute to Alexandru Mateescu, in Gh. Paun, G. Rozenberg, A. Salomaa, eds., Discrete Mathematics and Computer Science. In Memoriam Alexandru Mateescu (1952-2005), Editura Academiei, Bucureti (The Publishing House of the Romanian Academy, Bucharest), 2014, ISBN 978-973-27-2470-5Google Scholar
  36. Sun Y, Yang Y (2013) Note on lattice-ordered rings with positive squares. Algebra Colloq 20:417–420MathSciNetCrossRefMATHGoogle Scholar
  37. Yang YC (2006) A lattice-ordered skew-field is totally ordered if squares are positive. Am Math Mon 113(3):266–267MathSciNetCrossRefMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2017

Authors and Affiliations

  1. 1.Faculty of Mathematics and InformaticsUniversity of BucharestBucharestRomania

Personalised recommendations