Displaying similar documents to “Description of algebraically constructible functions.”

Algebraic Numbers

Yasushige Watase (2016)

Formalized Mathematics

Similarity:

This article provides definitions and examples upon an integral element of unital commutative rings. An algebraic number is also treated as consequence of a concept of “integral”. Definitions for an integral closure, an algebraic integer and a transcendental numbers [14], [1], [10] and [7] are included as well. As an application of an algebraic number, this article includes a formal proof of a ring extension of rational number field ℚ induced by substitution of an algebraic number to...

The field of Nash functions and factorization of polynomials

Stanisław Spodzieja (1996)

Annales Polonici Mathematici

Similarity:

The algebraically closed field of Nash functions is introduced. It is shown that this field is an algebraic closure of the field of rational functions in several variables. We give conditions for the irreducibility of polynomials with Nash coefficients, a description of factors of a polynomial over the field of Nash functions and a theorem on continuity of factors.

Algebraically constructible chains

Hélène Pennaneac'h (2001)

Annales de l’institut Fourier

Similarity:

We construct for a real algebraic variety (or more generally for a scheme essentially of finite type over a field of characteristic 0 ) complexes of algebraically and k - algebraically constructible chains. We study their functoriality and compute their homologies for affine and projective spaces. Then we show that the lagrangian algebraically constructible cycles of the cotangent bundle are exactly the characteristic cycles of the algebraically constructible functions.