Archimedean classes in an ordered semigroup. IV
This work discusses the problem of Arens regularity of a lattice-ordered ring. In this prospect, a counterexample is furnished to show that without extra conditions, a lattice-ordered ring need not be Arens regular. However, as shown in this paper, it turns out that any -ring in the sense of Birkhoff and Pierce is Arens regular. This result is then used and extended to the more general setting of almost -rings introduced again by Birkhoff.
We show some families of lattice effect algebras (a common generalization of orthomodular lattices and MV-effect algebras) each element E of which has atomic center C(E) or the subset S(E) of all sharp elements, resp. the center of compatibility B(E) or every block M of E. The atomicity of E or its sub-lattice effect algebras C(E), S(E), B(E) and blocks M of E is very useful equipment for the investigations of its algebraic and topological properties, the existence or smearing of states on E, questions...
There are several special kinds of radical classes. For example, a product radical class is closed under forming product, a closed-kernel radical class is closed under taking order closures, a -radical class is closed under taking -isomorphic images, a polar kernel radical class is closed under taking double polars, etc. The set of all radical classes of the same kind is a complete lattice. In this paper we discuss atoms in these lattices. We prove that every nontrivial element in these lattices...
Ce travail commence par rappeler les définitions et les résultats de base concernant les groupes cycliquement ordonnés, et mentionner différents domaines où ils apparaissent. Ensuite sont exposés quelques développements, notamment sur la théorie du premier ordre, les séries formelles à exposants dans un groupe cycliquement ordonné, les groupes valués dont la valuation est à valeurs dans un ensemble cycliquement ordonné, et un analogue pour les espaces ultramétriques.
In 1978, Courcelle asked for a complete set of axioms and rules for the equational theory of (discrete regular) words equipped with the operations of product, omega power and omega-op power. In this paper we find a simple set of equations and prove they are complete. Moreover, we show that the equational theory is decidable in polynomial time.
In 1978, Courcelle asked for a complete set of axioms and rules for the equational theory of (discrete regular) words equipped with the operations of product, omega power and omega-op power. In this paper we find a simple set of equations and prove they are complete. Moreover, we show that the equational theory is decidable in polynomial time.