On the \(p\)-rank of Ext (Q1806725): Difference between revisions

Main theorem (\(V=L\)): Suppose that \(\lambda\) is an uncountable regular cardinal which is smaller than the first weakly compact cardinal. Let \(\lambda_p\leq\lambda^+\) for each prime \(p\). Then there exists a (torsion-free Abelian) strongly \(\lambda\)-free group \(G\) such that \(\|G\|=\lambda\), \(\nu_p(G)=\lambda_p\) and \(\nu_0(G)=\lambda^+\). Here \(\nu_p(G)\) and \(\nu_0(G)\) denote the torsion-free rank respectively the \(p\)-ranks of \(G\) and \(\|X\|\) the cardinal number. A construction principle true if \(V=L\) which is stronger than \(\diamondsuit^+\) is proved and used. Only for `connaisseurs'! Remark: The study of the structure of Ext has a long history already. For an excellent reference see `Almost free modules. Set-theoretic methods' (1990; Zbl 0718.20027) by \textit{P. C. Eklof, A. H. Mekler}.