Superatomic Boolean algebras constructed from strongly unbounded functions

Using Koszmider's strongly unbounded functions, we show the following consistency result: Suppose that κ, λ are infinite cardinals such that κ^{++ +} ≤ λ, κ^<κ = κ and 2^κ = κ⁺, and η is an ordinal with κ⁺ ≤ η < κ⁺⁺ and cf(η) = κ⁺. Then, in some cardinal‐preserving generic extension there is a superatomic Boolean algebra $\mathcal BUsing Koszmider's strongly unbounded functions, we show the following consistency result: Suppose that κ, λ are infinite cardinals such that κ^{++ +} ≤ λ, κ^<κ = κ and 2^κ = κ⁺, and η is an ordinal with κ⁺ ≤ η < κ⁺⁺ and cf(η) = κ⁺. Then, in some cardinal‐preserving generic extension there is a superatomic Boolean algebra $\mathcal B$ such that $\mathrm{ht}(\mathcal B) = \eta + 1$, $\mathrm{wd}_{\alpha }(\mathcal B) = \kappa$ for every α < η and $\mathrm{wd}_{\eta }(\mathcal B) = \lambda$(i.e., there is a locally compact scattered space with cardinal sequence 〈κ〉_η^??〈λ〉). Especially, $\langle {\omega }\rangle _{{\omega }_1}{}^{\smallfrown } \langle {\omega }_3\rangle$ and $\langle {\omega }_1\rangle _{{\omega }_2}{}^{\smallfrown } \langle {\omega }_4\rangle$ can be cardinal sequences of superatomic Boolean algebras.     

The finiteness of compact Boolean algebras

We show that it consistent with Zermelo‐Fraenkel set theory that there is an infinite, compact Boolean algebra (© 2011 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 .     

Global existence for a class of strongly coupled parabolic systems

A class of strongly coupled parabolic systems is investigated. Sufficient conditions on the structure of the systems are found to assure that weak solutions are bounded and that they are Hölder continuous. Together, these results give the global existence of solutions. The theory is then applied to the general Shigesada–Kawasaki–Teramoto model in population dynamics.     

The depth of ultraproducts of Boolean algebras

We show that if μ is a compact cardinal then the depth of ultraproducts of less than μ many Boolean algebras is at most μ plus the ultraproduct of the depths of those Boolean algebras. Received May 18, 2004; accepted in final form December 9, 2004.     

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.     

The representations of nested composition algebras

In this paper, we investigate the basis graph of the monoid algebra of a submonoid of the monoid of mappings from N = {1,…,n} to itself, defined by a nested sequence of compositions of N. Each such monoid is a left regular band (LRB), that is, a semigroup S satisfying x² = x and xyx = xy for all x,y∈S. This class is su?ciently rich that every path algebra of an acyclic quiver can be embedded in such a monoid algebra. The multiplication in the monoid algebra has a particularly simple quasi-multiplicative form, allowing definition over the integers. Combining this with a formula for Ext-groups for LRBs due to Margolis et al. [6 Margolis, S., Saliola, F., Steinberg, B. (2015). Combinatorial topology and the global dimension of algebras arising in combinatorics. J. Eur. Math Soc. 17(12):3037–3080.[Crossref], [Web of Science ®] , [Google Scholar]], we get a simple criterion for the nested composition algebras to be hereditary.     

The closure of unitary orbit for strongly irreducible operators in a class of nest algebras

A linear operatorT L(H) is called a strongly irreducible, if there is no non-trivial idempotent linear operator commuting withT. In this paper, denote the set of all strongly irreducible operators by (SI). Let be a nest with infinite dimensional atoms, be the nest algebra associated with and be the closure of , then the following result is proved

The representations of cyclotomic BMW algebras

In this paper, we classify the irreducible ?_r,n-modules over a field.     

Lexicographic matching in Boolean algebras

Hall's theorem on systems of distinct representatives implies the existence of matchings between two consecutive levels of a Boolean algebra. In this paper a very simple construction of such matchings is given whose induced chains are in addition symmetric.     

The strongly irreducible operators in nest algebras

An operatorT on is called strongly irreducible ifT does not commute with any nontrivial idempotent operator. In this paper, we first show that each nest algebra ( ) has strongly irreducible operators. Secondly, we obtain a characterization of operators which can be uniquely written as a direct sum of finitely many strongly irreducible operators. Finally, we characterize the strongly irreducibility of operators in a nest algebra ( ).This project was partially supported by National Natural Science Foundation of China.