On cardinalities in quotients of inverse limits of groups

Possible Cardinalities of Maximal Abelian Subgroups of Quotients of Permutation Groups of the Integers

The maximality of Abelian subgroups play a role in various parts of group theory. For example, Mycielski has extended a classical result of Lie groups and shown that a maximal Abelian subgroup of a compact connected group is connected and, furthermore, all the maximal Abelian subgroups are conjugate. For finite symmetric groups the question of the size of maximal Abelian subgroups has been examined by Burns and Goldsmith in 1989 and Winkler in 1993. We show that there is not much interest in generalizing this study to infinite symmetric groups; the cardinality of any maximal Abelian subgroup o…

On inverse gamma-systems and the number of L_{infty,lambda}-equivalent, non-isomorphic models for lambda singular

Suppose lambda is a singular cardinal of uncountable cofinality kappa. For a model M of cardinality lambda, let No(M) denote the number of isomorphism types of models N of cardinality lambda which are L_{infty lambda}-equivalent to M. In [Sh:189] inverse kappa-systems A of abelian groups and their certain kind of quotient limits Gr(A)/Fact(A) were considered. It was proved that for every cardinal mu there exists an inverse kappa-system A such that A consists of abelian groups having cardinality at most mu^kappa and card(Gr(A)/Fact(A))= mu. In [Sh:228] a strict connection between inverse kappa-…

Cantor 极小系统的共轭的 Borel 复杂度

The Borel complexity of conjugacy for Cantor minimal systems

本文证明 Cantor 极小系统共轭的 Borel 复杂度与可数图同构相同，通过编码 pro-有限群和逆向极限构造回答 Foreman 问题。

Between reduced powers and ultrapowers

We prove that there exists a nonprincipal ultrafilter $\mathcal U$ on $\mathbb N$ such that for every countable (or separable) structure $B$ in a countable language the quotient map from the reduced product associated with the Fréchet filter onto the ultrapower has a right inverse. The proof uses the Continuum Hypothesis. We characterize the ultrafilters $\mathcal U$ with this property, and show that consistently with ZFC such ultrafilters need not exist. We also prove a similar ZFC result sufficiently strong to obtain all concrete applications of the existence of a right inverse to the quotie…