Holland’s theorem for pseudo-effect algebras

We give two variations of the Holland representation theorem for ℓ-groups and of its generalization of Glass for directed interpolation po-groups as groups of automorphisms of a linearly ordered set or of an antilattice, respectively. We show that every pseudo-effect algebra with some kind of the Riesz decomposition property as well as any pseudo MV-algebra can be represented as a pseudo-effect algebra or as a pseudo MV-algebra of automorphisms of some antilattice or of some linearly ordered set.     

Deductive systems of a cone algebra — II: Isomorphism theorem

We prove that there is an isomorphism φ of the lattice of deductive systems of a cone algebra onto the lattice of convex ℓ-subgroups of a lattice ordered group (determined by the cone algebra) such that for any deductive system A of the cone algebra, A is respectively a prime, normal or polar if and only if φ(A) is a prime convex ℓ-subgroup, ℓ-ideal or polar subgroup of the ℓ-group, thus generalizing and extending the result of Rachůnek that the lattice of ideals of a pseudo MV-algebra is isomorphic to the lattice of convex ℓ-subgroups of a unital lattice ordered group.      

Banaschewski’s theorem for generalized <Emphasis Type="Italic">MV</Emphasis>-algebras

A generalized MV-algebra A is called representable if it is a subdirect product of linearly ordered generalized MV-algebras. Let S be the system of all congruence relations ϱ on A such that the quotient algebra A/ϱ is representable. In the present paper we prove that the system S has a least element. This work was supported by Science and Technology Assistance Agency under Contract No AVPT-51-032002. The work has been partially supported by the Slovak Academy of Sciences via the project Center of Excellence-Physics of Information (grant I/2/2005).     

Radical classes and weak radical mappings of GMV-algebras

We use the concept of generalized MV-algebra (GMV-algebra, in short) in the sense of Galatos and Tsinakis; the main tool in their investigation was a truncation construction. The relations between radical classes of GMV-algebras and radical classes of lattice ordered groups are investigated in the present paper. Further, we apply the truncation construction for dealing with weak retract mappings of GMV-algebras. This work has been partially supported by the Slovak Academy of Sciences via the project Center of Excellence — Physics of Information (Grant I/2/2005).     

Extensional subobjects in categories of Ω-fuzzy sets

Two categories Set(Ω) and SetF(Ω) of fuzzy sets over an MV-algebra Ω are investigated. Full subcategories of these categories are introduced consisting of objects (sub(A, δ), σ), where sub(A, δ) is a subset of all extensional subobjects of an object (A, δ). It is proved that all these subcategories are quasi-reflective subcategories in the corresponding categories. Supported by MSM6198898701, grant GAČR 201/04/0381/2 and grant 1M0572.     

Monadic Bounded Commutative Residuated ℓ-monoids

Bounded commutative residuated ℓ-monoids are a generalization of algebras of propositional logics such as BL-algebras, i.e. algebraic counterparts of the basic fuzzy logic (and hence consequently MV-algebras, i.e. algebras of the Łukasiewicz infinite valued logic) and Heyting algebras, i.e. algebras of the intuitionistic logic. Monadic MV-algebras are an algebraic model of the predicate calculus of the Łukasiewicz infinite valued logic in which only a single individual variable occurs. We introduce and study monadic residuated ℓ-monoids as a generalization of monadic MV-algebras. Jiří Rachůnek was supported by the Council of Czech Goverment MSM 6198959214.     

Version of the Grothendieck theorem for subspaces of analytic functions in lattices

A version of Grothendieck’s inequality says that any bounded linear operator acting from a Banach lattice X to a Banach lattice Y acts from X(ℓ²) to Y (ℓ²) as well. A similar statement is proved for Hardy-type subspaces in lattices of measurable functions. Namely, let X be a Banach lattice of measurable functions on the circle, and let an operator T act from the corresponding subspace of analytic functions X_A to a Banach lattice Y or, if Y is also a lattice of measurable functions on the circle, to the quotient space Y/Y_A. Under certain mild conditions on the lattices involved, it is proved that T induces an operator acting from X_A(ℓ²) to Y (ℓ²) or to Y/Y_A(ℓ2), respectively. Bibliography: 7 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 327, 2005, pp. 5–16.     

