Additive subgroups of countable ranks in a separably closed field (Q535162): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Luc Bélair / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03C45 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 03C60 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 12L12 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5886783 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
separably closed fields | |||
Property / zbMATH Keywords: separably closed fields / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
infinitely definable additive subgroups | |||
Property / zbMATH Keywords: infinitely definable additive subgroups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
countable rank | |||
Property / zbMATH Keywords: countable rank / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
model theory of fields | |||
Property / zbMATH Keywords: model theory of fields / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/s00153-010-0226-3 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W4298770607 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Subgroups of the additive group of a separably closed field / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A special thin type / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Minimal groups in separably closed fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3787987 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Minimal types in separably closed field / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4212159 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3378981 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Mordell-Lang conjecture for function fields / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 01:37, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Additive subgroups of countable ranks in a separably closed field |
scientific article |
Statements
Additive subgroups of countable ranks in a separably closed field (English)
0 references
11 May 2011
0 references
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.
0 references
separably closed fields
0 references
infinitely definable additive subgroups
0 references
countable rank
0 references
model theory of fields
0 references