Top Varieties of Generalized MV-Algebras and Unital Lattice-Ordered Groups

In spite of the well-know fact that the system of ?-groups with strong unit (unital ?-groups) does not form a variety, there is a categorical connection between the category of unital ?-groups and the variety of generalized MV-algebras which enables us to naturally export equational machinery and terminology like “variety” from the latter category to the former.

Using this categorical equivalence, we study varieties, or equationally defined classes, and top varieties, varieties above the normal valued variety, of both structures. We generalize Chang's Completeness Theorem for generalized MV-algebras, and formulate some open questions for both structures.     

Abelian <Emphasis Type="Italic">ℓ</Emphasis>-Groups with Strong Unit and Perfect MV-Algebras

We investigate the class of abelian ℓ-groups with strong unit corresponding to perfect MV-algebras via the Γ functor, showing that this is a universal subclass of the class of all abelian ℓ-groups with strong unit and describing the formulas that axiomatize it. We further describe results for classes of abelian ℓ-groups with strong unit corresponding to local MV-algebras with finite rank.     

Solvable covers of the boolean variety of unital ℓ-groups

The varieties of solvable lattice-ordered groups covering the abelian variety were shown independently by Gurchenkov, Reilly, and Darnel to be the Scrimger varieties of ?-groups and the three Medvedev representable covers. In this article, the authors give a parallel characterization of varieties of solvable unital ?-groups which cover the minimal nontrivial variety of boolean unital ?-groups.     

MV-algebras: a variety for magnitudes with archimedean units

Chang’s MV-algebras, on the one hand, are the algebras of the infinite-valued Łukasiewicz calculus and, on the other hand, are categorically equivalent to abelian lattice-ordered groups with a distinguished strong unit, for short, unital ℓ-groups. The latter are a modern mathematization of the time-honored euclidean magnitudes with an archimedean unit. While for magnitudes the unit is no less important than the zero element, its archimedean property is not even definable in first-order logic. This gives added interest to the equivalent representation of unital ℓ-groups via the equational class of MV-algebras. In this paper we survey several applications of this equivalence, and various properties of the variety of MV-algebras.Dedicated to the Memory of Wim BlokReceived August 26, 2003; accepted in final form October 3, 2004.This revised version was published online in August 2005 with a corrected cover date.     

More covers of the Boolean variety of unital ℓ-groups

Within the lattice of varieties of pseudo MV-algebras, the variety ${\mathcal{B}}$ of Boolean algebras is the least nontrivial variety. Komori identified all varieties of (commutative) MV-algebras that cover ${\mathcal{B}}$ . The authors previously identified all solvable varieties of pseudo MV-algebras that cover ${\mathcal{B}}$ . We will show the existence of continuum many nonsolvable varieties of pseudo MV-algebras that cover ${\mathcal{B}}$ , show that periodically primitive u?-groups cannot generate Boolean covers, and show that all noncommutative varieties that are Boolean covers must be Top Boolean.     

State-morphism MV-algebras

We present a stronger variation of state MV-algebras, recently presented by T. Flaminio and F. Montagna, which we call state-morphism MV-algebras. Such structures are MV-algebras with an internal notion, a state-morphism operator. We describe the categorical equivalences of such (state-morphism) state MV-algebras with the category of unital Abelian ?-groups with a fixed state operator and present their basic properties. In addition, in contrast to state MV-algebras, we are able to describe all subdirectly irreducible state-morphism MV-algebras.     

Spectral resolutions in Dedekind σ-complete ?-groups

Using recent results on a generalized form of the Loomis-Sikorski theorem [A. Dvure?enskij, Loomis-Sikorski theorem for σ-complete MV-algebras and ?-groups, J. Austral. Math. Soc. Ser. A 68 (2000) 261-277; D. Mundici, Tensor product and the Loomis-Sikorski theorem for MV-algebras, Adv. Appl. Math. 22 (1999) 227-248], it is shown that a unital Dedekind σ-complete ?-group is a compatible Rickart comgroup in the sense of D.J. Foulis [D.J. Foulis, Spectral resolutions in a Rickart comgroup, Rep. Math. Phys. 54 (2004) 229-250]. In particular, elements in unital Dedekind σ-complete ?-groups and, consequently, elements in σ-MV-algebras, admit uniquely defined spectral resolutions similar to spectral resolutions of self-adjoint operators. A functional calculus and spectra of elements are considered in relation with the Loomis-Sikorski representation by functions.     

Yosida Type Representation for Perfect MV-Algebras

In [9] Mundici introduced a categorical equivalence Γ between the category of MV-algebras and the category of abelian ??-groups with strong unit. Using Mundici's functor Γ, in [8] the authors established an equivalence between the category of perfect MV-algebras and the category of abelian ??-groups. Aim of the present paper is to use the above functors to provide Yosida like representations (see [4]) of a large class of MV-algebras. Mathematics Subject Classification: 03G20, 03B50, 06D30, 06F20.     

