Polish algebras, shy from freedom.

DOI10.1007/S11856-011-0020-XzbMATH Open1233.20001arXivmath/0212250OpenAlexW2020640109MaRDI QIDQ532598FDOQ532598

Authors: S. Shelah 

Publication date: 5 May 2011

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

Abstract: Our first motivation was the question: can a countable structure have an automorphism group, which a free uncountable group? This is answered negatively in [Sh:744]. Lecturing in a conference in Rutgers, February 2001, I was asked whether I am really speaking on Polish groups. We can prove this using a more restrictive condition on the set of equations. Parallel theorems, hold for semi groups and for metric algebras, e.g. with non-isolated unit. Here we do the general case. For instance we show that there is no Polish group which as a group is free and uncountable.

Full work available at URL: https://arxiv.org/abs/math/0212250

Recommendations

• Pawlakean algebra and its properties.
• scientific article; zbMATH DE number 2038149
• Polish topology
• scientific article; zbMATH DE number 1009609
• Polish mathematics in the first half of the 20th century
• scientific article; zbMATH DE number 1522818
• The Ends of Algebras
• A dichotomy for Polish modules

zbMATH Keywords

free groupsPolish groupsfree Abelian groupsautomorphism groups of uncountable structures

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Structure of general topological groups (22A05) Topological groups (topological aspects) (54H11) Descriptive set theory (03E15) Applications of logic to group theory (20A15) Infinite automorphism groups (20B27)

Cites Work

• Classification theory and the number of non-isomorphic models.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Classification theory for abstract elementary classes
• Classification theory for non-elementary classes. I: The number of uncountable models of \(\psi \in L_{\omega _ 1,\omega}\)
• Categoricity over P for first order T or categoricity for \(\phi\) \(\in {\mathcal L}_{\omega_ 1\omega}\) can stop at \(\aleph_ k\) while holding for \(\aleph_ 0,\dots ,\aleph_{k-1}\)
• The automorphism tower problem revisited
• Analytic ideals and their applications
• Beginning of stability theory for Polish spaces
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Categoricity results for \(L_{\infty \kappa}\)-free algebras
• Almost free algebras
• A COUNTABLE STRUCTURE DOES NOT HAVE A FREE UNCOUNTABLE AUTOMORPHISM GROUP

Cited In (11)

• A parallel to the null ideal for inaccessible \(\lambda\). I
• Polish topologies for graph products of cyclic groups
• New metrics on free groups
• UNCOUNTABLE HOMOMORPHIC IMAGES OF POLISH GROUPS ARE NOT $\aleph _{1}$-FREE GROUPS
• No uncountable Polish group can be a right-angled Artin group
• Beginning of stability theory for Polish spaces
• Polish topologies for graph products of groups
• Free groups and automorphism groups of infinite structures
• On the logical strength of the automorphism groups of free nilpotent groups
• Large free subgroups of automorphism groups of ultrahomogeneous spaces
• A COUNTABLE STRUCTURE DOES NOT HAVE A FREE UNCOUNTABLE AUTOMORPHISM GROUP

This page was built for publication: Polish algebras, shy from freedom.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q532598)