On a superatomic Boolean algebra which is not generated by a well-founded sublattice

Let b denote the unboundedness number of ω^ω. That is, b is the smallest cardinality of a subset such that for everyg∈ω^ω there isf ∈ F such that {n: g(n) ≤ f(n)}is infinite. A Boolean algebraB is wellgenerated, if it has a well-founded sublatticeL such thatL generatesB. We show that it is consistent with ZFC that , and there is a Boolean algebraB such thatB is not well-generated, andB is superatomic with cardinal sequence 〈ℵ₀, ℵ₁, ℵ₁, 1〉. This result is motivated by the fact that if the cardinal sequence of a Boolean algebraB is 〈ℵ₀, ℵ₀, λ, 1〉, andB is not well-generated, then λ≥b.     

On Poset Boolean Algebras

Let (P,≤) be a partially ordered set. The poset Boolean algebra of P, denoted F(P), is defined as follows: The set of generators of F(P) is {x _p  : p∈P}, and the set of relations is {x _p ⋅x _q =x _p  : p≤q}. We say that a Boolean algebra B is well-generated, if B has a sublattice G such that G generates B and (G,≤ ^B |G) is well-founded. A well-generated algebra is superatomic. THEOREM 1. Let (P,≤) be a partially ordered set. The following are equivalent. (i) P does not contain an infinite set of pairwise incomparable elements, and P does not contain a subset isomorphic to the chain of rational numbers, (ii) F(P) is superatomic, (iii) F(P) is well-generated. The equivalence (i) ⇔ (ii) is due to M. Pouzet. A partially ordered set W is well-ordered, if W does not contain a strictly decreasing infinite sequence, and W does not contain an infinite set of pairwise incomparable elements. THEOREM 2. Let F(P) be a superatomic poset algebra. Then there are a well-ordered set W and a subalgebra B of F(W), such that F(P) is a homomorphic image of B. This is similar but weaker than the fact that every interval algebra of a scattered chain is embeddable in an ordinal algebra. Remember that an interval algebra is a special case of a poset algebra. This revised version was published online in June 2006 with corrections to the Cover Date.     

A characterization of ℵ1-free abelian groups and its application to the chase radical

A groupA is an ℵ₁-free abelian group iffA is a subgroup of the Boolean power Z^(B) for some complete Boolean algebraB. The Chase radicalvA=Σ{C≦A: Hom(C, Z)=0 &C is countable). The torsion class {A:vA=A} is not closed under uncountable direct products.     

Splitting recursively enumerable subalgebras in recursive Boolean algebras

A Boolean algebraB= is recursive ifB is a recursive subset of ω and the operations Λ, v and ┌ are partial recursive. A subalgebraC ofB is recursive an (r.e.) ifC is a recursive (r.e.) subset of B. Given an r.e. subalgebraA, we sayA can be split into two r.e. subalgebrasA ₁ andA ₂ if (A ₁ ∪A ₂)^*=A andA ₁ ∩A ₂={0, 1}. In this paper we show that any nonrecursive r.e. subalgebra ofB can be split into two nonrecursive r.e. subalgebras ofB. This is a natural analogue of the Friedberg's splitting theorem in ω recursion theory.     

On radicals of triangular operator algebras

SupposeB is a type IC ^*-algebra admitting a diagonalD in the sense of Kumjian, and letE be the conditional expectation fromB ontoD. A subalgebraA ofB is called triangular with diagnoalD ifA∩A*=D. Theorem: Under the above assumptions the Jacobson radical ofA equals the intersection ofA with the kernel of the conditional expectationE. Although the statement of the theorem is coordinate free, the proof requires the use of coordinates in essential ways. A theorem by Kumjian allows us to represent everyC ^*-algebra admitting a diagonal as theC ^*-algebra of a certain groupoid. This enables us to apply the techniques of topological groupoids as developed by Renault and Muhly. A very convenient way of expressing a triangular subalgebra of theC ^*-algebra of a T-groupoid is given by the Spectral Theorem for Bimodules, due to Qui, which is a descendent of the Spectral Theorem for Bimodules due to Muhly and Solel, and to Muhly, Saito and Solel in the context of von Neumann algebras.     

Simple groups of finite morley rank and Tits buildings

