Topological representation for monadic implication algebras

In this paper, every monadic implication algebra is represented as a union of a unique family of monadic filters of a suitable monadic Boolean algebra. Inspired by this representation, we introduce the notion of a monadic implication space, we give a topological representation for monadic implication algebras and we prove a dual equivalence between the category of monadic implication algebras and the category of monadic implication spaces.      

Greechie diagrams of orthomodular partial algebras

Greechie diagrams are well known graphical representations of orthomodular partial algebras, orthomodular posets and orthomodular lattices. For each hypergraph D a partial algebra ⟦D⟧ = (A; ⊕, ′, 0) of type (2,1,0) can be defined. A Greechie diagram can be seen as a special hypergraph: different points of the hypergraph have different interpretations in the corresponding partial algebra ⟦D⟧, and each line in the hypergraph has a maximal Boolean subalgebra as interpretation, in which the points are the atoms. This paper gives some generalisations of the characterisations in [K83] and [D84] of diagrams which represent orthomodular partial algebras (= OMAs), and we give an algorithm how to check whether a given hypergraph D is an OMA-diagram whose maximal Boolean subalgebras are induced by the lines of the hypergraph. Received July 22, 2004; accepted in final form February 1, 2007.     

Endoprimal implication algebras

An algebra A is endoprimal if, for all , the only maps which preserve the endomorphisms of A are the n-ary term functions of A. The theory of natural dualities has been a very effective tool for finding finite endoprimal algebras. We study endoprimality within the variety of implication algebras, which does not contain any non-trivial dualisable algebras. We show that there are no non-trivial finite endoprimal implication algebras. We also give some examples of infinite implication algebras which are endoprimal. Received July 28, 1998; accepted in final form January 18, 1999.     

COMPONENTS OF POSITIVE ELEMENTS IN RIESZ SPACES

Abstract

We find a necessary and sufficient condition on a Riesz space E such that a sub-Boolean algebra of components of a positive element generates the Boolean algebra of all components of the element. This condition yields a dual characterization of principal A-modules in the sense of D. Vuza. When applied to l-algebras, one finds improvements of results of J. Synnatzschke.     

Comparison of Boolean algebras

In this work, some results related to superatomic Boolean interval algebras are presented, and proved in a topological way. Let x be an uncountable cardinal. To each I x, we can associate a superatomic interval Boolean algebra B _I of cardinality x in such a way that the following properties are equivalent: (i) I I x, (ii) B _I is a quotient algebra of B _J, and (iii) there is an homomorphism f from B _J into B _I such that for every atom b of B _I, there is an atom a of B _J satisfying f(a)=b. As a corollary, there are 2 ^x isomorphism types of superatomic interval Boolean algebras of cardinality x. This case is quite different from the countable one.     

Simultaneous congruence representations: a special case

We study the problem of representing a pair of algebraic lattices, L₁ and L₀, as Con(A₁) and Con(A₀), respectively, with A₁ an algebra and A₀ a subalgebra of A₁, and we provide such a representation in a special case. Received September 11, 2004; accepted in final form January 7, 2005.     

Endoprimal algebras

An algebra A is endoprimal if, for all the only maps from A ^k to A which preserve the endomorphisms of A are its term functions. One method for finding finite endoprimal algebras is via the theory of natural dualities since an endodualisable algebra is necessarily endoprimal. General results on endoprimality and endodualisability are proved and then applied to the varieties of sets, vector spaces, distributive lattices, Boolean algebras, Stone algebras, Heyting algebras, semilattices and abelian groups. In many classes the finite endoprimal algebras turn out to be endodualisable. We show that this fails in general by proving that , regarded as either a bounded semilattice or upper-bounded semilattice is dualisable, endoprimal but not endodualisable. Received May 16, 1997; accepted in final form November 6, 1997.     

SECOND-ORDER BOOLEAN ALGEBRAS

