Hardy type derivations on generalised series fields (Q427756): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
Let \((K, v)\) be a valued field with a residue field \(\widehat K\). It is known (due to \textit{I. Kaplansky}, see [Duke Math. J. 9, 303--321 (1942); ibid. 12, 243--248 (1945; Zbl 0061.05506)]) that if \(\text{char}(K) = \text{char}(\widehat K)\), then \((K, v)\) is analytically isomorphic to a subfield of a suitable field of generalised series. Thus fields of generalised series are universal domains for valued fields; in particular, real closed fields of generalised series provide suitable domains for the study of real algebra. The research presented in the first part of the paper under review is motivated by the question of whether generalised series fields are suitable domains for the study of real \textit{differential} algebra. When \(\widehat K = \mathbb R\) (the field of real numbers), it investigates how to endow the generalised series field \(\mathbb K : = \mathbb R((\Gamma ))\), \(\Gamma \) being a totally ordered multiplicative group, with a series derivation, i.e. a derivation possessing some natural properties, such as commuting with infinite sums (strong linearity) and an infinite version of Leibniz rule. The obtained results generalise earlier results in this direction obtained by \textit{M. Aschenbrenner} and \textit{L. van den Dries} [J. Pure Appl. Algebra 197, No. 1--3, 83--139 (2005; Zbl 1134.12004)] and the second author. The motivation for the second part of the reviewed paper is to understand the possible connection between generalised series fields and Hardy fields as differential valued fields. They study derivations on generalised series fields possessing the valuative properties established by Rosenlicht for Hardy fields. In particular, they give a necessary and sufficient condition for a series derivation to be of Hardy type, and obtain a criterion that a Hardy type derivation be surjective. | |||
Property / review text: Let \((K, v)\) be a valued field with a residue field \(\widehat K\). It is known (due to \textit{I. Kaplansky}, see [Duke Math. J. 9, 303--321 (1942); ibid. 12, 243--248 (1945; Zbl 0061.05506)]) that if \(\text{char}(K) = \text{char}(\widehat K)\), then \((K, v)\) is analytically isomorphic to a subfield of a suitable field of generalised series. Thus fields of generalised series are universal domains for valued fields; in particular, real closed fields of generalised series provide suitable domains for the study of real algebra. The research presented in the first part of the paper under review is motivated by the question of whether generalised series fields are suitable domains for the study of real \textit{differential} algebra. When \(\widehat K = \mathbb R\) (the field of real numbers), it investigates how to endow the generalised series field \(\mathbb K : = \mathbb R((\Gamma ))\), \(\Gamma \) being a totally ordered multiplicative group, with a series derivation, i.e. a derivation possessing some natural properties, such as commuting with infinite sums (strong linearity) and an infinite version of Leibniz rule. The obtained results generalise earlier results in this direction obtained by \textit{M. Aschenbrenner} and \textit{L. van den Dries} [J. Pure Appl. Algebra 197, No. 1--3, 83--139 (2005; Zbl 1134.12004)] and the second author. The motivation for the second part of the reviewed paper is to understand the possible connection between generalised series fields and Hardy fields as differential valued fields. They study derivations on generalised series fields possessing the valuative properties established by Rosenlicht for Hardy fields. In particular, they give a necessary and sufficient condition for a series derivation to be of Hardy type, and obtain a criterion that a Hardy type derivation be surjective. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Ivan D. Chipchakov / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 12J10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 12H05 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6046972 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Generalised series fields | |||
Property / zbMATH Keywords: Generalised series fields / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Hardy fields | |||
Property / zbMATH Keywords: Hardy fields / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
derivations | |||
Property / zbMATH Keywords: derivations / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
valuation theory | |||
Property / zbMATH Keywords: valuation theory / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
asymptotic integration | |||
Property / zbMATH Keywords: asymptotic integration / rank | |||
Normal rank |
Revision as of 23:10, 29 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hardy type derivations on generalised series fields |
scientific article |
Statements
Hardy type derivations on generalised series fields (English)
0 references
18 June 2012
0 references
Let \((K, v)\) be a valued field with a residue field \(\widehat K\). It is known (due to \textit{I. Kaplansky}, see [Duke Math. J. 9, 303--321 (1942); ibid. 12, 243--248 (1945; Zbl 0061.05506)]) that if \(\text{char}(K) = \text{char}(\widehat K)\), then \((K, v)\) is analytically isomorphic to a subfield of a suitable field of generalised series. Thus fields of generalised series are universal domains for valued fields; in particular, real closed fields of generalised series provide suitable domains for the study of real algebra. The research presented in the first part of the paper under review is motivated by the question of whether generalised series fields are suitable domains for the study of real \textit{differential} algebra. When \(\widehat K = \mathbb R\) (the field of real numbers), it investigates how to endow the generalised series field \(\mathbb K : = \mathbb R((\Gamma ))\), \(\Gamma \) being a totally ordered multiplicative group, with a series derivation, i.e. a derivation possessing some natural properties, such as commuting with infinite sums (strong linearity) and an infinite version of Leibniz rule. The obtained results generalise earlier results in this direction obtained by \textit{M. Aschenbrenner} and \textit{L. van den Dries} [J. Pure Appl. Algebra 197, No. 1--3, 83--139 (2005; Zbl 1134.12004)] and the second author. The motivation for the second part of the reviewed paper is to understand the possible connection between generalised series fields and Hardy fields as differential valued fields. They study derivations on generalised series fields possessing the valuative properties established by Rosenlicht for Hardy fields. In particular, they give a necessary and sufficient condition for a series derivation to be of Hardy type, and obtain a criterion that a Hardy type derivation be surjective.
0 references
Generalised series fields
0 references
Hardy fields
0 references
derivations
0 references
valuation theory
0 references
asymptotic integration
0 references