Additive subgroups of countable ranks in a separably closed field (Q535162): Difference between revisions

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.