Opgedra aan Prof. Hennie Schutte by geleentheid van sy sestigste verjaarsdag.

Abstract

A Boolean algebra is the algebraic version of a field of sets. The complex algebra C(B) of a Boolean algebra B is defined over the power set of B; it is a field of sets with extra operations. The notion of a second-order Boolean algebra is intended to be the algebraic version of the complex algebra of a Boolean algebra. To this end a representation theorem is proved.     

Topological Duality for Boolean Algebras with a Normal <Emphasis Type="Italic">n</Emphasis>-ary Monotonic Operator

In this paper we shall give a topological duality for Boolean algebras endowed with an n-ary monotonic operator (BAMOs). The dual spaces of BAMOs are structures of the form , such that is a Boolean space, and R is a relation between X and a finite sequences of non-empty closed subsets of X. By means of this duality we shall characterize the equivalence relations of the dual space of a BAMO A that correspond biunivocally to subalgebras of A. We shall prove that there exist bijective correspondences between the lattice of congruences, the lattice of closed filters, and the lattice of certain closed subsets of the dual space of a BAMO. These correspondences are used to study the simple and the subdirectly irreducible algebras.      

Effect Algebras as Presheaves on Finite Boolean Algebras

For an effect algebra A, we examine the category of all morphisms from finite Boolean algebras into A. This category can be described as a category of elements of a presheaf R(A) on the category of finite Boolean algebras. We prove that some properties (being an orthoalgebra, the Riesz decomposition property, being a Boolean algebra) of an effect algebra A can be characterized in terms of some properties of the category of elements of the presheaf R(A). We prove that the tensor product of effect algebras arises as a left Kan extension of the free product of finite Boolean algebras along the inclusion functor. The tensor product of effect algebras can be expressed by means of the Day convolution of presheaves on finite Boolean algebras.     

On Flat Semimodules over Semirings

The following analog of the characterization of flat modules has been obtained for the variety of semimodules over a semiring R: A semimodule _RA is flat (i.e., the tensor product functor – A preserves all finite limits) iff A is L-flat (i.e., A is a filtered colimit of finitely generated free semimodules). We also give new (homological) characterizations of Boolean algebras and complete Boolean algebras within the classes of distributive lattices and Boolean algebras, respectively, which solve two problems left open in [14]. It is also shown that, in contrast with the case of modules over rings, in general for semimodules over semirings the notions of flatness and mono-.atness (i.e., the tensor product functor – A preserves monomorphisms) are different.     

Fuzzy Boolean algebras

The purpose of this paper is to generalize the following situation: from the concrete structure $\text{B}$, we define the notion of Boolean algebras; the Stone representation theorem allows us to replace the algebraic study of Boolean algebras by a topological one. Let E be a non-empty set, and J a non-empty ordered set. Note $\text{B}$ the set of all fuzzy subsets of (E,J). We shall introduce the concept of fuzzy Boolean algebra and find a representation theorem. But it will be difficult to speak of the dual fuzzy topological space of a fuzzy Boolean algebra as we shall see further, except in certain particular cases.     

Cohomological Characterizations of Biprojective and Biflat Banach Algebras

 Let A be a biprojective Banach algebra, and let A-mod-A be the category of Banach A-bimodules. In this paper, for every given -mod-A, we compute all the cohomology groups . Furthermore, we give some cohomological characterizations of biprojective Banach algebras. In particular, we show that the following properties of a Banach algebra A are equivalent to its biprojectivity: (i) for all -mod -A; (ii) for all -mod-A; (iii) for all -mod-A. (Here and are, respectively, the Banach A-bimodules of left, right and double multipliers of X.) Further, if A is a biflat Banach algebra and -mod-A, we compute all the cohomology groups , where is the Banach A-bimodule dual to X. Also, we give cohomological characterizations of biflat Banach algebras. We prove that a Banach algebra A is biflat if and only if any of the following conditions is valid: (i’) for all -mod-A; (ii’) for all -mod-A; (iii’) for all -mod-A. Received 16 June 1998     

