饱和模型的自同构群含有一个大的稠密自由子群
逻辑
2008-02-03 v1
摘要
我们证明：对于稳定理论 T，若 M 是 T 的势为 λ 的饱和模型，其中 λ > |T|，则 Aut(M) 有一个以 2^{λ} 个生成元生成的稠密自由子群。这肯定了 Hodges 的一个猜想。
引用
@article{arxiv.math/9304201,
title = {The automorphism group of a saturated model has a large dense free subgroup},
author = {Garvin Melles and Saharon Shelah},
journal= {arXiv preprint arXiv:math/9304201},
year = {2008}
}