Related papers: Existence of endo-rigid Boolean algebras
The algebraic approach to the Constraint Satisfaction Problem (CSP) uses high order symmetries of relational structures -- polymorphisms -- to study the complexity of the CSP. In this paper we further develop one of the methods the…
Let $X$ be a klt projective variety with numerically trivial canonical divisor. A surjective endomorphism $f:X\to X$ is amplified (resp.~quasi-amplified) if $f^*D-D$ is ample (resp.~big) for some Cartier divisor $D$. We show that after…
Let $\lambda$ be a large enough cardinal number (assuming GCH it suffices to let $\lambda=\aleph_\omega$). If $X$ is a Banach space with $\text{dens}(X)\ge\lambda$, which admits a coarse (or uniform) embedding into any $c_0(\Gamma)$, then…
Assume that $M$ is a c.t.m. of $ZFC+CH$ containing a simplified $(\omega_1,2)$-morass, $P\in M$ is the poset adding $\aleph_3$ generic reals and $G$ is $P$-generic over $M$. In $M$ we construct a function between sets of terms in the…
Double Boolean algebras are algebras $\underline{D}=(D;\sqcap,\sqcup,\neg,\lrcorner,\bot,\top)$ of type $(2,2,1,1,0,0)$ introduced by Rudolf Wille to capture the equational theory of the algebra of protoconcepts. Every double Boolean…
An algebra that generates a variety with uncountably many subvarieties is said to be of type $2^{\aleph_0}$. We show that the Rees quotient monoid $M(aabb)$ of order ten is of type $2^{\aleph_0}$, thereby affirmatively answering a recent…
Let H be a countable subgroup of the metrizable compact abelian group G and f:H -> T=R/Z a (not necessarily continuous) character of H. Then there exists a sequence (chi_n)_n of (continuous) characters of G such that lim_n chi_n(alpha) =…
A C*-algebra is n-homogeneous (where n is finite) if every its nonzero irreducible representation acts on an n-dimensional Hilbert space. An elementary proof of Fell's characterization of n-homogeneous C*-algebras (by means of their…
Let A be an abelian variety defined over a number field and of dimension g. When g<3, by the recent work of Sawin, we know the exact (nonzero) value of the density of the set of primes which are ordinary for A. In higher dimension very…
We prove that for lambda = beta_omega or just lambda strong limit singular of cofinality aleph_0, if there is a universal member in the class K^lf_lambda of locally finite groups of cardinality lambda, then there is a canonical one…
We make use of a forcing technique for extending Boolean algebras. The same type of forcing was employed in [BK81], [Kos99], and elsewhere. Using and modifying a lemma of Koszmider, and using CH, we obtain an atomless BA, A such that f(A) =…
Our original aim was, in Abelian group theory to prove the consistency of: lambda is strong limit singular and for some properties of abelian groups which are relatives of being free, the compactness in singular fails. In fact this should…
We give a numerical characterization of mutual orthogonality (that is, complementarity) for subalgebras. In order to give such a characterization for mutually orthogonal subalgebras $A$ and $B$ of the $k \times k$ matrix algebra…
A finite algebra $\bA=\alg{A;\cF}$ is \emph{dualizable} if there exists a discrete topological relational structure $\BA=\alg{A;\cG;\cT}$, compatible with $\cF$, such that the canonical evaluation map $e\_{\bB}\colon \bB\to \Hom(…
We examine the question of when the *-homomorphism of full amalgamated free product C*-algebras \lambda: A *_D B --> A' *_{D'} B', arising from compatible inclusions of C*-algebras A in A', B in B' and D in D', is an embedding. Results…
The problem of inner vs outer conjugacy of subalgebras of certain graph C*-algebras is investigated. For a large class of finite graphs E, we show that whenever $\alpha$ is a vertex-fixing quasi-free automorphism of the corresponding graph…
FitzGerald identified four conditions (RI), (UR), (RI*) and (UR*) that are necessarily satisfied by an algebra, if its monoid of endomorphisms has commuting idempotents. We show that these conditions are not sufficient, by giving an example…
We assign a relational structure to any finite algebra in a canonical way, using solution sets of equations, and we prove that this relational structure is polymorphism-homogeneous if and only if the algebra itself is…
Let $K$ be a field of characteristic zero, let $A_1=K[x][\partial ]$ be the first Weyl algebra. In this paper we prove the following two results. Assume there exists a non-zero polynomial $f(X,Y)\in K[X,Y]$, which has a non-trivial solution…
We consider regular endomorphisms of the complex affine space with a degree gap $k$. They are endomorphisms $f$ of $\mathbb{A}_{\mathbb{C}}^{N}$ of the form…