Headers

edit

Someone else will have to add the appropriate headers; please delete this line when done. — Arthur Rubin (talk) 11:44, 19 January 2016 (UTC)Reply

Huh? 67.198.37.16 (talk) 00:44, 6 July 2016 (UTC)Reply

Similar fields

edit

The present definition

 

where   are real numbers,   is the set of rational numbers, and   is to be interpreted as a positive infinitesimal. The restriction that the support is left-finite, *   is finite for any r, can be replaced by other similar conditions:

  1.   is bounded below, and there is a positive integer n such that  
    • That is,  
    • This is also known as the field of Puiseux series
  2.   is well-ordered
  3. The coefficient field   can be replaced by any totally ordered divisible group.
    • The simplest example would be replacing it by  , but replacing it by   may also have some interest.

If I can find literature discussing these fields, should it be added to the article? — Arthur Rubin (talk) 11:44, 19 January 2016 (UTC)Reply

Well, given that we already have long articles on the puiseaux and hahn series, then certainly 1 and 2 are very appropriate for this article. I'm don't know why you are even asking, these seem obviously appropriate for article inclusion. Point three also seems appropriate, but should get another sentence sketching what it is about total orders that is needed to have a workable definition. 67.198.37.16 (talk) 16:26, 5 July 2016 (UTC)Reply

Properties

edit

This publication, already referenced in this article, makes a number of interesting, important assertions and clarifications: viz. the Levi-Civita field is the smallest extension of thr reals that is both... umm, let me rephrase: The ring of polynomials   is not a field. The smallest field that contains it is the field of fractions (Laurent series)   However, the field of fractions is not real closed nor Cauchy complete. The real closure is the Puiseux series, but the Puiseux series is not Cauchy complete. The smallest field that is Cacuhy complete (in the order topology) is .. you guessed it ... the Levi-Civita field. I think that is just an awesome fact/result, and makes it just ideal for non-standard analysis, among other things, which is something that essentially everything I've ever skimmed on non-standard analysis seems to have completely missed. Soo ... adding the above to this article would be excellent. 67.198.37.16 (talk) 00:30, 6 July 2016 (UTC)Reply

Is the Levi-Civita field over an algebraically closed field algebraically closed?

edit

If K is an algebraically closed field (not necessarily of characteristic zero), is the Levi-Civita field with coefficients in K algebraically closed? 129.104.241.193 (talk) 23:41, 30 May 2024 (UTC)Reply

Ah, if K is characteristic zero then the answer is yes, because the Levi-Civita field is the completion of the field of Puiseux series, and the latter is algebraically closed.
If K has positive characteristic zero then the answer is no, as shown by the example given in the article Hahn series (the set of exponents
 
has infinitely many elements below 0). 129.104.241.193 (talk) 23:52, 30 May 2024 (UTC)Reply