Related papers: Existence of Endo-Rigid Boolean Algebras

In general relativity (without matter), there is typically a one parameter family of static, maximally symmetric black hole solutions labelled by their mass. We show that there are situations with many more black holes. We study…

In answer to a question on Mathoverflow we show that the Boolean algebra $\mathcal{P}(\omega)/\mathit{fin}$ contains a family $\{\mathcal{B}_X:X\subseteq\mathfrak{c}\}$ of subalgebras with the property that $X\subseteq Y$ implies…

Given a complete Heyting algebra we construct an algebraic tensor triangulated category whose Bousfield lattice is the Booleanization of the given Heyting algebra. As a consequence we deduce that any complete Boolean algebra is the…

Denote by PSelf(X) (resp., Self(X)) the partial (resp., full) transformation monoid over a set X, and by Sub(V) (resp., End(V)) the collection of all subspaces (resp., endomorphisms) of a vector space V. We prove various results that imply…

We give a necessary and sufficient condition for an atomless Boolean algebra to be countably generated, and use it to give new proofs of some some know facts due to Gaifman-Hales and Solovay and also due to Jech, Kunen and Magidor. We also…

Boolean ultrapowers extend the classical ultrapower construction to work with ultrafilters on any complete Boolean algebra, rather than only on a power set algebra. When they are well-founded, the associated Boolean ultrapower embeddings…

We define varieties of algebras for an arbitrary endofunctor on a cocomplete category using pairs of natural transformations. This approach is proved to be equivalent to the one of equational classes defined by equation arrows. Free…

Ultrahomogeneity and $\omega$-categoricity are two central concepts arising from model theory, with strong connections with oligomorphic permutation groups and quantifier elimination. In particular, both are conditions on the automorphism…

It is proved that the Jacobian of a k-endomorphism of k[x_1,...,x_n] over a field k of characteristic zero taking every tame coordinate to a coordinate, must be a nonzero constant in k. It is also proved that the Jacobian of an…

We exhibit an adjunction between a category of abstract algebras of partial functions and a category of set quotients. The algebras are those atomic algebras representable as a collection of partial functions closed under relative…

For an arbitrary octonion algebra, we determine all subalgebras. It turns out that every subalgebra of dimension less than four is associative, while every subalgebra of dimension greater than four is not associative. In any split octonion…

We give a classification and complete algebraic description of groups allowing only finitely many (left multiplication invariant) circular orders. In particular, they are all solvable groups with a specific semi-direct product…

On every set A there is a rigid binary relation, i.e. such a relation R that there is no homomorphism (A,R)->(A,R) except the identity (Vopenka et al. [1965]). We state two conjectures which strengthen this theorem. We prove these…

By using the Ringel-Hall algebra approach, we investigate the structure of the Lie algebra $L(\Lambda)$ generated by indecomposable constructible sets in the varieties of modules for any finite dimensional $\mathbb{C}$-algebra $\Lambda.$ We…

In an earlier work, the author observed that Boolean inverse semi-groups, with semigroup homomorphisms preserving finite orthogonal joins, form a congruence-permutable variety of algebras, called biases. We give a full description of…

An abelian group is said to be aleph_1-free if all its countable subgroups are free. Our main result is: If R is a ring with R^+ free and |R|<lambda <= 2^{aleph_0}, then there exists an aleph_1-free abelian group G of cardinality lambda…

An extended derivation (endomorphism) of a (restricted) Lie algebra $L$ is an assignment of a derivation (respectively) of $L'$ for any (restricted) Lie morphism $f:L\to L'$, functorial in $f$ in the obvious sense. We show that (a) the only…

We address several questions of Donald Monk related to irredundance and spread of Boolean algebras, gaining both some ZFC knowledge and consistency results. We show in ZFC that irr(B_0 times B_1)= max(irr(B_0),irr(B_1)). We prove…

In this work we construct a C*-algebra from an injective endomorphisms of some group G, allowing the endomorphism to have infinite cokernel. We generalize results obtained by I. Hirshberg and also by J. Cuntz and A. Vershik. In good cases…

We describe and classify countable Boolean rings (which may or may not have a multiplicative identity) with finitely many distinguished ideals whose elementary theory is countably categorical. This extends the description by Macintyre and…