In
mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, Puiseux series are a generalization of
power series
In mathematics, a power series (in one variable) is an infinite series of the form
\sum_^\infty a_n \left(x - c\right)^n = a_0 + a_1 (x - c) + a_2 (x - c)^2 + \dots
where ''an'' represents the coefficient of the ''n''th term and ''c'' is a const ...
that allow for negative and fractional exponents of the
indeterminate. For example, the series
:
is a Puiseux series in the indeterminate . Puiseux series were first introduced by
Isaac Newton
Sir Isaac Newton (25 December 1642 – 20 March 1726/27) was an English mathematician, physicist, astronomer, alchemist, theologian, and author (described in his time as a "natural philosopher"), widely recognised as one of the grea ...
in 1676 and rediscovered by
Victor Puiseux in 1850.
[Puiseux (1850, 1851)]
The definition of a Puiseux series includes that the denominators of the exponents must be bounded. So, by reducing exponents to a common denominator , a Puiseux series becomes a
Laurent series
In mathematics, the Laurent series of a complex function f(z) is a representation of that function as a power series which includes terms of negative degree. It may be used to express complex functions in cases where a Taylor series expansion c ...
in a
th root of the indeterminate. For example, the example above is a Laurent series in
Because a complex number has th roots, a
convergent Puiseux series typically defines functions in a
neighborhood
A neighbourhood (British English, Irish English, Australian English and Canadian English) or neighborhood (American English; see spelling differences) is a geographically localised community within a larger city, town, suburb or rural area, ...
of .
Puiseux's theorem, sometimes also called the Newton–Puiseux theorem, asserts that, given a
polynomial equation
In mathematics, an algebraic equation or polynomial equation is an equation of the form
:P = 0
where ''P'' is a polynomial with coefficients in some field, often the field of the rational numbers. For many authors, the term ''algebraic equation' ...
with complex coefficients, its solutions in , viewed as functions of , may be expanded as Puiseux series in that are
convergent in some
neighbourhood
A neighbourhood (British English, Irish English, Australian English and Canadian English) or neighborhood (American English; see spelling differences) is a geographically localised community within a larger city, town, suburb or rural are ...
of . In other words, every branch of an
algebraic curve
In mathematics, an affine algebraic plane curve is the zero set of a polynomial in two variables. A projective algebraic plane curve is the zero set in a projective plane of a homogeneous polynomial in three variables. An affine algebraic plane c ...
may be locally described by a Puiseux series in (or in when considering branches above a neighborhood of ).
Using modern terminology, Puiseux's theorem asserts that the set of Puiseux series over an
algebraically closed field
In mathematics, a field is algebraically closed if every non-constant polynomial in (the univariate polynomial ring with coefficients in ) has a root in .
Examples
As an example, the field of real numbers is not algebraically closed, because ...
of characteristic 0 is itself an algebraically closed field, called the field of Puiseux series. It is the
algebraic closure
In mathematics, particularly abstract algebra, an algebraic closure of a field ''K'' is an algebraic extension of ''K'' that is algebraically closed. It is one of many closures in mathematics.
Using Zorn's lemmaMcCarthy (1991) p.21Kaplansky ( ...
of the
field of formal Laurent series, which itself is the
field of fractions
In abstract algebra, the field of fractions of an integral domain is the smallest field in which it can be embedded. The construction of the field of fractions is modeled on the relationship between the integral domain of integers and the field ...
of the
ring of formal power series
In mathematics, a formal series is an infinite sum that is considered independently from any notion of convergence, and can be manipulated with the usual algebraic operations on series (addition, subtraction, multiplication, division, partial sum ...
.
Definition
If is a
field
Field may refer to:
Expanses of open ground
* Field (agriculture), an area of land used for agricultural purposes
* Airfield, an aerodrome that lacks the infrastructure of an airport
* Battlefield
* Lawn, an area of mowed grass
* Meadow, a grass ...
(such as the
complex number
In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the form ...
s), a ''Puiseux series'' with coefficients in is an expression of the form
:
where
is a positive integer and
is an integer. In other words, Puiseux series differ from
Laurent series
In mathematics, the Laurent series of a complex function f(z) is a representation of that function as a power series which includes terms of negative degree. It may be used to express complex functions in cases where a Taylor series expansion c ...
in that they allow for fractional exponents of the indeterminate, as long as these fractional exponents have bounded denominator (here ''n''). Just as with Laurent series, Puiseux series allow for negative exponents of the indeterminate as long as these negative exponents are bounded below (here by
). Addition and multiplication are as expected: for example,
:
and
:
One might define them by first "upgrading" the denominator of the exponents to some common denominator and then performing the operation in the corresponding field of formal Laurent series of
.
The Puiseux series with coefficients in form a field, which is the union
:
of fields of
formal Laurent series
In mathematics, a formal series is an infinite sum that is considered independently from any notion of convergence, and can be manipulated with the usual algebraic operations on series (addition, subtraction, multiplication, division, partial sum ...
in
(considered as an indeterminate).
This yields an alternative definition of the field of Puiseux series in terms of a
direct limit
In mathematics, a direct limit is a way to construct a (typically large) object from many (typically smaller) objects that are put together in a specific way. These objects may be groups, rings, vector spaces or in general objects from any categor ...
. For every positive integer , let
be an indeterminate (meant to represent
), and
be the field of formal Laurent series in
If divides , the mapping
induces a
field homomorphism
Field theory is the branch of mathematics in which fields are studied. This is a glossary of some terms of the subject. (See field theory (physics) for the unrelated field theories in physics.)
Definition of a field
A field is a commutative ri ...
and these homomorphisms form a
direct system
In mathematics, the ind-completion or ind-construction is the process of freely adding filtered colimits to a given category ''C''. The objects in this ind-completed category, denoted Ind(''C''), are known as direct systems, they are functors from ...
that has the field of Puiseux series as a direct limit. The fact that every field homomorphism is injective shows that this direct limit can be identified with the above union, and that the two definitions are equivalent (
up to Two Mathematical object, mathematical objects ''a'' and ''b'' are called equal up to an equivalence relation ''R''
* if ''a'' and ''b'' are related by ''R'', that is,
* if ''aRb'' holds, that is,
* if the equivalence classes of ''a'' and ''b'' wi ...
an isomorphism).
Valuation
A nonzero Puiseux series
can be uniquely written as
:
with
The ''valuation''
:
of
is the smallest exponent for the natural order of the rational numbers, and the corresponding coefficient
is called the ''initial coefficient'' or ''valuation coefficient'' of
. The valuation of the zero series is
The function is a
valuation and makes the Puiseux series a
valued field
Value or values may refer to:
Ethics and social
* Value (ethics) wherein said concept may be construed as treating actions themselves as abstract objects, associating value to them
** Values (Western philosophy) expands the notion of value beyo ...
, with the
additive group
An additive group is a group of which the group operation is to be thought of as ''addition'' in some sense. It is usually abelian, and typically written using the symbol + for its binary operation.
This terminology is widely used with structures ...
of the rational numbers as its
valuation group In algebra (in particular in algebraic geometry or algebraic number theory), a valuation is a function on a field that provides a measure of size or multiplicity of elements of the field. It generalizes to commutative algebra the notion of size in ...
.
As for every valued fields, the valuation defines a
ultrametric distance by the formula
For this distance, the field of Puiseux series is a
metric space
In mathematics, a metric space is a set together with a notion of ''distance'' between its elements, usually called points. The distance is measured by a function called a metric or distance function. Metric spaces are the most general settin ...
. The notation
:
expresses that a Puiseux is the limit of its partial sums. However, the field of Puiseux series is not
complete
Complete may refer to:
Logic
* Completeness (logic)
* Completeness of a theory, the property of a theory that every formula in the theory's language or its negation is provable
Mathematics
* The completeness of the real numbers, which implies t ...
; see below .
Convergent Puiseux series
Puiseux series provided by
Newton–Puiseux theorem are
convergent in the sense that there is a neighborhood of zero in which they are convergent (0 excluded if the valuation is negative).
More precisely, let
:
be a Puiseux series with
complex
Complex commonly refers to:
* Complexity, the behaviour of a system whose components interact in multiple ways so possible interactions are difficult to describe
** Complex system, a system composed of many components which may interact with each ...
coefficients. There is a real number , called the
radius of convergence
In mathematics, the radius of convergence of a power series is the radius of the largest disk at the center of the series in which the series converges. It is either a non-negative real number or \infty. When it is positive, the power series co ...
such that the series converges if is substituted for a nonzero complex number of absolute value less than , and is the largest number with this property. A Puiseux series is ''convergent'' if it has a nonzero radius of convergence.
Because a nonzero complex number has
th roots, some care must be taken for the substitution: a specific th root of , say , must be chosen. Then the substitution consists of replacing
by
for every .
The existence of the radius of convergence results from the similar existence for a
power series
In mathematics, a power series (in one variable) is an infinite series of the form
\sum_^\infty a_n \left(x - c\right)^n = a_0 + a_1 (x - c) + a_2 (x - c)^2 + \dots
where ''an'' represents the coefficient of the ''n''th term and ''c'' is a const ...
, applied to
considered as a power series in
It is a part of Newton–Puiseux theorem that the provided Puiseux series have a positive radius of convergence, and thus define a (
multivalued)
analytic function
In mathematics, an analytic function is a function that is locally given by a convergent power series. There exist both real analytic functions and complex analytic functions. Functions of each type are infinitely differentiable, but complex an ...
in some neighborhood of zero (zero itself possibly excluded).
Valuation and order on coefficients
If the base field
is
ordered, then the field of Puiseux series over
is also naturally (“
lexicographically
In mathematics, the lexicographic or lexicographical order (also known as lexical order, or dictionary order) is a generalization of the alphabetical order of the dictionaries to sequences of ordered symbols or, more generally, of elements of a ...
”) ordered as follows: a non-zero Puiseux series
with 0 is declared positive whenever its valuation coefficient is so. Essentially, this means that any positive rational power of the indeterminate
is made positive, but smaller than any positive element in the base field
.
If the base field
is endowed with a valuation
, then we can construct a different valuation on the field of Puiseux series over
by letting the valuation
be
where
is the previously defined valuation (
is the first non-zero coefficient) and
is infinitely large (in other words, the value group of
is
ordered lexicographically, where
is the value group of
). Essentially, this means that the previously defined valuation
is corrected by an infinitesimal amount to take into account the valuation
given on the base field.
Newton–Puiseux theorem
As early as 1671,
Isaac Newton
Sir Isaac Newton (25 December 1642 – 20 March 1726/27) was an English mathematician, physicist, astronomer, alchemist, theologian, and author (described in his time as a "natural philosopher"), widely recognised as one of the grea ...
implicitly used Puiseux series and proved the following theorem for approximating with
series
Series may refer to:
People with the name
* Caroline Series (born 1951), English mathematician, daughter of George Series
* George Series (1920–1995), English physicist
Arts, entertainment, and media
Music
* Series, the ordered sets used in ...
the
roots
A root is the part of a plant, generally underground, that anchors the plant body, and absorbs and stores water and nutrients.
Root or roots may also refer to:
Art, entertainment, and media
* ''The Root'' (magazine), an online magazine focusing ...
of
algebraic equation
In mathematics, an algebraic equation or polynomial equation is an equation of the form
:P = 0
where ''P'' is a polynomial with coefficients in some field, often the field of the rational numbers. For many authors, the term ''algebraic equation'' ...
s whose coefficients are functions that are themselves approximated with series or
polynomial
In mathematics, a polynomial is an expression consisting of indeterminates (also called variables) and coefficients, that involves only the operations of addition, subtraction, multiplication, and positive-integer powers of variables. An exa ...
s. For this purpose, he introduced the
Newton polygon In mathematics, the Newton polygon is a tool for understanding the behaviour of polynomials over local fields, or more generally, over ultrametric fields.
In the original case, the local field of interest was ''essentially'' the field of formal Lau ...
, which remains a fundamental tool in this context. Newton worked with truncated series, and it is only in 1850 that
Victor Puiseux introduced the concept of (non-truncated) Puiseux series and proved the theorem that is now known as ''Puiseux's theorem'' or ''Newton–Puiseux theorem''.
[cf. Kedlaya (2001), introduction] The theorem asserts that, given an algebraic equation whose coefficients are polynomials or, more generally, Puiseux series over a
field
Field may refer to:
Expanses of open ground
* Field (agriculture), an area of land used for agricultural purposes
* Airfield, an aerodrome that lacks the infrastructure of an airport
* Battlefield
* Lawn, an area of mowed grass
* Meadow, a grass ...
of
characteristic zero
In mathematics, the characteristic of a ring , often denoted , is defined to be the smallest number of times one must use the ring's multiplicative identity (1) in a sum to get the additive identity (0). If this sum never reaches the additive ide ...
, every solution of the equation can be expressed as a Puiseux series. Moreover, the proof provides an algorithm for computing these Puiseux series, and, when working over the
complex number
In mathematics, a complex number is an element of a number system that extends the real numbers with a specific element denoted , called the imaginary unit and satisfying the equation i^= -1; every complex number can be expressed in the form ...
s, the resulting series are convergent.
In modern terminology, the theorem can be restated as: ''the field of Puiseux series over a field of characteristic zero, and the field of convergent Puiseux series over the complex numbers, are both
algebraically closed
In mathematics, a field is algebraically closed if every non-constant polynomial in (the univariate polynomial ring with coefficients in ) has a root in .
Examples
As an example, the field of real numbers is not algebraically closed, because ...
''.
Newton polygon
Let
:
be a polynomial whose nonzero coefficients
are polynomials, power series, or even Puiseux series in . In this section, the valuation
of
is the lowest exponent of in
(Most of what follows applies more generally to coefficients in any
valued ring.)
For computing the Puiseux series that are
roots
A root is the part of a plant, generally underground, that anchors the plant body, and absorbs and stores water and nutrients.
Root or roots may also refer to:
Art, entertainment, and media
* ''The Root'' (magazine), an online magazine focusing ...
of (that is solutions of the
functional equation
In mathematics, a functional equation
is, in the broadest meaning, an equation in which one or several functions appear as unknowns. So, differential equations and integral equations are functional equations. However, a more restricted meaning ...
), the first thing to do is to compute the valuation of the roots. This is the role of the Newton polygon.
Let consider, in a
Cartesian plane
A Cartesian coordinate system (, ) in a plane is a coordinate system that specifies each point uniquely by a pair of numerical coordinates, which are the signed distances to the point from two fixed perpendicular oriented lines, measured in ...
, the points of coordinates
The ''Newton polygon'' of is the lower
convex hull
In geometry, the convex hull or convex envelope or convex closure of a shape is the smallest convex set that contains it. The convex hull may be defined either as the intersection of all convex sets containing a given subset of a Euclidean space ...
of these points. That is, the edges of the Newton polygon are the
line segment
In geometry, a line segment is a part of a straight line that is bounded by two distinct end points, and contains every point on the line that is between its endpoints. The length of a line segment is given by the Euclidean distance between ...
s joigning two of these points, such that all these points are not below the line supporting the segment (below is, as usually, relative to the value of the second coordinate).
Given a Puiseux series
of valuation
, the valuation of
is at least the minimum of the numbers
and is equal to this minimum if this minimum is reached for only one . So, for
being a root of , the minimum must be reached at least twice. That is, there must be two values
and
of such that
and
for every .
That is,
and
must belong to an edge of the Newton polygon, and
must be the opposite of the slope of this edge. This is a rational number as soon as all valuations
are rational numbers, and this is the reason for introducing rational exponents in Puiseux series.
In summary, ''the valuation of a root of'' ''must be the opposite of a slope of an edge of the Newton polynomial.''
The initial coefficient of a Puiseux series solution of
can easily be deduced. Let
be the initial coefficient of
that is, the coefficient of
in
Let
be a slope of the Newton polygon, and
be the initial term of a corresponding Puiseux series solution of
If no cancellation would occur, then the initial coefficient of
would be
where is the set of the indices such that
belongs to the edge of slope
of the Newton polygon. So, for having a root, the initial coefficient
must be a nonzero root of the polynomial
(this notation will be used in the next section).
In summary, the Newton polynomial allows an easy computation of all possible initial terms of Puiseux series that are solutions of
The proof of Newton–Puiseux theorem will consist of starting from these initial terms for computing recursively the next terms of the Puiseux series solutions.
Constructive proof
Let suppose that the first term
of a Puiseux series solution of
has been be computed by the method of the preceding section. It remains to compute
For this, we set
and write the
Taylor expansion
In mathematics, the Taylor series or Taylor expansion of a function is an infinite sum of terms that are expressed in terms of the function's derivatives at a single point. For most common functions, the function and the sum of its Taylor seri ...
of at
:
This is a polynomial in whose coefficients are Puiseux series in . One may apply to it the method of the Newton polygon, and iterate for getting the terms of the Puiseux series, one after the other. But some care is required for insuring that
and showing that one get a Puiseux series, that is, that the denominators of the exponents of remain bounded.
The derivation with respect to does not change the valuation in of the coefficients; that is,
:
and the equality occurs if and only if
where
is the polynomial of the preceding section. If is the multiplicity of
as a root of
it results that the inequality is an equality for
The terms such that
can be forgotten as far as one is concerned by valuations, as
and
imply
:
This means that, for iterating the method of Newton polygon, one can and one must consider only the part of the Newton polygon whose first coordinates belongs to the interval
Two cases have to be considered separately and will be the subject of next subsections, the so-called ''ramified case'', where , and the ''regular case'' where .
Regular case
Ramified case
The way of applying recursively the method of the Newton polygon has been described precedingly. As each application of the method may increase, in the ramified case, the denominators of exponents (valuations), it remains to prove that one reaches the regular case after a finite number of iterations (otherwise the denominators of the exponents of the resulting series would not be bounded, and this series would not be a Puiseux series. By the way, it will also be proved that one gets exactly as many Puiseux series solutions as expected, that is the degree of
in .
Without loss of generality, one can suppose that
that is,
Indeed, each factor of
provides a solution that is the zero Puiseux series, and such factors can be factored out.
As the charactistic is supposed to be zero, one can also suppose that
is a
square-free polynomial
In mathematics, a square-free polynomial is a polynomial defined over a field (or more generally, an integral domain) that does not have as a divisor any square of a non-constant polynomial. A univariate polynomial is square free if and only if i ...
, that is that the solutions of
are all different. Indeed, the
square-free factorization
In mathematics, a square-free polynomial is a polynomial defined over a field (or more generally, an integral domain) that does not have as a divisor any square of a non-constant polynomial. A univariate polynomial is square free if and only if i ...
uses only the operations of the field of coefficients for factoring
into square-free factors than can be solved separately. (The hypothesis of characteristic zero is needed, since, in characteristic , the square-free decomposition can provide irreducible factors, such as
that have multiple roots over an algebraic extension.)
In this context, one defines the ''length'' of an edge of a Newton polygon as the difference of the
abscissa
In common usage, the abscissa refers to the (''x'') coordinate and the ordinate refers to the (''y'') coordinate of a standard two-dimensional graph.
The distance of a point from the y-axis, scaled with the x-axis, is called abscissa or x coo ...
s of its end points. The length of a polygon is the sum of the lengths of its edges. With the hypothesis
the length of the Newton polygon of is its degree in , that is the number of its roots. The length of an edge of the Newton polygon is the number of roots of a given valuation. This number equals the degree of the previously defined polynomial
The ramified case corresponds thus to two (or more) solutions that have the same initial term(s). As these solutions must be distinct (square-free hypothesis), they must be distinguished after a finite number of iterations. That is, one gets eventually a polynomial
that is square free, and the computation can continue as in the regular case for each root of
As the iteration of the regular case does not increase the denominators of the exponents, This shows that the method provides all solutions as Puiseux series, that is, that the field of Puiseux series over the complex numbersis an algebraically closed field that contains the univariate polynomial ring with complex coefficients.
Failure in positive characteristic
The Newton–Puiseux theorem is not valid over fields of positive characteristic. For example, the equation
has solutions
:
and
:
(one readily checks on the first few terms that the sum and product of these two series are 1 and
respectively; this is valid whenever the base field ''K'' has characteristic different from 2).
As the powers of 2 in the denominators of the coefficients of the previous example might lead one to believe, the statement of the theorem is not true in positive characteristic. The example of the
Artin–Schreier equation
shows this: reasoning with valuations shows that ''X'' should have valuation
, and if we rewrite it as
then
:
and one shows similarly that
should have valuation
, and proceeding in that way one obtains the series
:
since this series makes no sense as a Puiseux series—because the exponents have unbounded denominators—the original equation has no solution. However, such
Eisenstein equations are essentially the only ones not to have a solution, because, if
is algebraically closed of characteristic
, then the field of Puiseux series over
is the perfect closure of the maximal tamely
ramified extension of
.
Similarly to the case of algebraic closure, there is an analogous theorem for
real closure: if
is a real closed field, then the field of Puiseux series over
is the real closure of the field of formal Laurent series over
. (This implies the former theorem since any algebraically closed field of characteristic zero is the unique quadratic extension of some real-closed field.)
There is also an analogous result for
p-adic closure: if
is a
-adically closed field with respect to a valuation
, then the field of Puiseux series over
is also
-adically closed.
Puiseux expansion of algebraic curves and functions
Algebraic curves
Let
be an
algebraic curve
In mathematics, an affine algebraic plane curve is the zero set of a polynomial in two variables. A projective algebraic plane curve is the zero set in a projective plane of a homogeneous polynomial in three variables. An affine algebraic plane c ...
given by an affine equation
over an algebraically closed field
of characteristic zero, and consider a point
on
which we can assume to be
. We also assume that
is not the coordinate axis
. Then a ''Puiseux expansion'' of (the
coordinate of)
at
is a Puiseux series
having positive valuation such that
.
More precisely, let us define the ''branches'' of
at
to be the points
of the
normalization of
which map to
. For each such
, there is a local coordinate
of
at
(which is a smooth point) such that the coordinates
and
can be expressed as formal power series of
, say
(since
is algebraically closed, we can assume the valuation coefficient to be 1) and
: then there is a unique Puiseux series of the form
(a power series in
), such that
(the latter expression is meaningful since
is a well-defined power series in
). This is a Puiseux expansion of
at
which is said to be associated to the branch given by
(or simply, the Puiseux expansion of that branch of
), and each Puiseux expansion of
at
is given in this manner for a unique branch of
at
.
This existence of a formal parametrization of the branches of an algebraic curve or function is also referred to as ''Puiseux's theorem'': it has arguably the same mathematical content as the fact that the field of Puiseux series is algebraically closed and is a historically more accurate description of the original author's statement.
For example, the curve
(whose normalization is a line with coordinate
and map
) has two branches at the double point (0,0), corresponding to the points
and
on the normalization, whose Puiseux expansions are
and
respectively (here, both are power series because the
coordinate is
étale at the corresponding points in the normalization). At the smooth point
(which is
in the normalization), it has a single branch, given by the Puiseux expansion
(the
coordinate ramifies at this point, so it is not a power series).
The curve
(whose normalization is again a line with coordinate
and map
), on the other hand, has a single branch at the
cusp point , whose Puiseux expansion is
.
Analytic convergence
When
is the field of complex numbers, the Puiseux expansion of an algebraic curve (as defined above) is
convergent in the sense that for a given choice of
-th root of
, they converge for small enough
, hence define an analytic parametrization of each branch of
in the neighborhood of
(more precisely, the parametrization is by the
-th root of
).
Generalizations
Levi-Civita field
The field of Puiseux series is not
complete
Complete may refer to:
Logic
* Completeness (logic)
* Completeness of a theory, the property of a theory that every formula in the theory's language or its negation is provable
Mathematics
* The completeness of the real numbers, which implies t ...
as a
metric space
In mathematics, a metric space is a set together with a notion of ''distance'' between its elements, usually called points. The distance is measured by a function called a metric or distance function. Metric spaces are the most general settin ...
. Its completion, called the
Levi-Civita field
In mathematics, the Levi-Civita field, named after Tullio Levi-Civita, is a non-Archimedean ordered field; i.e., a system of numbers containing infinite and infinitesimal quantities. Each member a can be constructed as a formal series of the form
...
, can be described as follows: it is the field of formal expressions of the form
where the support of the coefficients (that is, the set of ''e'' such that
) is the range of an increasing sequence of rational numbers that either is finite or tends to
. In other words, such series admit exponents of unbounded denominators, provided there are finitely many terms of exponent less than
for any given bound
. For example,
is not a Puiseux series, but it is the limit of a
Cauchy sequence
In mathematics, a Cauchy sequence (; ), named after Augustin-Louis Cauchy, is a sequence whose elements become arbitrarily close to each other as the sequence progresses. More precisely, given any small positive distance, all but a finite numbe ...
of Puiseux series; in particular, it is the limit of
as
. However, even this completion is still not "maximally complete" in the sense that it admits non-trivial extensions which are valued fields having the same value group and residue field, hence the opportunity of completing it even more.
Hahn series
Hahn series In mathematics, Hahn series (sometimes also known as Hahn–Mal'cev–Neumann series) are a type of formal infinite series. They are a generalization of Puiseux series (themselves a generalization of formal power series) and were first introduced ...
are a further (larger) generalization of Puiseux series, introduced by
Hans Hahn in the course of the proof of his
embedding theorem in 1907 and then studied by him in his approach to
Hilbert's seventeenth problem
Hilbert's seventeenth problem is one of the 23 Hilbert problems set out in a celebrated list compiled in 1900 by David Hilbert. It concerns the expression of positive definite rational functions as sums of quotients of squares. The original q ...
. In a Hahn series, instead of requiring the exponents to have bounded denominator they are required to form a
well-ordered subset of the value group (usually
or
). These were later further generalized by
Anatoly Maltsev Anatoly Ivanovich Maltsev (also: Malcev, Mal'cev; Russian: Анато́лий Ива́нович Ма́льцев; 27 November N.S./14 November O.S. 1909, Moscow Governorate – 7 June 1967, Novosibirsk) was born in Misheronsky, near Moscow, an ...
and
Bernhard Neumann
Bernhard Hermann Neumann (15 October 1909 – 21 October 2002) was a German-born British-Australian mathematician, who was a leader in the study of group theory.
Early life and education
After gaining a D.Phil. from Friedrich-Wilhelms Universit ...
to a non-commutative setting (they are therefore sometimes known as ''Hahn–Mal'cev–Neumann series''). Using Hahn series, it is possible to give a description of the algebraic closure of the field of power series in positive characteristic which is somewhat analogous to the field of Puiseux series.
[Kedlaya (2001)]
Notes
See also
*
Laurent series
In mathematics, the Laurent series of a complex function f(z) is a representation of that function as a power series which includes terms of negative degree. It may be used to express complex functions in cases where a Taylor series expansion c ...
*
Madhava series
In mathematics, a Madhava series or Leibniz series is any one of the series in a collection of infinite series expressions all of which are believed to have been discovered by an Indian Mathematician and Astronomer Madhava of Sangamagrama (c.&nb ...
*
Newton's divided difference interpolation
*
Padé approximant
In mathematics, a Padé approximant is the "best" approximation of a function near a specific point by a rational function of given order. Under this technique, the approximant's power series agrees with the power series of the function it is ap ...
References
*
*
*
*
*
* (Translated from Latin)
*
*
*
*
*
External links
*
Puiseux series at MathWorld
{{series (mathematics)
Commutative algebra
Algebraic curves
Mathematical series