Theorem A:If ℬ is an infinite Moufang polygon of finite Morley rank, then ℬ is either the projective plane, the symplectic quadrangle, or the split Cayley hexagon over some algebraically closed field. In particular, ℬ is an algebraic polygon. It follows that any infinite simple group of finite Morley rank with a spherical MoufangBN-pair of Tits rank 2 is eitherPSL ₃(K),PSp ₄(K) orG ₂(K) for some algebraically closed fieldK. Spherical irreducible buildings of Tits rank ≥ 3 are uniquely determined by their rank 2 residues (i.e. polygons). Using Theorem A we show Theorem B:If G is an infinite simple group of finite Morley rank with a spherical Moufang BN-pair of Tits rank ≥ 2, then G is (interpretably) isomorphic to a simple algebraic group over an algebraically closed field. Theorem C:Let K be an infinite field, and let G(K) denote the group of K-rational points of an isotropic adjoint absolutely simple K-algebraic group G of K-rank ≥ 2. Then G(K) has finite Morley rank if and only if the field K is algebraically closed. We also obtain a result aboutBN-pairs in splitK-algebraic groups: such aBN-pair always contains the root groups. Furthermore, we give a proof that the sets of points, lines and flags of any ℵ₁-categorical polygon have Morley degree 1. Partially sponsored by the Edmund Landau Center for Research in Mathematical Analysis, supported by the Minerva Foundation (Germany). Supported by the Minerva Foundation (Germany). Research Director at the Fund for Scientific Research-Flanders (Belgium).     

Carathéodory balls and norm balls of the domainH={(z1,z2)∈C2∶|z1|+|z2|<1}

LetH be the domain inC ² defined byH={Z=(z ₁,z ₂):║Z║₁=│z║₁│+│z║₂│<1}. LetC _H(z,w) be the Carathéodory distance ofH,z,w∈H. The Carathéodory ballB _C(z_C,α;H) with centerz _C,z_C∈H, and radius α, 0<α<1, is defined byB _c(z_C,α;H)={z∶C_H(z,z_C)<arc tanh α}. The norm ballB _N(z_N,r) with centerz _N,z_N∈H, and radiusr, 0<r<1-‖z _N‖₁, is defined byB _N(z_N,r)={z∶ ‖z−z_N‖₁<r}. Theorem:The only Carathéodory balls of H which are also norm balls are those with their center at the origin.     

Categoricity,amalgamation, and tameness

Theorem: For each 2 ≤ k < ω there is an -sentence ϕ_k such that (1) ϕ_k is categorical in μ if μ≤ℵ_k−2; (2) ϕ_k is not ℵ_k−2-Galois stable (3) ϕ_k is not categorical in any μ with μ>ℵ_k−2; (4) ϕ_k has the disjoint amalgamation property (5) For k > 2 (a) ϕ_k is (ℵ₀, ℵ_k−3)-tame; indeed, syntactic first-order types determine Galois types over models of cardinality at most ℵ_k−3; (b) ϕ_k is ℵ_m-Galois stable for m ≤ k − 3 (c) ϕ_k is not (ℵ_k−3, ℵ_k−2). The first author is partially supported by NSF grant DMS-0500841.     

A superatomic Boolean algebra with few automorphisms

Assuming GCH, we prove that for every successor cardinal μ > ω₁, there is a superatomic Boolean algebra B such that |B| = 2^μ and |Aut B| = μ. Under ◊_ω1, the same holds for μ = ω₁. This answers Monk's Question 80 in [Mo]. Received: 1 January 1998 / Revised version: 18 May 1999 / Published online: 21 December 2000     

Solubility of finite groups admitting a fixed-point-free automorphism of orderrst III

This paper, which is one of a series of four, contributes to the proof of the following Theorem.A finite group admitting a coprime fixed-point-free automorphism α of order rst (r, s andt distinct primes)is soluble. Here we prove that in a minimal counterexample to the above theorem the set ofα-invariant Sylowp-subgroupsP, such thatC _p(α ⁱ)≠1 for allα ⁱ≠1, generate a soluble subgroup.     

Topological *-algebras withC*-enveloping algebras II