Characterization of separating couples

Let A, B be two archimedean ℓ-algebras and let U,V be two positive linear maps from A to B. We call that the couple (U,V) is separating with respect to A and B if |a||b| = 0 in A implies |U (a)||V (b)| = 0 in B. In this paper, we prove that if A is an f-algebra with unit elment e, if B is an ℓ-algebra and if (U,V) is a separating couple with respect to A and B then (U ^∼∼,V ^∼∼), where U ^∼∼ (resp V ^∼∼) is the bi-adjoint of U (resp of V), is again a separating couple with respect to the order continuous order biduals (A′)′ _n and (B′)′ _n of A and B respectively furnished with their Arens products respectively. Moreover, in the case where B′ separates the points of B, we give a characterization of any separating couple with respect to A and B.      

On a homogeneity condition for MV-algebras

In this paper we deal with a homogeneity condition for an MV-algebra concerning a generalized cardinal property. As an application, we consider the homogeneity with respect to α-completeness, where α runs over the class of all infinite cardinals. This work was supported by VEGA grant 1/9056/02.     

Bricks and pseudo MV-algebras are equivalent

We will show that the bricks (of Bosbach) and the pseudo MV-algebras are each term equivalent to the class of semigroups with a pair of unary operations ^ and ˘ satisfying the equations: (aa)^b = b = b(aă)˘ and a( a)˘ = (bă)^b and also show that a brick is an interval [0, u] of the positive cone of a unital lattice ordered group. We further extend the notion of implications to a pseudo MV-algebra and study the algebra of such implications.      

A remark on presentations of certain Chevalley groups

Let Φ be a root system of typeA _ℓ, ℓ ≧ 2,D _ℓ, ℓ ≧ 4 orE _ℓ, 6 ≧ ℓ ≧ 8 andG a group generated by nonidentity abelian subgroupsA _r,r∈Φ, satisfying:

Convolution-Dominated Operators on Discrete Groups

We study infinite matrices A indexed by a discrete group G that are dominated by a convolution operator in the sense that for x ∈ G and some . This class of “convolution-dominated” matrices forms a Banach-*-algebra contained in the algebra of bounded operators on ℓ ²(G). Our main result shows that the inverse of a convolution-dominated matrix is again convolution-dominated, provided that G is amenable and rigidly symmetric. For abelian groups this result goes back to Gohberg, Baskakov, and others, for non-abelian groups completely different techniques are required, such as generalized L ¹-algebras and the symmetry of group algebras. K. G. was supported by the Marie-Curie Excellence Grant MEXT-CT 2004-517154.     

<Emphasis Type="Italic">K</Emphasis>-Radical classes and product radical classes of <Emphasis Type="Italic">MV</Emphasis>-algebras

For an MV-algebra let J ₀( ) be the system of all closed ideals of ; this system is partially ordered by the set-theoretical inclusion. A radical class X of MV-algebras will be called a K-radical class iff, whenever ∈ X and is an MV-algebra with J ₀( ) ≅ J ₀( ), then ∈ X. An analogous notation for lattice ordered groups was introduced and studied by Conrad. In the present paper we show that there is a one-to-one correspondence between K-radical classes of MV-algebras and K-radical classes of abelian lattice ordered groups. We also prove an analogous result for product radical classes of MV-algebras; product radical classes of lattice ordered groups were studied by Ton. This work has been partially supported by the Slovak Academy of Sciences via the project Center of Excellence-Physics of Information, Grant I/2/2005.     

