A model theoretic solution to a problem of L\'{a}szl\'{o} Fuchs

DOI10.1016/J.JALGEBRA.2020.09.029MaRDI QIDQ6340722arXivFDO

Authors Marcos Mazari-Armida

Publication date 14 May 2020

Published in arXiv

Full work available at URL https://doi.org/10.1016/J.JALGEBRA.2020.09.029

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Abstract elementary classes and related topics (03C48) Model-theoretic algebra (03C60) Automorphisms, homomorphisms, endomorphisms, etc. for abelian groups (20K30)

arXiv classification

math.GRmath.LO

Abstract: Problem 5.1 in page 181 of [Fuc15] asks to find the cardinals $lambda$ such that there is a universal abelian $p$-group for purity of cardinality $lambda$, i.e., an abelian $p$-group $U_{l}ambda$ of cardinality $lambda$ such that every abelian $p$-group of cardinality $leqlambda$ purely embeds in $U_{l}ambda$. In this paper we use ideas from the theory of abstract elementary classes to show: $extbfTheorem.$ Let $p$ be a prime number. If $lambd{a}^{alep{h}_0}=lambda$ or $forallmu<lambda(m{u}^{alep{h}_0}<lambda)$, then there is a universal abelian $p$-group for purity of cardinality $lambda$. Moreover for $ngeq2$, there is a universal abelian $p$-group for purity of cardinality $alep{h}_n$ if and only if $2^{alep{h}_0}leqalep{h}_n$. As the theory of abstract elementary classes has barely been used to tackle algebraic questions, an effort was made to introduce this theory from an algebraic perspective.

This page was built for publication: A model theoretic solution to a problem of L\'{a}szl\'{o} Fuchs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6340722)