Lattice subordinations and Priestley duality

There is a well-known correspondence between Heyting algebras and S4-algebras. Our aim is to extend this correspondence to distributive lattices by defining analogues of S4-algebras for them. For this purpose, we introduce binary relations on Boolean algebras that resemble de Vries proximities. We term such binary relations lattice subordinations. We show that the correspondence between Heyting algebras and S4-algebras extends naturally to distributive lattices and Boolean algebras with a lattice subordination. We also introduce Heyting lattice subordinations and prove that the category of Boolean algebras with a Heyting lattice subordination is isomorphic to the category of S4-algebras, thus obtaining the correspondence between Heyting algebras and S4-algebras as a particular case of our approach. In addition, we provide a uniform approach to dualities for these classes of algebras. Namely, we generalize Priestley spaces to quasi-ordered Priestley spaces and show that lattice subordinations on a Boolean algebra B correspond to Priestley quasiorders on the Stone space of B. This results in a duality between the category of Boolean algebras with a lattice subordination and the category of quasi-ordered Priestley spaces that restricts to Priestley duality for distributive lattices. We also prove that Heyting lattice subordinations on B correspond to Esakia quasi-orders on the Stone space of B. This yields Esakia duality for S4-algebras, which restricts to Esakia duality for Heyting algebras.     

Quantum symmetric Kac–Moody pairs

The present paper develops a general theory of quantum group analogs of symmetric pairs for involutive automorphism of the second kind of symmetrizable Kac–Moody algebras. The resulting quantum symmetric pairs are right coideal subalgebras of quantized enveloping algebras. They give rise to triangular decompositions, including a quantum analog of the Iwasawa decomposition, and they can be written explicitly in terms of generators and relations. Moreover, their centers and their specializations are determined. The constructions follow G. Letzter's theory of quantum symmetric pairs for semisimple Lie algebras. The main additional ingredient is the classification of involutive automorphisms of the second kind of symmetrizable Kac–Moody algebras due to Kac and Wang. The resulting theory comprises various classes of examples which have previously appeared in the literature, such as q-Onsager algebras and the twisted q-Yangians introduced by Molev, Ragoucy, and Sorba.     

Modal operators on bounded commutative residuated <Emphasis Type="Italic">ℓ</Emphasis>-monoids

Bounded commutative residuated lattice ordered monoids (Rℓ-monoids) are a common generalization of, e.g., Heyting algebras and BL-algebras, i.e., algebras of intuitionistic logic and basic fuzzy logic, respectively. Modal operators (special cases of closure operators) on Heyting algebras were studied in [MacNAB, D. S.: Modal operators on Heyting algebras, Algebra Universalis 12 (1981), 5–29] and on MV-algebras in [HARLENDEROVá,M.—RACHŮNEK, J.: Modal operators on MV-algebras, Math. Bohem. 131 (2006), 39–48]. In the paper we generalize the notion of a modal operator for general bounded commutative Rℓ-monoids and investigate their properties also for certain derived algebras. The first author was supported by the Council of Czech Government, MSM 6198959214.     

Some properties of lusztig's isomorphism

It is a longstanding open problem in algebraic model theory to determine the model companions of the varieties of relative Stone algebras. Following Weispfenning's general model theory of Boolean products of structures we obtain various theories of Heyting algebras which are model and substructure complete. This works by adding only finitely many constant symbols to the language of Heyting algebras, one of which denoting a global dual atom. Thereby we especially obtain quantifier elimination for theories of atomless Post algebras of order n.     

Funayama’s theorem revisited

Funayama’s theorem states that there is an embedding e of a lattice L into a complete Boolean algebra B such that e preserves all existing joins and meets in L iff L satisfies the join infinite distributive law (JID) and the meet infinite distributive law (MID). More generally, there is a lattice embedding e: L → B preserving all existing joins in L iff L satisfies (JID), and there is a lattice embedding e: L → B preserving all existing meets in L iff L satisfies (MID). Funayama’s original proof is quite involved. There are two more accessible proofs in case L is complete. One was given by Grätzer by means of free Boolean extensions and MacNeille completions, and the other by Johnstone by means of nuclei and Booleanization. We show that Grätzer’s proof has an obvious generalization to the non-complete case, and that in the complete case the complete Boolean algebras produced by Grätzer and Johnstone are isomorphic. We prove that in the non-complete case, the class of lattices satisfying (JID) properly contains the class of Heyting algebras, and we characterize lattices satisfying (JID) and (MID) by means of their Priestley duals. Utilizing duality theory, we give alternative proofs of Funayama’s theorem and of the isomorphism between the complete Boolean algebras produced by Grätzer and Johnstone. We also show that unlike Grätzer’s proof, there is no obvious way to generalize Johnstone’s proof to the non-complete case.     

Bounded distributive lattices with strict implication

