Additive subgroups of countable ranks in a separably closed field

Let \(L\) be a separably closed field of characteristic \(p>0\) which is not algebraically closed. In the following, an additive subgroup is a subgroup of \((L,+)\) which is infinitely definable in \(L\), and \(\omega^\omega\) is the ordinal obtained by ordinal exponentiation. The author constructs: (1) for each ordinal \(\lambda<\omega^\omega\), additive subgroups of \(U\)-rank \(\lambda\) which are not \(1\)-based, and (2) for each countable family \((\lambda_i)_{i\in\omega}\) of ordinals \(\lambda_i<\omega^\omega\), families \((G_i)_{i\in\omega}\) of additive subgroups which are \(1\)-based, mutually orthogonal and with \(G_i\) of \(U\)-rank \(\lambda_i\). The constructions generalize a construction of trivial types of \(U\)-rank \(\omega\) of \textit{Z. Chatzidakis, G. Cherlin, S. Shelah, G. Srour} and \textit{C. Wood} [``Orthogonality of types in separably closed fields, Lect. Notes Math. 1292, 78--88 (1987; Zbl 0645.03029)], who had suggested that similar constructions should yield types of other countable ranks. The constructions turn out to be technically rather complicated, but carefully set up by the author.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: Additive subgroups of countable ranks in a separably closed field

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