UniversalC*-algebrasC*(A) exist for certain topological *-algebras called algebras with aC*-enveloping algebra. A Frechet *-algebraA has aC*-enveloping algebra if and only if every operator representation ofA mapsA into bounded operators. This is proved by showing that every unbounded operator representation π, continuous in the uniform topology, of a topological *-algebraA, which is an inverse limit of Banach *-algebras, is a direct sum of bounded operator representations, thereby factoring through the enveloping pro-C*-algebraE(A) ofA. Given aC*-dynamical system (G,A,α), any topological *-algebraB containingC _c (G,A) as a dense *-subalgebra and contained in the crossed productC*-algebraC*(G,A,α) satisfiesE(B) =C*(G,A,α). IfG = ℝ, ifB is an α-invariant dense Frechet *-subalgebra ofA such thatE(B) =A, and if the action α onB ism-tempered, smooth and by continuous *-automorphisms: then the smooth Schwartz crossed productS(ℝ,B,α) satisfiesE(S(ℝ,B,α)) =C*(ℝ,A,α). WhenG is a Lie group, theC ^∞-elementsC ^∞(A), the analytic elementsC ^ω(A) as well as the entire analytic elementsC ^є(A) carry natural topologies making them algebras with aC*-enveloping algebra. Given a non-unitalC*-algebraA, an inductive system of idealsI _α is constructed satisfyingA =C*-ind limI _α; and the locally convex inductive limit ind limI _α is anm-convex algebra with theC*-enveloping algebraA and containing the Pedersen idealK _a ofA. Given generatorsG with weakly Banach admissible relationsR, we construct universal topological *-algebraA(G, R) and show that it has aC*-enveloping algebra if and only if (G, R) isC*-admissible.     

Residual behavior of induced maps

Consider (X,F, μ,T) a Lebesgue probability space and measure preserving invertible map. We call this a dynamical system. For a subsetA ∈F. byT _A:A →A we mean the induced map,T _A(x)=T^rA(x)(x) wherer _A(x)=min{i〉0:T ⁱ(x) ∈A}. Such induced maps can be topologized by the natural metricD(A, A’) = μ(AΔA’) onF mod sets of measure zero. We discuss here ergodic properties ofT _A which are residual in this metric. The first theorem is due to Conze.Theorem 1 (Conze):For T ergodic, T _A is weakly mixing for a residual set of A.Theorem 2:For T ergodic, 0-entropy and loosely Bernoulli, T _A is rank-1, and rigid for a residual set of A.Theorem 3:For T ergodic, positive entropy and loosely Bernoulli, T _A is Bernoulli for a residual set of A.Theorem 4:For T ergodic of positive entropy, T _A is a K-automorphism for a residual set of A. A strengthening of Theorem 1 asserts thatA can be chosen to lie inside a given factor algebra ofT. We also discuss even Kakutani equivalence analogues of Theorems 1–4.     

On the maximal subgroup of the sandwich semigroup of generalized circulant Boolean matrices

Let n be a positive integer, and C _n (r) the set of all n × n r-circulant matrices over the Boolean algebra B = {0, 1}, . For any fixed r-circulant matrix C (C ≠ 0) in G _n , we define an operation “*” in G _n as follows: A * B = ACB for any A, B in G _n , where ACB is the usual product of Boolean matrices. Then (G _n , *) is a semigroup. We denote this semigroup by G _n (C) and call it the sandwich semigroup of generalized circulant Boolean matrices with sandwich matrix C. Let F be an idempotent element in G _n (C) and M(F) the maximal subgroup in G _n (C) containing the idempotent element F. In this paper, the elements in M(F) are characterized and an algorithm to determine all the elements in M(F) is given.     

Some ℵ0-bounded subsets of stone-čech compactifications

We characterize the maximalm-bounded extension of an arbitrary completely regular Hausdorff spaceX. The other principal results are:Theorem. LetX be a locally compact, σ-compact non-compact space with no more than 2^ℵ0 zero-sets. Then assuming the continuum hypothesis,βX − X can be written as the union of 2^2ℵ0 pairwise disjoint, dense ℵ₀-bounded subspaces.Theorem. LetX be a locally compact, σ-compact metric space without isolated points. Then both the set of remote points ofβX and the complement of this set inβX −X are ℵ₀-bounded.     

Odd H-depth and H-separable extensions

Let C _n (A,B) be the relative Hochschild bar resolution groups of a subring B ⊆ A. The subring pair has right depth 2n if C _n+1(A,B) is isomorphic to a direct summand of a multiple of C _n (A,B) as A-B-bimodules; depth 2n + 1 if the same condition holds only as B-B-bimodules. It is then natural to ask what is defined if this same condition should hold as A-A-bimodules, the so-called H-depth 2n − 1 condition. In particular, the H-depth 1 condition coincides with A being an H-separable extension of B. In this paper the H-depth of semisimple subalgebra pairs is derived from the transpose inclusion matrix, and for QF extensions it is derived from the odd depth of the endomorphism ring extension. For general extensions characterizations of H-depth are possible using the H-equivalence generalization of Morita theory.     

Gorenstein differential graded algebras

