TY - JOUR
T1 - FREE GROUPS and AUTOMORPHISM GROUPS of INFINITE STRUCTURES
AU - Lücke, Philipp
AU - Shelah, Saharon
N1 - Publisher Copyright:
© 2014 Cambridge. All rights reserved.
PY - 2014/2/1
Y1 - 2014/2/1
N2 - Given a cardinal with, we show that there is a field of cardinality whose automorphism group is a free group of rank. In the proof of this statement, we develop general techniques that enable us to realize certain groups as the automorphism group of structures of a given cardinality. They allow us to show that analogues of this result hold for free objects in various varieties of groups. For example, the free abelian group of rank is the automorphism group of a field of cardinality whenever is a cardinal with. Moreover, we apply these techniques to show that consistently the assumption that is not necessary for the existence of a field of cardinality whose automorphism group is a free group of rank. Finally, we use them to prove that the existence of a cardinal of uncountable cofinality with the property that there is no field of cardinality whose automorphism group is a free group of rank greater than implies the existence of large cardinals in certain inner models of set theory.
AB - Given a cardinal with, we show that there is a field of cardinality whose automorphism group is a free group of rank. In the proof of this statement, we develop general techniques that enable us to realize certain groups as the automorphism group of structures of a given cardinality. They allow us to show that analogues of this result hold for free objects in various varieties of groups. For example, the free abelian group of rank is the automorphism group of a field of cardinality whenever is a cardinal with. Moreover, we apply these techniques to show that consistently the assumption that is not necessary for the existence of a field of cardinality whose automorphism group is a free group of rank. Finally, we use them to prove that the existence of a cardinal of uncountable cofinality with the property that there is no field of cardinality whose automorphism group is a free group of rank greater than implies the existence of large cardinals in certain inner models of set theory.
UR - http://www.scopus.com/inward/record.url?scp=85057377149&partnerID=8YFLogxK
U2 - 10.1017/fms.2014.9
DO - 10.1017/fms.2014.9
M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???
AN - SCOPUS:85057377149
SN - 2050-5094
VL - 2
JO - Forum of Mathematics, Sigma
JF - Forum of Mathematics, Sigma
M1 - e8
ER -