The author considers the problem of determining whether certain classes of lattice ordered groups (¿-groups) have the amalgamation property. It is shown that the classes of abelian totally ordered groups (ogroups) and abelian /-groups have the property, but that the class of ¿-groups does not. However, under certain cardinality restrictions one can find an ¿-group which is the "product" of /-gr...

Let n be a positive integer and FA`(n) be the free abelian latticeordered group on n generators. We prove that FA`(m) and FA`(n) do not satisfy the same first-order sentences in the language L={+,−, 0,∧,∨} if m 6= n. We also show that Th(FA`(n)) is decidable iff n ∈ {1, 2}. Finally, we apply a similar analysis and get analogous results for the free finitely generated vector lattices. A. M. S. C...

By studying two unsharp quantum structures, namely extended lattice ordered effect algebras and lattice ordered QMV algebras, we obtain some characteristic theorems of MV algebras. We go on to discuss automata theory based on these two unsharp quantum structures. In particular, we prove that an extended lattice ordered effect algebra (or a lattice ordered QMV algebra) is an MV algebra if and on...

Given a finite totally ordered set of linguistic terms, the operations intersection and connected union provide a lattice structure to the set of hesitant fuzzy linguistic term sets. In this framework, hesitant fuzzy linguistic descriptions of a given set of alternatives are considered. A distance between hesitant fuzzy linguistic descriptions is introduced based on the properties of the lattic...

Let A ⊆ [n] × [n] be a set of pairs containing the diagonal D = {(i, i) | i = 1, . . . , n}, and such that a ≤ b for all (a, b) ∈ A. We study formulae for the generating series FA(x) = ∑ w x w where the sum is over all words w ∈ [n]∗ that avoid A, i.e., (wi, wi+1) 6∈ A for i = 1, . . . , |w| − 1. This series is a rational function, with denominator of the form 1−∑T μA(T )xT , where the sum is o...

We show that the lattice of compactifications of a topological group $G$ is a complete lattice which is isomorphic to the lattice of all closed normal subgroups of the Bohr compactification $bG$ of $G$. The correspondence defines a contravariant functor from the category of topological groups to the category of complete lattices. Some properties of the compactification lattice of a topological ...

in this note we are going to survey several invariants of finite groups related either to their orders or to generating sets or to lattices of subgroups. some relations among these invariants will be exhibited. special attention will be paid to monotonicity of them.

The category, or class of algebras, in the title is denoted by $bf W$. A hull operator (ho) in $bf W$ is a reflection in the category consisting of $bf W$ objects with only essential embeddings as morphisms. The proper class of all of these is $bf hoW$. The bounded monocoreflection in $bf W$ is denoted $B$. We classify the ho's by their interaction with $B$ as follows. A ``word'' is a function ...

Structural phase transitions may lead from a high temperature disordered phase with a space group Go and a unit cell edge a to: a) A ferrodistortive commensurate ordered state with a space group G1 and an unchanged unit cell, a' = a. b) An antiferrodistortive commensurate ordered state with a space group G2 and a unit cell size which is an integral multiple of the high temperature unit cell: a'...