Covers in the Lattice of Varieties of m-Groups

We consider some questions on covers in the lattice of varieties of m-groups. We prove the existence of a nonabelian cover of the smallest nontrivial variety of m-groups. We show that there exists an uncountable set of o-approximable varieties of m-groups each of which has continuum many o-approximable covers. In the lattice of o-approximable varieties of m-groups we find a variety that has no covers in this variety and no independent basis of identities.     

On direct limits of MV-algebras

We prove that the correspondence between MV-algebras and abelian ℓ-groups with the strong unit is preserved in the direct limit construction. Further, several classes of MV-algebras which are closed under formation of direct limits will be distinguished.     

Finite groups with ℱ-subnormal conditions

Let ? be a subgroup-closed saturated formation. A finite group G is called an ?_pc-group provided that each subgroup X of G is ?-subabnormal in the ?-subnormal closure of X in G. Let ?_pc be the class of all ?_pc-groups. We study some properties of ? _pc-groups and describe the structure of ?_pc-groups when ? is the class of all soluble π-closed groups, where π is a given nonempty set of prime numbers.     

MV-algebras with operators (the commutative and the non-commutative case)

In the present paper we define the (pseudo) MV-algebras with n-ary operators, generalizing MV-modules and product MV-algebras. Our main results assert that there are bijective correspondences between the operators defined on a pseudo MV-algebra and the operators defined on the corresponding ℓ-group. We also provide a categorical framework and we prove the analogue of Mundici's categorical equivalence between MV-algebras and abelian ℓ-groups with strong unit. Thus, the category of pseudo MV-algebras with operators is equivalent to some category of ℓ-groups with operators.     

Varieties minimal over representable varieties of lattice-ordered groups

Weinberg showed that the variety of abelian lattice-ordered groups is the minimal nontrivial variety in the lattice of varieties of lattice-ordered groups. Scrimger showed that the abelian variety of lattice-ordered groups has countably infinitely many nonrepresentable covering varieties, and it is now known that his varieties are the only nonrepresentable covers of the abelian variety.

In this paper, a variation of the method used to construct the Scrimger varieties is developed that is shown to produce every nonrepresentable cover of any representable variety. Using this variation, all nonrepresentable covers of any weakly abelian l-variety are specifically identified, as are the nonrepresentable covers of any l-metabelian representable l-variety. In both instances, such il-varieties have only countably infinitely many such covers.

Any nonrepresentable cover of a representable il-variety is shown to be a subvariety of a quasi-representable il-variety as defined by Reilly. The class of these quasi-representable l-varieties is shown to contain the well-known L_n l-varieties and to generalize many of their properties.     

A Classification of Regular p-Groups with Invariants (e, 2, 1)

The class of the regular p-groups is one of the important classes in p-groups. Not only it has many similar properties as abelian p-groups, but also many of the p-groups belong to this class. In this paper, using the algorithms for determining the isomorphic regular p-groups, we give a complete classification of the regular p-groups with e-invariants (e, 2, 1).Supported by SXYSF 991003.     

Free products of unital ℓ-groups and free products of generalized MV-algebras

We generalize Komori’s characterization of the proper subvarieties of MV-algebras. Namely, within the variety of generalized MV-algebras (GMV-algebras) such that every maximal ideal is normal, we characterize the proper top varieties. In addition, we present equational bases for these top varieties. We show that there are only countably many different proper top varieties and each of them has uncountably many subvarieties. Finally, we study coproducts and we show that the amalgamation property fails for the class of n-perfect GMV-algebras, i.e., GMV-algebras that can be split into n + 1 comparable slices. This paper has been supported by the Center of Excellence SAS -Physics of Information-I/2/2005, the grant VEGA No. 2/6088/26 SAV, by Science and Technology Assistance Agency under the contracts No. APVT-51-032002, APVV-0071-06, Bratislava.     

Partial Decomposition Bases and Global Warfield Groups

The class of abelian groups with partial decomposition bases was developed by the first author in order to generalize Barwise and Eklof's classification of torsion groups in L_∞ω. In this article, we continue to explore algebraic characteristics of this class and establish a uniqueness theorem, extending our previous work on mixed p-local groups to the global case. It is shown that groups with partial decomposition bases are characterized in terms of Warfield groups and k-groups of Hill and Megibben. In fact, we prove that the class of groups with partial decomposition bases is identical to the class of k-groups, and, as such, closed under direct summands, and that every finitely generated subgroup of a k-group is locally nice. Also, we introduce and explore subgroups possessing a partial subbasis. As an application, it is shown that isotype k-subgroups of abelian groups are k-groups.     

Varieties and Torsion Classes of m-Groups

We prove that every variety of m-groups is a torsion class; find basis of identities for a product variety of m-groups; and show that the product of every finitely based variety of m-groups and a variety of Abelian m-groups is a finitely based variety.