Coproducts of bounded distributive lattices: cancellation

Let denote the coproduct of the bounded distributive lattices L and M. At the 1981 Banff Conference on Ordered Sets, the following question was posed: What is the largest class L of finite distributive lattices such that, for every non-trivial Boolean lattice B and every implies ? In this note, the problem is solved. Received March 2, 1999; accepted in final form July 10, 2000.     

Coproducts of bounded distributive lattices: infinite distributivity

Summary It is shown that, if two bounded distributive lattices satisfy the join-infinite distributive law (JID), then their coproduct also satisfies this law. In 1986, Yaqub proved that generalized Post algebras with a finite lattice of constants satisfy JID, and stated that, in general, it is not known whether a generalized Post algebra satisfies JID when its lattice of constants satisfies JID. In this note, the statement is proved.     

Divided power algebras and distributive laws

We study divided power structures over a product of operads with distributive law. We give a systematic method to characterise the divided power algebras over such a product from the structures of divided power algebra coming from each of the factor operads. We characterise divided power algebras with operadic derivation, as well as divided power p-level algebras in characteristic p, and divided power Poisson algebras in characteristic 3.     

Finitely generated varieties of distributive effect algebras

Lattice-ordered effect algebras generalize both MV-algebras and orthomodular lattices. In this paper, finitely generated varieties of distributive lattice effect algebras are axiomatized, and for any positive integer n, the free n-generator algebras in these varieties are described.     

The Beth property and interpolation in lattice-based algebras and logics

We deal with logics based on lattices with an additional unary operation. Interrelations of different versions of interpolation, the Beth property, and amalgamation, as they bear on modal logics and varieties of modal algebras, superintuitionistic logics and varieties of Heyting algebras, positive logics and varieties of implicative lattices, have been studied in many works. Sometimes these relations can and sometimes cannot be extended to the logics without implication considered in the paper. Supported by INTAS (grant No. 04-77-7080) and by RFBR (grant No. 06-01-00358). Supported by INTAS grant No. 04-77-7080. __________ Translated from Algebra i Logika, Vol. 47, No. 3, pp. 307–334, May–June, 2008.     

Structural matrix algebras related to finite distributive lattices

Abstract

In this paper, we investigate the relation between a structural matrix algebra and the lattice properties of its lattice of invariant subspaces, and reprove known results in a fresh and an explanatory way. Moreover, we also prove the theorem which is partially converse of Proposition 2.6 of [15].     

Finiteness conditions and distributive laws for Boolean algebras

We compare diverse degrees of compactness and finiteness in Boolean algebras with each other and investigate the influence of weak choice principles. Our arguments rely on a discussion of infinitary distributive laws and generalized prime elements in Boolean algebras. In ZF set theory without choice, a Boolean algebra is Dedekind finite if and only if it satisfies the ascending chain condition. The Denumerable Subset Axiom (DS) implies finiteness of Boolean algebras with compact top, whereas the converse fails in ZF. Moreover, we derive from DS the atomicity of continuous Boolean algebras. Some of the results extend to more general structures like pseudocomplemented semilattices (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Games and general distributive laws in Boolean algebras

The games and are played by two players in -complete and max -complete Boolean algebras, respectively. For cardinals such that or , the -distributive law holds in a Boolean algebra iff Player 1 does not have a winning strategy in . Furthermore, for all cardinals , the -distributive law holds in iff Player 1 does not have a winning strategy in . More generally, for cardinals such that , the -distributive law holds in iff Player 1 does not have a winning strategy in . For regular and , implies the existence of a Suslin algebra in which is undetermined.

     

Spectral-like duality for distributive Hilbert algebras with infimum

Distributive Hilbert algebras with infimum, or DH^-algebras for short, are algebras with implication and conjunction, in which the implication and the conjunction do not necessarily satisfy the residuation law. These algebras do not fall under the scope of the usual duality theory for lattice expansions, precisely because they lack residuation. We propose a new approach, that consists of regarding the conjunction as the additional operation on the underlying implicative structure. In this paper, we introduce a class of spaces, based on compactly-based sober topological spaces. We prove that the category of these spaces and certain relations is dually equivalent to the category of DH^-algebras and \({\wedge}\)-semi-homomorphisms. We show that the restriction of this duality to a wide subcategory of spaces gives us a duality for the category of DH^-algebras and algebraic homomorphisms. This last duality generalizes the one given by the author in 2003 for implicative semilattices. Moreover, we use the duality to give a dual characterization of the main classes of filters for DH^-algebras, namely, (irreducible) meet filters, (irreducible) implicative filters and absorbent filters.     

Algebraically closed algebras in certain small congruence distributive varieties

In a finitely generated congruence distributive variety satisfying a weak congruence extension property, the algebraically closed algebras are precisely updirected unions of maximal subdirectly irreducibles. The class of algebraically closed algebras of such a variety is elementary and definable by Horn sentences.     

A topological approach to canonical extensions in finitely generated varieties of lattice-based algebras

This paper investigates completions in the context of finitely generated lattice-based varieties of algebras. It is shown that, for such a variety A, the order-theoretic conditions of density and compactness which characterise the canonical extension of (the lattice reduct of) any A∈A have truly topological interpretations. In addition, a particular realisation is presented of the canonical extension of A; this has the structure of a topological algebra nA(A) whose underlying algebra belongs to A. Furthermore, each of the operations of nA(A) coincides with both the σ-extension and the π-extension of the corresponding operation on A, with which a canonical extension is customarily equipped. Thus, in particular, the variety A is canonical, and all its operations are smooth. The methods employed rely solely on elementary order-theoretic and topological arguments, and by-pass the subtle theory of canonical extensions that has been developed for lattice-based algebras in general.     

Commutants of reflexive algebras and classification of completely distributive subspace lattices

Let be a subspace lattice on a normed space containing a nontrivial comparable element. If commutes with all the operators in , then there exists a scalar such that . Furthermore, we classify the class of completely distributive subspace lattices into subclasses called Type , Type and Type , respectively. It is shown that nontrivial nests or, more generally, completely distributive subspace lattices with a comparable element are Type , and that nontrivial atomic Boolean subspace lattices are Type .

     

Varieties of solvable Lie algebras with a distributive lattice of subvarieties

Translated from Matematicheskie Zametki, Vol. 52, No. 2, pp. 92–100, August, 1992.     

Coproducts of rigid groups

Let ε = (ε ₁, . . . , ε _m ) be a tuple consisting of zeros and ones. Suppose that a group G has a normal series of the form G = G ₁ ≥ G ₂ ≥ . . . ≥ G _m ≥ G _m+1 = 1, in which G _i > G _i+1 for ε _i = 1, G _i = G _i+1 for ε _i = 0, and all factors G _i /G _i+1 of the series are Abelian and are torsion free as right ℤ[G/G _i ]-modules. Such a series, if it exists, is defined by the group G and by the tuple ε uniquely. We call G with the specified series a rigid m-graded group with grading ε. In a free solvable group of derived length m, the above-formulated condition is satisfied by a series of derived subgroups. We define the concept of a morphism of rigid m-graded groups. It is proved that the category of rigid m-graded groups contains coproducts, and we show how to construct a coproduct G◦H of two given rigid m-graded groups. Also it is stated that if G is a rigid m-graded group with grading (1, 1, . . . , 1), and F is a free solvable group of derived length m with basis {x ₁, . . . , x _n }, then G◦F is the coordinate group of an affine space G ⁿ in variables x ₁, . . . , x _n and this space is irreducible in the Zariski topology.