Sylvester matrix rank functions on crossed products

In this paper we consider the algebraic crossed product ${\mathcal{A}}:=C_{K}(X)\rtimes _{T}\mathbb{Z}$ induced by a homeomorphism $T$ on the Cantor set $X$, where $K$ is an arbitrary field with involution and $C_{K}(X)$ denotes the $K$-algebra of locally constant $K$-valued functions on $X$. We investigate the possible Sylvester matrix rank functions that one can construct on ${\mathcal{A}}$ by means of full ergodic $T$-invariant probability measures $\unicode[STIX]{x1D707}$ on $X$. To do so, we present a general construction of an approximating sequence of $\ast$-subalgebras ${\mathcal{A}}_{n}$ which are embeddable into a (possibly infinite) product of matrix algebras over $K$. This enables us to obtain a specific embedding of the whole $\ast$-algebra ${\mathcal{A}}$ into ${\mathcal{M}}_{K}$, the well-known von Neumann continuous factor over $K$, thus obtaining a Sylvester matrix rank function on ${\mathcal{A}}$ by restricting the unique one defined on ${\mathcal{M}}_{K}$. This process gives a way to obtain a Sylvester matrix rank function on ${\mathcal{A}}$, unique with respect to a certain compatibility property concerning the measure $\unicode[STIX]{x1D707}$, namely that the rank of a characteristic function of a clopen subset $U\subseteq X$ must equal the measure of $U$.

Maps between Banach function algebras satisfying certain norm conditions

Let A and B be Banach function algebras on compact Hausdorff spaces X and Y, respectively, and let \(\bar A\) and \(\bar B\) be their uniform closures. Let I, I′ be arbitrary non-empty sets, α ∈ ℂ\{0}, ρ: I → A, τ: l′ → a and S: I → B T: l′ → B be maps such that ρ(I, τ(I′) and S(I), T(I′) are closed under multiplications and contain exp A and expB, respectively. We show that if ‖S(p)T(p′)−α‖Y=‖ρ(p)τ(p′) − α‖x for all p ∈ I and p′ ∈ I′, then there exist a real algebra isomorphism S: A → B, a clopen subset K of M B and a homeomorphism ϕ: M B → M A between the maximal ideal spaces of B and A such that for all f ∈ A,

Inverse topological systems and compactness in abstract model theory

Given an abstract logic , generated by a set of quantifiers Qi, one can construct for each type τ a topological space Sτ, exactly as one constructs the Stone space for τ in first-order logic. Letting T be an arbitrary directed set of types, the set is an inverse topological system whose bonding mappings are naturally determined by the reduct operation on structures. We relate the compactness of to the topological properties of ST. For example, if I is countable then is compact iff for every τ each clopen subset of Sτ is of finite type and Sτ, is homeomorphic to limST, where T is the set of finite subtypes of τ. We finally apply our results to concrete logics.

0-dimensional compactifications and Boolean rings

A subset of a topological space which is both closed and open is referred to as a clopen subset. Here, a 0-dimensional space is a Hausdorff space which has a basis of clopen sets. Here, a 0-dimensional space is a Hausdorff space which has a basis of clopen sets. By a compactification αX of a completely regular Hausdorff space X, we mean any compact space which contains X as a dense subspace. Two compactifications αX and γX are regarded as being equivalent if there exists a homeomorphism from αX onto γX which keeps X pointwise fixed. We will not distinguish between equivalent compactifications. With this convention, we can partially order any family of compactifications of X by defining αX ≧ γX if there exists a continuous mapping from γX onto αX which leaves X pointwise fixed. This paper is concerned with the study of the partially ordered family [X] of all 0-dimensional compactifications of a 0-dimensional space X.