Free groups and automorphism groups of infinite structures
It is known that every infinite group \(G\) is the automorphism group of a \(|G|\)-structure, where for an infinite cardinal \(\kappa\), a \(\kappa\)-structure is a structure such that the corresponding language and the domain of the structure are both of cardinality at most \(\kappa\). In contrast, for every infinite \(\lambda\), there is a group of cardinality \(\lambda^+\) that is not the automorphism group of a \(\lambda\)-structure.NEWLINENEWLINE Here, the authors deal with free groups and investigate the following question: Given an infinite cardinal \(\lambda\), is there a free group of rank greater that \(\lambda\) that is the automorphism group of a \(\lambda\)-structure?NEWLINENEWLINEIt was shown by \textit{S. Shelah} [Bull. Lond. Math. Soc. 35, No. 1, 1--7 (2003; Zbl 1033.20002)] that a free group of uncountable rank is not the automorphism group of an \(\aleph_0\)-structure.NEWLINENEWLINE The main result of the paper is:NEWLINENEWLINE Theorem 1.4. Let \(\lambda\) be a cardinal with \(\lambda = \lambda^{\aleph_0}\). Then, the free group of rank \(2^{\lambda}\) is the automorphism group of a \(\lambda\)-structure.NEWLINENEWLINE The authors show that the cardinal assumption \(\lambda = \lambda^{\aleph_0}\) is not necessary. They derive large cardinal strength from the nonexistence of certain automorphism groups. So, they show that if \(\lambda\) is singular with \(\mathrm{cf}(\lambda) > \aleph_0\), and there is no free group of rank greater than \(\lambda\) that is the automorphism group of a \(\lambda\)-structure, then there is an inner model with a Woodin cardinal.NEWLINENEWLINE The techniques developed for the proof of Theorem 1.4 can be applied in various varieties of groups. So, the free abelian group of rank \(2^{\lambda}\) is the automorphism group of a \(\lambda\)-structure whenever \(\lambda=\lambda^{\aleph_0}\).
- Large free subgroups of automorphism groups of ultrahomogeneous spaces
- A COUNTABLE STRUCTURE DOES NOT HAVE A FREE UNCOUNTABLE AUTOMORPHISM GROUP
- Aut (M ) Has a Large Dense Free Subgroup for Saturated M
- Polish algebras, shy from freedom.
- On the logical strength of the automorphism groups of free nilpotent groups
- K without the measurable
- A Core Model Toolbox and Guide
- A COUNTABLE STRUCTURE DOES NOT HAVE A FREE UNCOUNTABLE AUTOMORPHISM GROUP
- Applications of pcf theory
- Aronszajn trees and the independence of the transfer property
- Automorphism groups of ultrafilters
- Automorphism towers and automorphism groups of fields without choice.
- Extensions with the approximation and cover properties have no new large cardinals
- scientific article; zbMATH DE number 3829896 (Why is no real title available?)
- scientific article; zbMATH DE number 3885892 (Why is no real title available?)
- scientific article; zbMATH DE number 3129391 (Why is no real title available?)
- scientific article; zbMATH DE number 3788909 (Why is no real title available?)
- scientific article; zbMATH DE number 53151 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 734993 (Why is no real title available?)
- scientific article; zbMATH DE number 1390280 (Why is no real title available?)
- More game-theoretic properties of Boolean algebras
- Set Theory
- The automorphism tower problem revisited
- The automorphism group of the infinite-rank free group is coarsely bounded
- Automorphisms of a free group of infinite rank
- scientific article; zbMATH DE number 980363 (Why is no real title available?)
- A COUNTABLE STRUCTURE DOES NOT HAVE A FREE UNCOUNTABLE AUTOMORPHISM GROUP
- Set Theory is Interpretable in the Automorphism Group of an Infinitely Generated Free Group
- On the logical strength of the automorphism groups of free nilpotent groups
- On asymorphisms of groups
- Large free subgroups of automorphism groups of ultrahomogeneous spaces
- Inverse automata and profinite topologies on a free group
- Simple groups with infinite verbal width and the same positive theory as free groups
- Limit groups and automorphisms of -existentially closed groups
This page was built for publication: Free groups and automorphism groups of infinite structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2879421)