Finite-dimensional <Emphasis Type="Italic">ℓ</Emphasis>-simple lattice-ordered algebras with a <Emphasis Type="Italic">d</Emphasis>-basis

It is shown that a unital finite-dimensional ℓ-simple ℓ-algebra with a distributive basis is isomorphic to a lattice-ordered matrix algebra with the entrywise lattice order over a lattice-ordered twisted group algebra of a finite group with the coordinatewise lattice order. It is also shown that the isomorphism is unique.     

Perfect residuated lattice ordered monoids

Bounded Rℓ-monoids form a large subclass of the class of residuated lattices which contains certain of algebras of fuzzy and intuitionistic logics, such as GMV-algebras (= pseudo-MV-algebras), pseudo-BL-algebras and Heyting algebras. Moreover, GMV-algebras and pseudo-BL-algebras can be recognized as special kinds of pseudo-MV-effect algebras and pseudo-weak MV-effect algebras, i.e., as algebras of some quantum logics. In the paper, bipartite, local and perfect Rℓ-monoids are investigated and it is shown that every good perfect Rℓ-monoid has a state (= an analogue of probability measure).     

Torsion in Boundary Coinvariants and K -Theory for Affine Buildings

Let (G, I, N, S) be an affine topological Tits system, and let Γ be a torsion-free cocompact lattice in G. This article studies the coinvariants H ₀(Γ; C(Ω,Z)), where Ω is the Furstenberg boundary of G. It is shown that the class [1] of the identity function in H ₀(Γ; C(Ω, Z)) has finite order, with explicit bounds for the order. A similar statement applies to the K ₀ group of the boundary crossed product C ^*-algebra C(Ω)Γ. If the Tits system has type ? ₂, exact computations are given, both for the crossed product algebra and for the reduced group C ^*-algebra.     

Higher degrees of distributivity in complete generalized <Emphasis Type="Italic">MV</Emphasis>-algebras

We apply the notion of generalized MV-algebra (GMV-algebra, in short) in the sense of Galatos and Tsinakis. Let M be a complete GMV-algebra and let α be a cardinal. We prove that M is α-distributive if and only if it is (α, 2)-distributive. We deal with direct summands of M which are homogeneous with respect to higher degrees of distributivity.     

Closed ideals in topological algebras: A characterization of the topological Φ-algebra C k (x)

Let A be a uniformly closed and locally m-convex Φ-algebra. We obtain internal conditions on A stated in terms of its closed ideals for A to be isomorphic and homeomorphic to C _k (X), the Φ-algebra of all the real continuous functions on a normal topological space X endowed with the compact convergence topology.     

The algebra ofG-relations

In this paper, we study a tower {A _n ^G: n} ≥ 1 of finite-dimensional algebras; here, G represents an arbitrary finite group,d denotes a complex parameter, and the algebraA _n ^G(d) has a basis indexed by ‘G-stable equivalence relations’ on a set whereG acts freely and has 2n orbits. We show that the algebraA _n ^G(d) is semi-simple for all but a finite set of values ofd, and determine the representation theory (or, equivalently, the decomposition into simple summands) of this algebra in the ‘generic case’. Finally we determine the Bratteli diagram of the tower {A _n ^G(d): n} ≥ 1 (in the generic case).     

A homological characterization of hyperbolic groups

A finitely presented group G is hyperbolic iff H ⁽¹⁾ ₁(G,ℝ)=0=⁽¹⁾ ₂(G, ℝ), where H ⁽¹⁾ _* (resp. ⁽¹⁾ _*) denotes the ℓ₁-homology (resp. reduced ℓ₁-homology). If Γ is a graph, then every ℓ₁ 1-cycle in Γ with real coefficients can be approximated by 1-cycles of compact support. A 1-relator group G is hyperbolic iff H ⁽¹⁾ ₁(G,ℝ)=0. Oblatum: 30-IV-1997 & 14-V-1998 / Published online: 14 January 1999