﻿

In mathematics, an addition theorem is a formula such as that for the exponential function

:"e""x" + "y" = "e""x"·"e""y"

that expresses, for a particular function "f", "f"("x" + "y") in terms of "f"("x") and "f"("y"). Slightly more generally, as is the case with the trigonometric functions "sin" and "cos", several functions may be involved; this is more apparent than real, in that case, since there "cos" is an algebraic function of "sin" (in other words, we usually take their functions both as defined on the unit circle).

The scope of the idea of an addition theorem was fully explored in the nineteenth century, prompted by the discovery of the addition theorem for elliptic functions. To 'classify' addition theorems it is necessary to put some restriction on the type of function "G" admitted, such that

:"F"("x" + "y") = "G"("F"("x"), "F"("y")).

In this identity one can assume that "F" and "G" are vector-valued (have several components). An algebraic addition theorem is one in which "G" can be taken to be a vector of polynomials, in some set of variables. The conclusion of the mathematicians of the time was that the theory of abelian functions essentially exhausted the interesting possibilities: considered as a functional equation to be solved with polynomials, or indeed rational functions or algebraic functions, there were no further types of solution.

In more contemporary language this appears as part of the theory of algebraic groups, dealing with commutative groups. The connected, projective variety examples are indeed exhausted by abelian functions, as is shown by a number of results characterising an abelian variety by rather weak conditions on its group law. The so-called quasi-abelian functions are known all to come from extensions of abelian varieties by commutative affine group varieties. Therefore the old conclusions about the scope of global algebraic addition theorems can be said to hold. A more modern aspect is the theory of formal groups.

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• addition theorem — noun : a formula or rule that expresses algebraically a function of the sum of two arguments in terms of the same or related functions of the separate arguments [as sin (x + y) = sin x cos y + sin y cos x] …   Useful english dictionary

• Addition — is the mathematical process of putting things together. The plus sign + means that two numbers are added together. For example, in the picture on the right, there are 3 + 2 apples meaning three apples and two other apples which is the same as… …   Wikipedia

• Addition of natural numbers — is the most basic arithmetic binary operation. The operation addition takes two natural numbers, the augend and addend, and produces a single number, the sum. The set of natural numbers will be denoted by N, and 0 will be used to denote the… …   Wikipedia

• Mordell–Weil theorem — In mathematics, the Mordell–Weil theorem states that for an abelian variety A over a number field K, the group A(K) of K rational points of A is a finitely generated abelian group, called the Mordell Weil group. The case with A an elliptic curve… …   Wikipedia

• Deduction theorem — In mathematical logic, the deduction theorem is a metatheorem of first order logic.[1] It is a formalization of the common proof technique in which an implication A → B is proved by assuming A and then proving B from this assumption.… …   Wikipedia

• Newton's theorem of revolving orbits — Figure 1: An attractive force F(r) causes the blue planet to move on the cyan circle. The green planet moves three times faster and thus requires a stronger centripetal force, which is supplied by adding an attractive inverse cube force. The …   Wikipedia

• Nyquist–Shannon sampling theorem — Fig.1: Hypothetical spectrum of a bandlimited signal as a function of frequency The Nyquist–Shannon sampling theorem, after Harry Nyquist and Claude Shannon, is a fundamental result in the field of information theory, in particular… …   Wikipedia

• Shannon–Hartley theorem — In information theory, the Shannon–Hartley theorem tells the maximum rate at which information can be transmitted over a communications channel of a specified bandwidth in the presence of noise. It is an application of the noisy channel coding… …   Wikipedia

• Cayley's theorem — In group theory, Cayley s theorem, named in honor of Arthur Cayley, states that every group G is isomorphic to a subgroup of the symmetric group on G . This can be understood as an example of the group action of G on the elements of G .A… …   Wikipedia

• Perron–Frobenius theorem — In linear algebra, the Perron–Frobenius theorem, proved by Oskar Perron (1907) and Georg Frobenius (1912), asserts that a real square matrix with positive entries has a unique largest real eigenvalue and that the corresponding… …   Wikipedia