Sh:1014

• Lücke, P., & Shelah, S. (2014). Free groups and automorphism groups of infinite structures. Forum Math. Sigma, 2, e8, 18. arXiv: 1211.6891 DOI: 10.1017/fms.2014.9 MR: 3264251
• Abstract:
  Let \lambda be a cardinal with \lambda=\lambda^{\aleph_0} and p be either 0 or a prime number. We show that there are fields K_0 and K_1 of cardinality \lambda and characteristic p such that the automorphism group of K_0 is a free group of cardinality 2^\lambda and the automorphism group of K_1 is a free abelian group of cardinality 2^\lambda. This partially answers a question from [MR1736959] and complements results from [MR1934424], [MR2773054] and [MR1720580]. The methods developed in the proof of the above statement also allow us to show that the above cardinal arithmetic assumption is consistently not necessary for the existence of such fields and that it is necessary to use large cardinal assumptions to construct a model of set theory containing a cardinal \lambda of uncountable cofinality with the property that no free group of cardinality greater than \lambda is isomorphic to the automorphism group of a field of cardinality \lambda.
• published version (18p)

@article{Sh:1014,
 author = {L{\"u}cke, Philipp and Shelah, Saharon},
 title = {{Free groups and automorphism groups of infinite structures}},
 journal = {Forum Math. Sigma},
 fjournal = {Forum of Mathematics. Sigma},
 volume = {2},
 year = {2014},
 pages = {e8, 18},
 issn = {2050-5094},
 mrnumber = {3264251},
 mrclass = {03E75 (03E35 20E05 20F29)},
 doi = {10.1017/fms.2014.9},
 note = {\href{https://arxiv.org/abs/1211.6891}{arXiv: 1211.6891}},
 arxiv_number = {1211.6891}
}