Cohomological Characterizations of Biprojective and Biflat Banach Algebras

 Let A be a biprojective Banach algebra, and let A-mod-A be the category of Banach A-bimodules. In this paper, for every given -mod-A, we compute all the cohomology groups . Furthermore, we give some cohomological characterizations of biprojective Banach algebras. In particular, we show that the following properties of a Banach algebra A are equivalent to its biprojectivity: (i) for all -mod -A; (ii) for all -mod-A; (iii) for all -mod-A. (Here and are, respectively, the Banach A-bimodules of left, right and double multipliers of X.) Further, if A is a biflat Banach algebra and -mod-A, we compute all the cohomology groups , where is the Banach A-bimodule dual to X. Also, we give cohomological characterizations of biflat Banach algebras. We prove that a Banach algebra A is biflat if and only if any of the following conditions is valid: (i’) for all -mod-A; (ii’) for all -mod-A; (iii’) for all -mod-A.     

Minimally generated Boolean algebras

We introduce the class of minimally generated Boolean algebras, i.e. those algebras representable as the union of a continuous well-ordered chain of subalgebras A ₁ where A _i+1 is a minimal extension of A _i. Minimally generated algebras are closely related to interval algebras and superatomic algebras.     

A characterization of free generating sets in MV-algebras

MV-algebras are a generalization of Boolean algebras. As is well known, a free generating set for a Boolean algebra is characterized by the following simple algebraic condition: whenever A and B are finite disjoint subsets of X then . Our aim in this note is to give a similar characterization of free generating sets in MV-algebras. Received January 30, 2005; accepted in final form March 13, 2007.     

A combinatorial characterization of normalizations of Boolean algebras

In this paper we prove that if a groupoid has exactly distinct n-ary term operations for n=1, 2, 3 and the same number of constant unary term operations for n=0, then it is a normalization of a nontrivial Boolean algebra. This, together with some general facts concerning normalizations of algebras, which we recall, yields a clone characterization of normalizations of nontrivial Boolean algebras: A groupoid (G;·) is clone equivalent to a normalization of a nontrivial Boolean algebra if and only if the value of the free spectrum for (G;·) is for n = 0, 1, 2, 3. In the last section the Minimal Extension Property for the sequence (2, 3) in the class of all groupoids is derived. Received September 15, 2004; accepted in final form October 4, 2005.     

σ‐short Boolean algebras

We introduce properties of Boolean algebras which are closely related to the existence of winning strategies in the Banach‐Mazur Boolean game. A σ‐short Boolean algebra is a Boolean algebra that has a dense subset in which every strictly descending sequence of length ω does not have a nonzero lower bound. We give a characterization of σ‐short Boolean algebras and study properties of σ‐short Boolean algebras. (© 2003 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

F-Polynomials in Quantum Cluster Algebras

F-polynomials and g-vectors were defined by Fomin and Zelevinsky to give a formula which expresses cluster variables in a cluster algebra in terms of the initial cluster data. A quantum cluster algebra is a certain noncommutative deformation of a cluster algebra. In this paper, we define and prove the existence of analogous quantum F-polynomials for quantum cluster algebras. We prove some properties of quantum F-polynomials. In particular, we give a recurrence relation which can be used to compute them. Finally, we compute quantum F-polynomials and g-vectors for a certain class of cluster variables, which includes all cluster variables in type A_n\mbox{A}_{n} quantum cluster algebras.     

Conditions for Permutability of Congruences in Implication Algebras

In this paper we give conditions on an implication algebra A so that two congruences θ ₁, θ ₂ on A permute, i.e. θ ₁ ∘ θ ₂ = θ ₂ ∘ θ ₁. We also provide simpler conditions for permutability in finite implication algebras. Finally we present some applications of these characterizations. The support of Universidad Nacional del Sur and CONICET is gratefully acknowledged.