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 natural number which is not the successor of any other natural number.

Repeated addition of natural numbers is generalized as multiplication of natural numbers

Notation and terms

The operation of addition, commonly written as the infix operator "+", is a function +: N &times; NN. For natural numbers "a", "b", and "c", we write

:$a + b = c$

Here, "a" is the "augend", "b" is the "addend", and "c" is the "sum".

Definition

Assume that $mathbb\left\{N\right\}$, the set of Natural Numbers, has been defined by the Peano postulates as follows:

* $0 in mathbb\left\{N\right\}$
* $n in mathbb\left\{N\right\} arr S\left(n\right) in mathbb\left\{N\right\}$

Where $S\left(a\right)$ is the successor of a defined as

* $S : mathbb\left\{N\right\} arr mathbb\left\{N\right\}$

Addition is defined inductively by fixing the augend. In other words, we let "a" be any arbitrary, but fixed natural number, and we then make the following definitions A1 and A2:

* $a + 0 = a$ [A1]
* $a + S\left(b\right) = S\left(a + b\right)$ [A2]

In words, this says that adding zero, which is the additive-identity, to "a" gives back "a", and that applying the successor function to the addend has the effect of applying the successor function to the sum.

By the recursion theorem, this defines a unique function $+ : mathbb\left\{N\right\} arr mathbb\left\{N\right\}$, in other words a unique function "+" that maps $mathbb\left\{N\right\}$ back onto $mathbb\left\{N\right\}$.

Properties

The following are three immediate and important properties of addition which can be deduced from the definition.

: Let $a, b, c in mathbb\left\{N\right\}$

* Associativity: (proof):$\left(a + b\right) + c = a + \left(b + c\right);,$
* Commutativity: (proof):$a + b = b + a;,$
* Identity element: (proof):$a + 0 = 0 + a = a.,$ :where 0 is known as the additive identity under $mathbb\left\{N\right\}$. Strictly it is defined as a right identity, but by commutativity, is becomes the general identity in the group $\left(mathbb\left\{N\right\}, +\right)$

Together, these three properties show that the set of natural numbers $mathbb\left\{N\right\}$ under addition is a commutative monoid.

ee also

*Method to Derive Polynomial Representations that Sum Natural Numbers with Exponents [http://upload.wikimedia.org/wikipedia/commons/6/62/Sum_of_i.pdf]

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• Addition of natural numbers/Proofs — Mathematical proofs for addition of the natural numbers: additive identity, commutativity, and associativity. These proofs are used in the article Addition of natural numbers.DefinitionsThis article will use the definitions in addition of natural …   Wikipedia

• Circuits over sets of natural numbers — Circuits over natural numbers is a mathematical model used in studying computational complexity theory. It is a special case of circuit, the object is a labeled directed acyclic graph the nodes of which evaluate to sets of natural numbers, the… …   Wikipedia

• Florida Museum of Natural History — Coordinates: 29°38′09″N 82°22′13″W﻿ / ﻿29.63583°N 82.37028°W﻿ / 29.63583; 82.37028 …   Wikipedia

• Harvard Museum of Natural History — The Harvard Museum of Natural History is a natural history museum on the grounds of Harvard University in Cambridge, Massachusetts. It has three parts: * the Harvard University Herbaria * the Museum of Comparative Zoology * the Harvard… …   Wikipedia

• 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

• Natural number — Natural numbers can be used for counting (one apple, two apples, three apples, ...) from top to bottom. In mathematics, the natural numbers are the ordinary whole numbers used for counting ( there are 6 coins on the table ) and ordering ( this is …   Wikipedia

• Natural logarithm — Base e redirects here. For the numbering system which uses e as its base, see Non integer representation#Base e. Graph of the natural logarithm function. The function slowly grows to positive infinity as x increases and rapidly goes to negative… …   Wikipedia

• NUMBERS, TYPICAL AND IMPORTANT — Biblical numbers are primarily based on the decimal system, which is of Hamito Egyptian origin. The sexagesimal system, however, which ultimately derives from Sumerian usage, also plays an important role in Scripture, and since 60 is divisible by …   Encyclopedia of Judaism

• Natural scientific research in Canada — This article outlines the history of natural scientific research in Canada, including mathematics, physics, astronomy, space science, geology, oceanography, chemistry, biology, medical research and psychology. The social sciences are not treated… …   Wikipedia

• Natural logarithm — Logarithm Log a*rithm (l[o^]g [.a]*r[i^][th] m), n. [Gr. lo gos word, account, proportion + ariqmo s number: cf. F. logarithme.] (Math.) One of a class of auxiliary numbers, devised by John Napier, of Merchiston, Scotland (1550 1617), to abridge… …   The Collaborative International Dictionary of English