World Library  
Flag as Inappropriate
Email this Article

Exponential field

Article Id: WHEBN0021313650
Reproduction Date:

Title: Exponential field  
Author: World Heritage Encyclopedia
Language: English
Subject: Exponential polynomial, List of exponential topics, Model theory, Schanuel's conjecture, Group homomorphism
Collection: Algebraic Structures, Field Theory, Model Theory
Publisher: World Heritage Encyclopedia

Exponential field

In mathematics, an exponential field is a field that has an extra operation on its elements which extends the usual idea of exponentiation.


  • Definition 1
  • Trivial exponential function 2
  • Examples 3
  • Exponential rings 4
  • Open problems 5
  • See also 6
  • Notes 7


A field is an algebraic structure composed of a set of elements, F, two binary operations, addition (+) such that F forms an abelian group with identity 0F and multiplication (·), such that F excluding 0F forms an abelian group under multiplication with identity 1F, and such that multiplication is distributive over addition, that is for any elements a, b, c in F, one has a · (b + c) = (a · b) + (a · c). If there is also a function E that maps F into F, and such that for every a and b in F one has

\begin{align}&E(a+b)=E(a)\cdot E(b),\\&E(0_F)=1_F \end{align}

then F is called an exponential field, and the function E is called an exponential function on F.[1] Thus an exponential function on a field is a homomorphism from the additive group of F to its multiplicative group.

Trivial exponential function

There is a trivial exponential function on any field, namely the map that sends every element to the identity element of the field under multiplication. Thus every field is trivially also an exponential field, so the cases of interest to mathematicians occur when the exponential function is non-trivial.

Exponential fields are sometimes required to have characteristic zero as the only exponential function on a field with nonzero characteristic is the trivial one.[2] To see this first note that for any element x in a field with characteristic p > 0,

1=E(0)=E(\underbrace{x+x+\ldots+x}_{p\text{ of these}})=E(x)E(x)\cdots E(x)=E(x)^p.

Hence, taking into account the Frobenius endomorphism,


And so E(x) = 1 for every x.[3]


  • The field of real numbers R, or (R, +, ·, 0, 1) as it may be written to highlight that we are considering it purely as a field with addition, multiplication, and special constants zero and one, has infinitely many exponential functions. One such function is the usual exponential function, that is E(x) = ex, since we have ex+y = exey and e0 = 1, as required. Considering the ordered field R equipped with this function gives the ordered real exponential field, denoted Rexp = (R, +, ·, <, 0, 1, exp).
  • Any real number a > 0 gives an exponential function on R, where the map E(x) = ax satisfies the required properties.
  • Analogously to the real exponential field, there is the complex exponential field, Cexp = (C, +, ·, 0, 1, exp).
  • Boris Zilber constructed an exponential field Kexp that, crucially, satisfies the equivalent formulation of Schanuel's conjecture with the field's exponential function.[4] It is conjectured that this exponential field is actually Cexp, and a proof of this fact would thus prove Schanuel's conjecture.

Exponential rings

The underlying set F may not be required to be a field but instead allowed to simply be a ring, R, and concurrently the exponential function is relaxed to be a homomorphism from the additive group in R to the multiplicative group of units in R. The resulting object is called an exponential ring.[2]

An example of an exponential ring with a nontrivial exponential function is the ring of integers Z equipped with the function E which takes the value +1 at even integers and −1 at odd integers, i.e., the function n \mapsto (-1)^n. This exponential function, and the trivial one, are the only two functions on Z that satisfy the conditions.[5]

Open problems

Exponential fields are a much-studied object in model theory, occasionally providing a link between it and number theory as in the case of Zilber's work on Schanuel's conjecture. It was proved in the 1990s that Rexp is model complete, a result known as Wilkie's theorem. This result, when combined with Khovanskiĭ's theorem on pfaffian functions, proves that Rexp is also o-minimal.[6] On the other hand it is known that Cexp is not model complete.[7] The question of decidability is still unresolved. Alfred Tarski posed the question of the decidability of Rexp and hence it is now known as Tarski's exponential function problem. It is known that if the real version of Schanuel's conjecture is true then Rexp is decidable.[8]

See also


  1. ^ Helmut Wolter, Some results about exponential fields (survey), Mémoires de la S.M.F. 2e série, 16, (1984), pp.85–94.
  2. ^ a b Lou van den Dries, Exponential rings, exponential polynomials and exponential functions, Pacific Journal of Mathematics, 113, no.1 (1984), pp.51–66.
  3. ^ Martin Bays, Jonathan Kirby, A.J. Wilkie, A Schanuel property for exponentially transcendental powers, (2008), arXiv:0810.4457
  4. ^ Boris Zilber, Pseudo-exponentiation on algebraically closed fields of characteristic zero, Ann. Pure Appl. Logic, 132, no.1 (2005), pp.67–95.
  5. ^ Giuseppina Terzo, Some Consequences of Schanuel's Conjecture in Exponential Rings, Communications in Algebra, Volume 36, Issue 3 (2008), pp.1171–1189.
  6. ^ A.J. Wilkie, Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function, J. Amer. Math. Soc., 9 (1996), pp.1051–1094.
  7. ^ David Marker, A remark on Zilber's pseudoexponentiation, The Journal of Symbolic Logic, 71, no.3 (2006), pp.791–798.
  8. ^ A.J. Macintyre, A.J. Wilkie, On the decidability of the real exponential field, Kreisel 70th Birthday Volume, (2005).
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.

Copyright © World Library Foundation. All rights reserved. eBooks from Hawaii eBook Library are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.