Hardy type derivations on generalised series fields (Q427756): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 6 users not shown) | |||
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 | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2158609397 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 0903.2197 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Liouville closed \(H\)-fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4115334 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Logarithmic-Exponential Power Series / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4762155 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5509706 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3726227 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Transseries and real differential algebra / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Maximal fields with valuations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Maps on Ultrametric Spaces, Hensel's Lemma, and Differential Equations Over Valued Fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Ordered exponential fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hardy type derivations on fields of exponential logarithmic series / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A differential Puiseux theorem in generalized series fields of finite rank / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Differential valuations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Value Group of a Differential Valuation II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hardy fields / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Rank of a Hardy Field / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: $ℵ_0$-categoricity of linear orderings / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 09:12, 5 July 2024
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
0 references