Profinite Heyting Algebras

For a Heyting algebra A, we show that the following conditions are equivalent: (i) A is profinite; (ii) A is finitely approximable, complete, and completely join-prime generated; (iii) A is isomorphic to the Heyting algebra Up(X) of upsets of an image-finite poset X. We also show that A is isomorphic to its profinite completion iff A is finitely approximable, complete, and the kernel of every finite homomorphic image of A is a principal filter of A.      

Comparison of MacNeille,Canonical, and Profinite Completions

Using duality theory, we give necessary and sufficient conditions for the MacNeille, canonical, and profinite completions of distributive lattices, Heyting algebras, and Boolean algebras to be isomorphic. The second author was supported by VICI grant 639.073.501 of the Netherlands Organization for Scientific Research (NWO).     

Heyting代数的谱空间

本文通过Ｈｅｙｔｉｎｇ代数谱空间的刻画，给出了Ｈｅｙｔｉｎｇ代数的拓扑表达。     

Canonical Extensions and Profinite Completions of Semilattices and Lattices

Canonical extensions of (bounded) lattices have been extensively studied, and the basic existence and uniqueness theorems for these have been extended to general posets. This paper focuses on the intermediate class \({{\boldsymbol{\mathcal{S}}}}_{\wedge}\) of (unital) meet semilattices. Any \({\mathbf S}\in {{\boldsymbol{\mathcal{S}}}}_{\wedge}\) embeds into the algebraic closure system Filt(Filt(S)). This iterated filter completion, denoted Filt²(S), is a compact and \({\textstyle{\bigvee}\,}{\textstyle{\bigwedge}\,}\) -dense extension of S. The complete meet-subsemilattice S ^δ of Filt²(S) consisting of those elements which satisfy the condition of \({\textstyle{\bigwedge}\,}{\textstyle{\bigvee}\,}\) -density is shown to provide a realisation of the canonical extension of S. The easy validation of the construction is independent of the theory of Galois connections. Canonical extensions of bounded lattices are brought within this framework by considering semilattice reducts. Any S in \({{\boldsymbol{\mathcal{S}}}}_{\wedge}\) has a profinite completion, \({\rm Pro}_{{{\boldsymbol{\mathcal{S}}}}_{\wedge}}({\mathbf S})\) . Via the duality theory available for semilattices, \({\rm Pro}_{{{\boldsymbol{\mathcal{S}}}}_{\wedge}}({\mathbf S})\) can be identified with Filt²(S), or, if an abstract approach is adopted, with \({\mathbb F_{\sqcup}}({\mathbb F_{\sqcap}}({\mathbf S}))\) , the free join completion of the free meet completion of S. Lifting of semilattice morphisms can be considered in any of these settings. This leads, inter alia, to a very transparent proof that a homomorphism between bounded lattices lifts to a complete lattice homomorphism between the canonical extensions. Finally, we demonstrate, with examples, that the profinite completion of S, for \({\mathbf S} \in {{\boldsymbol{\mathcal{S}}}}_{\wedge}\) , need not be a canonical extension. This contrasts with the situation for the variety of bounded distributive lattices, within which profinite completion and canonical extension coincide.     

Boolean Topological Distributive Lattices and Canonical Extensions

This paper presents a unified account of a number of dual category equivalences of relevance to the theory of canonical extensions of distributive lattices. Each of the categories involved is generated by an object having a two-element underlying set; additional structure may be algebraic (lattice or complete lattice operations) or relational (order) and, in either case, topology may or may not be included. Among the dualities considered is that due to B. Banaschewski between the categories of Boolean topological bounded distributive lattices and the category of ordered sets. By combining these dualities we obtain new insights into canonical extensions of distributive lattices. The second author was supported by Slovak grants VEGA 1/3026/06 and APVV-51-009605.     

Galois Extensions of Boolean Algebras

We characterize Galois extensions of Boolean algebras as finite extensions with the independent set of generators, answering a question of D. Monk.     

Triangular Decomposition of Composition Algebras of Domestic Canonical Algebras

Let A be a domestic canonical algebra over a finite field. In this article, we prove that the composition algebra C(A) of A has a triangular decomposition 𝒫·𝒯·? corresponding to the division of the indecomposable modules into the preprojectives, the regulars, and the preinjectives.     

Liouville Extensions of Artinian Simple Module Algebras

In a previous article (Amano and Masuoka, 2005 Amano , K. , Masuoka , A. ( 2005 ). Picard–Vessiot extensions of Artinian simple module algebras . J. Algebra 285 : 743 – 767 . [CSA] [Crossref], [Web of Science ®] , [Google Scholar]), the author and Masuoka developed a Picard–Vessiot theory for module algebras over a cocommutative pointed smooth Hopf algebra D. By using the notion of Artinian simple (AS)D-module algebras, it generalizes and unifies the standard Picard–Vessiot theories for linear differential and difference equations. The purpose of this article is to define the notion of Liouville extensions of AS D-module algebras and to characterize the corresponding Picard–Vessiot group schemes.     

Ore Extensions of Multiplier Hopf Algebras

The goal of this article is to generalize the theory of Hopf–Ore extensions on Hopf algebras to multiplier Hopf algebras. First the concept of a Hopf–Ore extension of a multiplier Hopf algebra is introduced. We give a necessary and sufficient condition for Ore extensions to become a multiplier Hopf algebra. Finally, *-structures are constructed on Hopf–Ore extensions, and certain isomorphisms between Hopf–Ore extensions are discussed.     

Galois Extensions for Coquasi-Hopf Algebras