The present paper introduces and studies the variety WH of weakly Heyting algebras. It corresponds to the strict implication fragment of the normal modal logic K which is also known as the subintuitionistic local consequence of the class of all Kripke models. The tools developed in the paper can be applied to the study of the subvarieties of WH; among them are the varieties determined by the strict implication fragments of normal modal logics as well as varieties that do not arise in this way as the variety of Basic algebras or the variety of Heyting algebras. Apart from WH itself the paper studies the subvarieties of WH that naturally correspond to subintuitionistic logics, namely the variety of R‐weakly Heyting algebras, the variety of T‐weakly Heyting algebras and the varieties of Basic algebras and subresiduated lattices. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

n‐linear weakly Heyting algebras

The present paper introduces and studies the variety ????_n of n‐linear weakly Heyting algebras. It corresponds to the algebraic semantic of the strict implication fragment of the normal modal logic K with a generalization of the axiom that defines the linear intuitionistic logic or Dummett logic. Special attention is given to the variety ????₂ that generalizes the linear Heyting algebras studied in [10] and [12], and the linear Basic algebras introduced in [2]. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Quotient-bounded elements in locally convex algebras. II

Consideration of quotient-bounded elements in a locally convexGB ^*-algebra leads to the study of properGB ^*-algebras viz those that admit nontrivial quotient-bounded elements. The construction and structure of such algebras are discussed. A representation theorem for a properGB ^*-algebra representing it as an algebra of unbounded Hilbert space operators is obtained in a form that unifies the well-known Gelfand-Naimark representation theorem forC ^*-algebra and two other representation theorems forb ^*-algebras (also calledlmc ^*-algebras), one representinga b ^*-algebra as an algebra of quotient bounded operators and the other as a weakly unbounded operator algebra. A number of examples are discussed to illustrate quotient-bounded operators. An algebra of unbounded operators constructed out of noncommutativeL ^p-spaces on a regular probability gauge space and the convolution algebra of periodic distributions are analyzed in detail; whereas unbounded Hilbert algebras andL ^w-integral of a measurable field ofC ^*-algebras are discussed briefly.     

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.     

Characteristic Formulas of Partial Heyting Algebras

The goal of this paper is to generalize a notion of characteristic (or Jankov) formula by using finite partial Heyting algebras instead of the finite subdirectly irreducible algebras: with every finite partial Heyting algebra we associate a characteristic formula, and we study the properties of these formulas. We prove that any intermediate logic can be axiomatized by such formulas. We further discuss the correlations between characteristic formulas of finite partial algebras and canonical formulas. Then with every well-connected Heyting algebra we associate a set of characteristic formulas that correspond to each finite relative subalgebra of this algebra. Finally, we demonstrate that in many respects these sets enjoy the same properties as regular characteristic formulas. In the last section we outline an approach how to generalize these obtained results to the broad classes of algebras.     

Topo-canonical completions of closure algebras and Heyting algebras

We introduce and investigate topo-canonical completions of closure algebras and Heyting algebras. We develop a duality theory that is an alternative to Esakia’s duality, describe duals of topo-canonical completions in terms of the Salbany and Banaschewski compactifications, and characterize topo-canonical varieties of closure algebras and Heyting algebras. Consequently, we show that ideal completions preserve no identities of Heyting algebras. We also characterize definable classes of topological spaces. Received January 20, 2006; accepted in final form September 12, 2006.     

On Lie algebras associated with representation-directed algebras

Let B be a representation-finite C-algebra. The Z-Lie algebra L(B) associated with B has been defined by Riedtmann in [Ch. Riedtmann, Lie algebras generated by indecomposables, J. Algebra 170 (1994) 526-546]. If B is representation-directed, there is another Z-Lie algebra associated with B defined by Ringel in [C.M. Ringel, Hall Algebras, vol. 26, Banach Center Publications, Warsaw, 1990, pp. 433-447] and denoted by K(B).We prove that the Lie algebras L(B) and K(B) are isomorphic for any representation-directed C-algebra B.     

Strongly Flat and PO-Flat S-Posets

Abstract

The main purpose of this paper is to study Lie algebras L such that if a subalgebra U of L has a maximal subalgebra of dimension one then every maximal subalgebra of U has dimension one. Such an L is called lm(0)-algebra. This class of Lie algebras emerges when it is imposed on the lattice of subalgebras of a Lie algebra the condition that every atom is lower modular. We see that the effect of that condition is highly sensitive to the ground field F. If F is algebraically closed, then every Lie algebra is lm(0). By contrast, for every algebraically non-closed field there exist simple Lie algebras which are not lm(0). For the real field, the semisimple lm(0)-algebras are just the Lie algebras whose Killing form is negative-definite. Also, we study when the simple Lie algebras having a maximal subalgebra of codimension one are lm(0), provided that char(F) ≠ 2. Moreover, lm(0)-algebras lead us to consider certain other classes of Lie algebras and the largest ideal of an arbitrary Lie algebra L on which the action of every element of L is split, which might have some interest by themselves.     

The graded structure of Leavitt path algebras

