In mathematics the additive identity of a set which is equipped with the operation of addition is an element which, when added to any element "x" in the set, yields "x". One of the most familiar additive identities is the number 0 from elementary mathematics, but additive identities occur in other mathematical structures where addition is defined, such as in groups and rings.

Elementary examples

* The additive identity familiar from elementary mathematics is zero, denoted 0. For example,
*: 5 + 0 = 5 = 0 + 5.
* In the natural numbers N and all of its supersets (the integers Z, the rational numbers Q, the real numbers R, or the complex numbers C), the additive identity is 0. Thus for any one of these numbers "n",
*: "n" + 0 = "n" = 0 + "n".

Formal definition

Let "N" be a set which is closed under the operation of addition, denoted +. An additive identity for "N" is any element "e" such that for any element "n" in "N",: "e" + "n" = "n" = "n" + "e".

Further examples

* In a group the additive identity is the identity element of the group, is often denoted 0, and is unique (see below for proof).
* A ring or field is a group under the operation of addition and thus these also have a unique additive identity 0. This is defined to be different from the multiplicative identity 1 if the ring (or field) has more than one element. If the additive identity and the multiplicative identity are the same, then the ring is trivial (proved below).
* In the ring M"m"×"n"("R") of "m" by "n" matrices over a ring "R", the additive identity is denoted 0 and is the "m" by "n" matrix whose entries consist entirely of the identity element 0 in "R". For example, in the 2 by 2 matrices over the integers M2(Z) the additive identity is
*:
*In the quaternions, 0 is the additive identity.
*In the ring of functions from R to R, the function mapping every number to 0 is the additive identity.
*In the additive group of vectors in R"n", the origin or zero vector is the additive identity.

Proofs

The additive identity is unique in a group

Let ("G", +) be a group and let 0 and 0' in "G" both denote additive identities, so for any "g" in "G",: 0 + "g" = "g" = "g" + 0 and 0' + "g" = "g" = "g" + 0'.

It follows from the above that: 0 + (0') = (0') = (0') + 0 and 0' + (0) = (0) = (0) + 0'which shows that 0 = 0'.

The additive and multiplicative identities are different in a non-trivial ring

Let "R" be a ring and suppose that the additive identity 0 and the multiplicative identity 1 are equal, or 0 = 1. Let "r" be any element of "R". Then

: "r" = "r" × 1 = "r" × 0 = 0,

proving that "R" is trivial, that is, "R" = {0}. The contrapositive, that if "R" is non-trivial then 0 is not equal to 1, is therefore shown.

The additive identity annihilates ring elements

In a system with a multiplication operation that distributes over addition, the additive identity is a multiplicative absorbing element, meaning that for any "s" in "S", "s"·0 = 0. This can be seen because "s"·0 = "s"·(0 + 0) = "s"·0 + "s"·0, so that, by cancellation "s"·0 = 0. Any number times 0 equals 0.

ee also

*0
*Identity element
*Multiplicative identity

References

*David S. Dummit, Richard M. Foote, "Abstract Algebra", Wiley (3d ed.): 2003, ISBN 0-471-43334-9.

*PlanetMath | urlname=UniquenessOfAdditiveIdentityInARing2 | title=uniqueness of additive identity in a ring | id=5676

Wikimedia Foundation. 2010.

### Look at other dictionaries:

• additive identity — noun An element of an algebraic structure, generally denoted 0, which is an identity for an additive operation (generally denoted +). That is, x + 0 = 0 + x = x for any x in the structure …   Wiktionary

• additive identity — noun Date: 1953 an identity element (as 0 in the group of whole numbers under the operation of addition) that in a given mathematical system leaves unchanged any element to which it is added …   New Collegiate Dictionary

• additive identity — noun : an identity element (as 0 in the group of whole numbers under the operation of addition) that in a given mathematical system leaves unchanged any element to which it is added * * * Math. an element that when added to a given element in a… …   Useful english dictionary

• additive identity — Math. an element that when added to a given element in a specified set leaves that element unchanged, as zero in the real number system. [1955 60] * * * …   Universalium

• Additive inverse — In mathematics, the additive inverse, or opposite, of a number a is the number that, when added to a, yields zero. The additive inverse of a is denoted −a. For example, the additive inverse of 7 is −7, because 7 + (−7) = 0, and the additive… …   Wikipedia

• Identity element — In mathematics, an identity element (or neutral element) is a special type of element of a set with respect to a binary operation on that set. It leaves other elements unchanged when combined with them. This is used for groups and related… …   Wikipedia

• Identity (mathematics) — For other uses, see Identity (disambiguation). In mathematics, the term identity has several different important meanings: An identity is a relation which is tautologically true. This means that whatever the number or value may be, the answer… …   Wikipedia

• Additive category — In mathematics, specifically in category theory, an additive category is a preadditive category C such that any finitely many objects A 1,..., A n of C have a biproduct A 1 ⊕ ⋯ ⊕ A n in C. (Recall that a category C is preadditive if all its… …   Wikipedia

• additiveidentity — additive identity n. An element that in a given mathematical system leaves unchanged any element to which it is added. * * * …   Universalium

• Ring (mathematics) — This article is about algebraic structures. For geometric rings, see Annulus (mathematics). For the set theory concept, see Ring of sets. Polynomials, represented here by curves, form a ring under addition and multiplication. In mathematics, a… …   Wikipedia