What does the automorphism group of a free abelian group A know about A?
Logic
2007-05-23 v1 Group Theory
Abstract
Let be an infinitely generated free abelian group. We prove that the automorphism group first-order interprets the full second-order theory of the set with no structure. In particular, this implies that the automorphism groups of two infinitely generated free abelian groups are elementarily equivalent if and only if the sets are second-order equivalent.
Keywords
Cite
@article{arxiv.math/0701752,
title = {What does the automorphism group of a free abelian group A know about A?},
author = {Vladimir Tolstykh},
journal= {arXiv preprint arXiv:math/0701752},
year = {2007}
}
Comments
A pre-publication preprint of a paper published in `2005