A Leavitt path algebra associates to a directed graph a ?-graded algebra and in its simplest form it recovers the Leavitt algebra L(1, k). In this note, we first study this ?-grading and characterize the (?-graded) structure of Leavitt path algebras, associated to finite acyclic graphs, C _n -comet, multi-headed graphs and a mixture of these graphs (i.e., polycephaly graphs). The last two types are examples of graphs whose Leavitt path algebras are strongly graded. We give a criterion when a Leavitt path algebra is strongly graded and in particular characterize unital Leavitt path algebras which are strongly graded completely, along the way obtaining classes of algebras which are group rings or crossed-products. In an attempt to generalize the grading, we introduce weighted Leavitt path algebras associated to directed weighted graphs which have natural ⊕?-grading and in their simplest form recover the Leavitt algebras L(n, k). We then show that the basic properties of Leavitt path algebras can be naturally carried over to weighted Leavitt path algebras.     

Quantum exotic PDE’s

Following the previous works on the Prástaro’s formulation of algebraic topology of quantum (super) PDE’s, it is proved that a canonical Heyting algebra (integral Heyting algebra) can be associated to any quantum PDE. This is directly related to the structure of its global solutions. This allows us to recognize a new inside in the concept of quantum logic for microworlds. Furthermore, the Prástaro’s geometric theory of quantum PDE’s is applied to the new category of quantum hypercomplex manifolds, related to the well-known Cayley–Dickson construction for algebras. Theorems of existence for local and global solutions are obtained for (singular) PDE’s in this new category of noncommutative manifolds. Finally, the extension of the concept of exotic PDE’s, recently introduced by Prástaro, has been extended to quantum PDE’s. Then a smooth quantum version of the quantum (generalized) Poincaré conjecture is given too. These results extend ones for quantum (generalized) Poincaré conjecture, previously given by Prástaro.     

I n -symmetrical Heyting algebras

In [11, p. 210] A. Monteiro suggested the possibility of generalizing the results of L. Iturrioz [4] to theI _n -symmetrical Heyting algebras which he namedI _n -algebras. We prove that these algebras are semi-simple. We characterize simple algebras and their subalgebras. Finally, we determine the structure of theI _n -algebra with a finite set of free generators and we give an answer to one of the problems posed by A. Monteiro.Presented by W. Taylor.Some of the results of this paper were presented at the Annual Meeting of the Union Matemática Argentina (September, 1987) ([14]).     

B-frame duality

This paper introduces the category of b-frames as a new tool in the study of complete lattices. B-frames can be seen as a generalization of posets, which play an important role in the representation theory of Heyting algebras, but also in the study of complete Boolean algebras in forcing. This paper combines ideas from the two traditions in order to generalize some techniques and results to the wider context of complete lattices. In particular, we lift a representation theorem of Allwein and MacCaull to a duality between complete lattices and b-frames, and we derive alternative characterizations of several classes of complete lattices from this duality. This framework is then used to obtain new results in the theory of complete Heyting algebras and the semantics of intuitionistic propositional logic.     

Prime spectra of non-commutative generalizations of MV-algebras

Non-commutative generalizations of MV-algebras were introduced by G. Georgescu and A. Iorgulesco as well as by the author; the generalizations are equivalent and are called GMV-algebras. We show that GMV-algebras can be considered as special cases of Grishin algebras. As MV-algebras are algebraic models of the Łukasiewicz logic and Grishin algebras have the analogous role for the classical bilinear logic, GMV-algebras correspond to a non-commutative logic between the above logics. Further, by A. Dvurečenskij, any GMV-algebra is isomorphic to an interval of an l-group, which in general is not commutative. This generalizes D. Mundici's representation of MV-algebras by means of intervals of abelian l-groups. In the paper (using this representation) we describe the properties of prime ideal spectra of GMV-algebras and of their factor algebras and ideals and prove that the spectrum of closed ideals of any GMV-algebra is homeomorphic to that of a completely distributive GMV-algebra. Received January 4, 2001; accepted in final form May 2, 2002.     

Tarski's theorem on intuitionistic logic,for polyhedra

In 1938, Tarski proved that a formula is not intuitionistically valid if, and only if, it has a counter-model in the Heyting algebra of open sets of some topological space. In fact, Tarski showed that any Euclidean space ${\mathbb{R}}^n$ with $n?1$ suffices, as does e.g. the Cantor space. In particular, intuitionistic logic cannot detect topological dimension in the Heyting algebra of all open sets of a Euclidean space. By contrast, we consider the lattice of open subpolyhedra of a given compact polyhedron $P?{\mathbb{R}}^n$, prove that it is a locally finite Heyting subalgebra of the (non-locally-finite) algebra of all open sets of P, and show that intuitionistic logic is able to capture the topological dimension of P through the bounded-depth axiom schemata. Further, we show that intuitionistic logic is precisely the logic of formulæ valid in all Heyting algebras arising from polyhedra in this manner. Thus, our main theorem reconciles through polyhedral geometry two classical results: topological completeness in the style of Tarski, and Ja?kowski's theorem that intuitionistic logic enjoys the finite model property. Several questions of interest remain open. E.g., what is the intermediate logic of all closed triangulable manifolds?