Some Boolean Algebras with Finitely Many Distinguished Ideals I

We consider the theory Th_prin of Boolean algebras with a principal ideal, the theory Th_max of Boolean algebras with a maximal ideal, the theory Th_ac of atomic Boolean algebras with an ideal where the supremum of the ideal exists, and the theory Th_sa of atomless Boolean algebras with an ideal where the supremum of the ideal exists. First, we find elementary invariants for Th_prin and Th_sa. If T is a theory in a first order language and α is a linear order with least element, then we let Sentalg(T) be the Lindenbaum-Tarski algebra with respect to T, and we let intalg(α) be the interval algebra of α. Using rank diagrams, we show that Sentalg(Th_prin) ? intalg(ω⁴), Sentalg(Th_max) ? intalg(ω³) ? Sentalg(Th_ac), and Sentalg(Th_sa) ? intalg(ω² + ω²). For Th_max and Th_ac we use Ershov's elementary invariants of these theories. We also show that the algebra of formulas of the theory Tx of Boolean algebras with finitely many ideals is atomic.     

Finite generation of some cohomology rings via twisted tensor product and Anick resolutions

Over a field of prime characteristic $p>2$, we prove that the cohomology rings of some pointed Hopf algebras of dimension $p^3$ are finitely generated. These are Hopf algebras arising in the ongoing classification of finite dimensional pointed Hopf algebras in positive characteristic. They include bosonizations of Nichols algebras of Jordan type in a general setting. When $p=3$, we also consider their Hopf algebra liftings, that is Hopf algebras whose associated graded algebra with respect to the coradical filtration is given by such a bosonization. Our proofs are based on an algebra filtration and a lemma of Friedlander and Suslin, drawing on both twisted tensor product resolutions and Anick resolutions to locate the needed permanent cocycles in May spectral sequences.     

BOOLEAN ALGEBRAS IN AST

In this paper we investigate Boolean algebras and their subalgebras in Alternative Set Theory (AST). We show that any two countable atomless Boolean algebras are isomorphic and we give an example of such a Boolean algebra. One other main result is, that there is an infinite Boolean algebra freely generated by a set. At the end of the paper we show that the sentence “There is no non-trivial free group which is a set” is consistent with AST.     

Partition Complete Boolean Algebras and Almost Compact Cardinals

For an infinite cardinal K a stronger version of K-distributivity for Boolean algebras, called k-partition completeness, is defined and investigated (e. g. every K-Suslin algebra is a K-partition complete Boolean algebra). It is shown that every k-partition complete Boolean algebra is K-weakly representable, and for strongly inaccessible K these concepts coincide. For regular K ≥ u, it is proved that an atomless K-partition complete Boolean algebra is an updirected union of basic K-tree algebras. Using K-partition completeness, the concept of γ-almost compactness is introduced for γ ≥ K. For strongly inaccessible K we show that K is K-almost compact iff K is weakly compact, and if K is 2^K-almost compact, then K is measurable. Further K is strongly compact iff it is γ-almost compact for all γ ≥ K.     

Dense subtrees in complete Boolean algebras

We characterize complete Boolean algebras with dense subtrees. The main results show that a complete Boolean algebra contains a dense tree if its generic filter collapses the algebra's density to its distributivity number and the reverse holds for homogeneous algebras. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Imaginaries in Boolean algebras

Given an infinite Boolean algebra B, we find a natural class of $\varnothing$‐definable equivalence relations $\mathcal {E}_{B}$ such that every imaginary element from B^eq is interdefinable with an element from a sort determined by some equivalence relation from $\mathcal {E}_{B}$. It follows that B together with the family of sorts determined by $\mathcal {E}_{B}$ admits elimination of imaginaries in a suitable multisorted language. The paper generalizes author's earlier results concerning definable equivalence relations and weak elimination of imaginaries for Boolean algebras, obtained in 10 .     

The overlap algebra of regular opens

Overlap algebras are complete lattices enriched with an extra primitive relation, called “overlap”. The new notion of overlap relation satisfies a set of axioms intended to capture, in a positive way, the properties which hold for two elements with non-zero infimum. For each set, its powerset is an example of overlap algebra where two subsets overlap each other when their intersection is inhabited. Moreover, atomic overlap algebras are naturally isomorphic to the powerset of the set of their atoms. Overlap algebras can be seen as particular open (or overt) locales and, from a classical point of view, they essentially coincide with complete Boolean algebras. Contrary to the latter, overlap algebras offer a negation-free framework suitable, among other things, for the development of point-free topology. A lot of topology can be done “inside” the language of overlap algebra. In particular, we prove that the collection of all regular open subsets of a topological space is an example of overlap algebra which, under natural hypotheses, is atomless. Since they are a constructive counterpart to complete Boolean algebras and, at the same time, they have a more powerful axiomatization than Heyting algebras, overlap algebras are expected to turn out useful both in constructive mathematics and for applications in computer science.     

On finite-dimensional copointed Hopf algebras over dihedral groups

We classify all finite-dimensional Hopf algebras over an algebraically closed field of characteristic zero such that its coradical is isomorphic to the algebra of functions ${\mathbb{k}}^{{\mathbb{D}}_m}$ over a dihedral group ${\mathbb{D}}_m$, with $m=4a\ge 12$. We obtain this classification by means of the lifting method, where we use cohomology theory to determine all possible deformations. Our result provides an infinite family of new examples of finite-dimensional copointed Hopf algebras over dihedral groups.     

The classification of 3-dimensional noetherian cubic Calabi–Yau algebras

It is known that every 3-dimensional noetherian Calabi–Yau algebra generated in degree 1 is isomorphic to a Jacobian algebra of a superpotential. Recently, S.P. Smith and the first author classified all superpotentials whose Jacobian algebras are 3-dimensional noetherian quadratic Calabi–Yau algebras. The main result of this paper is to classify all superpotentials whose Jacobian algebras are 3-dimensional noetherian cubic Calabi–Yau algebras. As an application, we show that if S is a 3-dimensional noetherian cubic Calabi–Yau algebra and σ is a graded algebra automorphism of S, then the homological determinant of σ can be calculated by the formula $\mathrm{hdet}\sigma ={(\det \sigma )}^2$ with one exception.     

Sequential Convergences on Boolean Algebras Defined by Systems of Maximal Filters

We study sequential convergences defined on a Boolean algebra by systems of maximal filters. We describe the order properties of the system of all such convergences. We introduce the category of 2-generated convergence Boolean algebras and generalize the construction of Novak sequential envelope to such algebras.