Pseudofinite abelian groups and asymptotic classes of finite abelian groups
Abstract
This paper studies pseudofinite abelian groups and counting properties of definable sets in finite abelian groups and their ultraproducts. First, we characterize pseudofinite abelian groups in terms of Szmielew invariants and, building on results of Macintyre, extend this analysis to obtain a characterization of pseudofinite ω-stable abelian groups. We then give an alternative proof that the class of finite abelian groups forms a multidimensional exact class, explicitly describing the possible cardinalities of definable sets in classes of finite abelian groups. We also investigate N-dimensional asymptotic classes of finite abelian groups and provide a series of examples showing that, despite the exactness result, several natural classes of finite abelian groups fail to be N-dimensional asymptotic classes for every N≥ 1. Finally, in an appendix, we characterize the SU-rank of pseudofinite abelian groups, building on work of Rogers. In particular, we show that for every pseudofinite abelian group A, either Th(A,+) is superstable of finite SU-rank or it is strictly stable.
Related
- Frobenius Alexander quandles, knot colorings, and isogeny classes of abelian varieties over finite fields
- Finite abelian subgroups of algebraic groups
- Finite abelian groups are Schur multipliers of finite solvable groups
- Bowen--Franks groups and minus class groups of imaginary abelian fields
- Bandwidth limited functions on locally compact abelian groups
BibTeX
@misc{cordobacaycedo2026pseudofinite,
title = {{Pseudofinite abelian groups and asymptotic classes of finite abelian groups}},
author = {Carlos Cordoba-Caycedo and Dario Garcia},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.13770},
eprint = {2610.13770},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.13770},
note = {CC BY-NC-SA 4.0},
}
RIS
TY - UNPB
TI - Pseudofinite abelian groups and asymptotic classes of finite abelian groups
AU - Carlos Cordoba-Caycedo
AU - Dario Garcia
PY - 2026
DA - 2026/10/09
PB - arXiv
DO - 10.48550/arxiv.2610.13770
UR - https://arxiv.org/abs/2610.13770
AB - This paper studies pseudofinite abelian groups and counting properties of definable sets in finite abelian groups and their ultraproducts. First, we characterize pseudofinite abelian groups in terms of Szmielew invariants and, building on results of Macintyre, extend this analysis to obtain a characterization of pseudofinite ω-stable abelian groups. We then give an alternative proof that the class of finite abelian groups forms a multidimensional exact class, explicitly describing the possible cardinalities of definable sets in classes of finite abelian groups. We also investigate N-dimensional asymptotic classes of finite abelian groups and provide a series of examples showing that, despite the exactness result, several natural classes of finite abelian groups fail to be N-dimensional asymptotic classes for every N≥ 1. Finally, in an appendix, we characterize the SU-rank of pseudofinite abelian groups, building on work of Rogers. In particular, we show that for every pseudofinite abelian group A, either Th(A,+) is superstable of finite SU-rank or it is strictly stable.
ER -