In this article, we consider categories of all semimodules over semirings which are p-Schreier varieties, i.e., varieties whose projective algebras are all free. Among other results, we show that over a division semiring R all semimodules are projective iff R is a division ring, prove that categories of all semimodules over proper additively π-regular semirings are not p-Schreier varieties (in particular, this result solves Problem 1 of Katsov [8 Katsov , Y. ( 2004 ). Toward homological characterization of semirings: Serre's conjecture and Bass's perfectness in a semiring context . Algebra Universalis 52 : 197 – 214 .[Crossref], [Web of Science ®] , [Google Scholar]]), as well as prove that categories of all semimodules over cancellative division semirings are, in contrast, p-Schreier varieties.     

拟三角Hopf代数的Ore -扩张

该文主要考虑了拟三角Hopf代数的某种Ore -扩张问题. 对拟三角Hopf代数的Ore -扩张何时保持相同的拟三角结构给出了充分必要条件. 最后作为应用, 文章讨论了Sweedler Hopf代数和Lusztig小量子群的Ore -扩张结构.     

Hopf代数的二重Ore扩张

本文的目的 是定义Hopf二重Ore扩张,讨论这种扩张的基本性质并研究Hopf代数的分次与Hopf二重Ore扩张之间的关系.作者还研究了连通分次Hopf代数的结构及其Hopf二重Ore扩张的同调性质.     

Decision methods for linearly ordered Heyting algebras

The decision problem for positively quantified formulae in the theory of linearly ordered Heyting algebras is known, as a special case of work of Kreisel, to be solvable; a simple solution is here presented, inspired by related ideas in Gödel-Dummett logic.     

On Universal Central Extensions of Leibniz Algebras

We construct the endofunctor 𝔲𝔠𝔢 between the category of Leibniz algebras which assigns to a perfect Leibniz algebra its universal central extension, and we obtain the isomorphism 𝔲𝔠𝔢_Lie(𝔮_Lie) ? (𝔲𝔠𝔢_Leib(𝔮))_Lie, where 𝔮 is a perfect Leibniz algebra satisfying the condition [x, [x, y]] + [[x, y], x] = 0, for all x, y ∈ 𝔮. Moreover, we obtain several results concerning the lifting of automorphisms and derivations in a covering. We also study the relationship between the universal central extension of a semidirect product of perfect Leibniz algebras and the semidirect product of the universal central extension of both of them.     

On Generalized Friedrichs and Krein‐von Neumann Extensions and Canonical Systems

Let S be a densely defined and closed symmetric relation in a Hilbert space ℋ︁ with defect numbers (1,1), and let A be some of its canonical selfadjoint extensions. According to Krein's formula, to S and A corresponds a so‐called Q‐function from the Nevanlinna class N . In this note we show to which subclasses N _γ of N the Q‐functions corresponding to S and its canonical selfadjoint extensions belong and specify the Q‐functions of the generalized Friedrichs and Krein‐von Neumann extensions. A result of L. de Branges implies that to each function Q ∈ N there corresponds a unique Hamiltonian H such that Q is the Titchmarsh‐Weyl coefficient of the two‐dimensional canonical system J_y′ = —zHy on [0, ∞) where Weyl's limit point case prevails at ∞. Then the boundary condition y(0) = 0 corresponds to a symmetric relation T_min with defect numbers (1,1) in the Hilbert space L²_H, and Q is equal to the Q‐function with respect to the extension corresponding to the boundary condition y₁(0) = 0. If H satisfies some growth conditions at 0 or ∞, wepresent results on the corresponding Q‐functions and show under which conditions the generalized Friedrichs or Krein‐von Neumann extension exists.     

Exceptional Modules for Tubular Canonical Algebras

Let Λ be a tubular canonical algebra of quiver type over a field. We show that each exceptional Λ-module can be exhibited by matrices involving as coefficients 0, 1 and –1 if Λ is of type (3,3,3), (2,4,4) or (2,3,6) and by matrices involving as coefficients 0, 1, –1, λ, –λ and λ–1 if Λ is of type (2,2,2,2) and defined by a parameter λ. Presented by Claus M. Ringel.     

Finitely generated relatively universal varieties of Heyting algebras

Given distinct varieties and of the same type, we say that is relatively -universal if there exists an embedding :K from a universal categoryK such that for every pairA, B ofK-objects, a homomorphismf:A B has the formf=_g for someK-morphismg:A B if and only if Im(f) . Finitely generated relatively -universal varieties of Heyting algebras are described for the variety of Boolean algebras, the variety generated by a three element chain, and for the variety generated by the four element Boolean algebra with an added greatest element.Dedicated to the memory of Alan DayPresented by J. Sichler.The support of the NSERC is gratefully acknowledged.     

Automorphisms of Tensor Completions of Algebras

In the classical representation of different groups, frequent use is made of a linear automorphism group of various algebras. Since the linear automorphism group is only part of a full automorphism group, such an approach might seem to be too restrictive. In this connection, we point out a natural, wide class of algebras whose automorphisms are standard and are reducible to linear. Thus, for algebras in this class, studying the full automorphism group reduces to treating the linear, a traditional approach in the class of such algebras being quite general.__________Translated from Algebra i Logika, Vol. 44, No. 3, pp. 368–382, May–June, 2005.     

A Morita Context and Galois Extensions for Quasi-Hopf Algebras

If H is a finite dimensional quasi-Hopf algebra and A is a left H-module algebra, we show that there is a Morita context connecting the smash product A#H and the subalgebra of invariants A ^H . We define also Galois extensions and prove the connection with this Morita context, as in the Hopf case.