We propose a definition of Gorenstein Differential Graded Algebra. In order to give examples, we introduce the technical notion of Gorenstein morphism. This enables us to prove the following: Theorem:Let A be a noetherian local commutative ring, let L be a bounded complex of finitely generated projective A-modules which is not homotopy equivalent to zero, and let ɛ=Hom _A (L, L)be the endomorphism Differential Graded Algebra of L. Then ɛ is a Gorenstein Differential Graded Algebra if and only if A is a Gorenstein ring. Theorem:Let A be a noetherian local commutative ring with a sequence of elements a=(a ₁,…,a _n )in the maximal ideal, and let K(a)be the Koszul complex of a.Then K(a)is a Gorenstein Differential Graded Algebra if and only if A is a Gorenstein ring. Theorem:Let A be a noetherian local commutative ring containing a field k, and let X be a simply connected topological space with dim _k H*(X;k)<∞,which has poincaré duality over k. Let C*(X;A)be the singular cochain Differential Graded Algebra of X with coefficients in A. Then C*(X; A)is a Gorenstein Differential Graded Algebra if and only if A is a Gorenstein ring. The second of these theorems is a generalization of a result by Avramov and Golod from [4].     

Infinite simple C*-algebras and Reduced cross products of abelian C*-algebras and free groups

Summary Let Γ=〈g ₁〉*〈g ₂〉*...*〈g _n 〉*... be a free product of cyclic groups with generators {g _i }, andC _r ^* (Γ,℘ _Λ) be the C*-algebra generated by the reduced group C*-algebraC _r ^* Γ and a set of projectionsP _gL associated with a subset Λ of {g _i }. We prove the following: (1)C _r ^* (Γ,℘ _Λ) is *-isomorphic to the reduced cross product for certain Hausdorff compact spaceX _Λ constructed from Γ and its boundary ∂Γ. (2)C _r ^* (Γ,℘ _Λ) is either a purely infinite, simple C*-algebra or an extension of a purely infinite, simple C*-altebra, depending on the pair (Γ, Λ). (3)C _r ^* (Г,℘ _Λ) is nuclear if and only if the subgroup Γ_Λ generated by {g _i }/Λ is amenable. Partially supported by RMC grant 45/290/603 from the University of Newcastle Partially supported by NSF grant DMS-9225076 and a Taft travel grant from the University of Cincinnati     

Amalgamated free products of weakly rigid factors and calculation of their symmetry groups

We consider amalgamated free product II₁ factors M = M _1*B M _2*B … and use “deformation/rigidity” and “intertwining” techniques to prove that any relatively rigid von Neumann subalgebra Q ⊂ M can be unitarily conjugated into one of the M _i ’s. We apply this to the case where the M _i ’s are w-rigid II₁ factors, with B equal to either C, to a Cartan subalgebra A in M _i , or to a regular hyperfinite II₁ subfactor R in M _i , to obtain the following type of unique decomposition results, àla Bass–Serre: If M = (N _1 * CN_2*C …) ^t , for some t > 0 and some other similar inclusions of algebras C ⊂ N _i then, after a permutation of indices, (B ⊂ M _i ) is inner conjugate to (C ⊂ N _i ) ^t , for all i. Taking B = C and , with {t _i } _i⩾1 = S a given countable subgroup of R ₊ ^*, we obtain continuously many non-stably isomorphic factors M with fundamental group equal to S. For B = A, we obtain a new class of factors M with unique Cartan subalgebra decomposition, with a large subclass satisfying and Out(M) abelian and calculable. Taking B = R, we get examples of factors with , Out(M) = K, for any given separable compact abelian group K.     

On the number of homogeneous models of a given power

It is shown that, For each complete theoryT, the nomberh _T(m) of homogeneous models ofT of powerm is a non-increasing function of uncountabel cardinalsm Moreover, ifh _T(ℵ₀)≦ℵ₀, then the functionh _T is also non-increasing ℵ₀ to ℵ₁. This work was supported in part by NSF contracts GP 4257 and GP5913.     

Nonlinear Preserver Problems on B（H）

Let H be a complex Hilbert space of dimension greater than 2, and B(H) denote the Banach algebra of all bounded linear operators on H. For A, B ∈ B(H), define the binary relation A ≤* B by A*A = A*B and AA* = AB*. Then (B(H), “≤*”) is a partially ordered set and the relation “≤*” is called the star order on B(H). Denote by Bs(H) the set of all self-adjoint operators in B(H). In this paper, we first characterize nonlinear continuous bijective maps on B _s (H) which preserve the star order in both directions. We characterize also additive maps (or linear maps) on B(H) (or nest algebras) which are multiplicative at some invertible operator.