In

mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...

, particularly

mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...

, the zero tensor is a zero
0 (zero) is a number representing an empty quantity. In place-value notation such as the Hindu–Arabic numeral system, 0 also serves as a placeholder numerical digit, which works by multiplying digits to the left of 0 by the radix, usua ...

. The zero tensor of order 1 is sometimes known as the zero vector.
Taking a

0 (number)

mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...

, a zero element is one of several generalizations of the number zero to other algebraic structure
In mathematics, an algebraic structure consists of a nonempty set ''A'' (called the underlying set, carrier set or domain), a collection of operations on ''A'' (typically binary operations such as addition and multiplication), and a finite set o ...

s. These alternate meanings may or may not reduce to the same thing, depending on the context.
Additive identities

Anadditive identity In mathematics, the additive identity of a set that 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 elem ...

is the identity element
In mathematics, an identity element, or neutral element, of a binary operation operating on a set is an element of the set that leaves unchanged every element of the set when the operation is applied. This concept is used in algebraic structures s ...

in an additive group
An additive group is a group of which the group operation is to be thought of as ''addition'' in some sense. It is usually abelian, and typically written using the symbol + for its binary operation.
This terminology is widely used with structur ...

. It corresponds to the element 0 such that for all x in the group, . Some examples of additive identity include:
* The zero vector under vector addition
In mathematics, physics, and engineering, a Euclidean vector or simply a vector (sometimes called a geometric vector or spatial vector) is a geometric object that has magnitude (or length) and direction. Vectors can be added to other vectors ...

: the vector of length 0 and whose components are all 0. Often denoted as $\backslash mathbf$ or $\backslash vec$.
* The zero function or zero map defined by , under pointwise addition
* The empty set
In mathematics, the empty set is the unique set having no elements; its size or cardinality (count of elements in a set) is zero. Some axiomatic set theories ensure that the empty set exists by including an axiom of empty set, while in other ...

under set union
* An empty sum
In mathematics, an empty sum, or nullary sum, is a summation where the number of terms is zero.
The natural way to extend non-empty sums is to let the empty sum be the additive identity.
Let a_1, a_2, a_3, ... be a sequence of numbers, and let ...

or empty coproduct
In category theory, the coproduct, or categorical sum, is a construction which includes as examples the disjoint union of sets and of topological spaces, the free product of groups, and the direct sum of modules and vector spaces. The coprod ...

* An initial object
In category theory, a branch of mathematics, an initial object of a category is an object in such that for every object in , there exists precisely one morphism .
The dual notion is that of a terminal object (also called terminal element): ...

in a category
Category, plural categories, may refer to:
Philosophy and general uses
*Categorization, categories in cognitive science, information science and generally
*Category of being
* ''Categories'' (Aristotle)
*Category (Kant)
*Categories (Peirce)
* ...

(an empty coproduct, and so an identity under coproduct
In category theory, the coproduct, or categorical sum, is a construction which includes as examples the disjoint union of sets and of topological spaces, the free product of groups, and the direct sum of modules and vector spaces. The coprod ...

s)
Absorbing elements

Anabsorbing element In mathematics, an absorbing element (or annihilating element) is a special type of element of a set with respect to a binary operation on that set. The result of combining an absorbing element with any element of the set is the absorbing element ...

in a multiplicative semigroup
In mathematics, a semigroup is an algebraic structure consisting of a set together with an associative internal binary operation on it.
The binary operation of a semigroup is most often denoted multiplicatively: ''x''·''y'', or simply ''xy'', ...

or semiring generalises the property . Examples include:
*The empty set
In mathematics, the empty set is the unique set having no elements; its size or cardinality (count of elements in a set) is zero. Some axiomatic set theories ensure that the empty set exists by including an axiom of empty set, while in other ...

, which is an absorbing element under Cartesian product
In mathematics, specifically set theory, the Cartesian product of two sets ''A'' and ''B'', denoted ''A''×''B'', is the set of all ordered pairs where ''a'' is in ''A'' and ''b'' is in ''B''. In terms of set-builder notation, that is
: A\ ...

of sets, since
*The zero function or zero map defined by under pointwise multiplication
In mathematics, the pointwise product of two functions is another function, obtained by multiplying the images of the two functions at each value in the domain. If and are both functions with domain and codomain , and elements of can be mu ...

Many absorbing elements are also additive identities, including the empty set and the zero function. Another important example is the distinguished element 0 in a field or ring, which is both the additive identity and the multiplicative absorbing element, and whose principal ideal
In mathematics, specifically ring theory, a principal ideal is an ideal I in a ring R that is generated by a single element a of R through multiplication by every element of R. The term also has another, similar meaning in order theory, where it ...

is the smallest ideal.
Zero objects

Azero object
In category theory, a branch of mathematics, an initial object of a category is an object in such that for every object in , there exists precisely one morphism .
The dual notion is that of a terminal object (also called terminal element): ...

in a category
Category, plural categories, may refer to:
Philosophy and general uses
*Categorization, categories in cognitive science, information science and generally
*Category of being
* ''Categories'' (Aristotle)
*Category (Kant)
*Categories (Peirce)
* ...

is both an initial and terminal object (and so an identity under both coproduct
In category theory, the coproduct, or categorical sum, is a construction which includes as examples the disjoint union of sets and of topological spaces, the free product of groups, and the direct sum of modules and vector spaces. The coprod ...

s and products). For example, the trivial structure (containing only the identity) is a zero object in categories where morphisms must map identities to identities. Specific examples include:
*The trivial group
In mathematics, a trivial group or zero group is a group consisting of a single element. All such groups are isomorphic, so one often speaks of the trivial group. The single element of the trivial group is the identity element and so it is usually ...

, containing only the identity (a zero object in the category of groups
In mathematics, the category Grp (or Gp) has the class of all groups for objects and group homomorphisms for morphisms. As such, it is a concrete category. The study of this category is known as group theory.
Relation to other categories
Ther ...

)
*The zero module, containing only the identity (a zero object in the category of modules over a ring)
Zero morphisms

A zero morphism in acategory
Category, plural categories, may refer to:
Philosophy and general uses
*Categorization, categories in cognitive science, information science and generally
*Category of being
* ''Categories'' (Aristotle)
*Category (Kant)
*Categories (Peirce)
* ...

is a generalised absorbing element under function composition
In mathematics, function composition is an operation that takes two functions and , and produces a function such that . In this operation, the function is applied to the result of applying the function to . That is, the functions and ...

: any morphism composed with a zero morphism gives a zero morphism. Specifically, if is the zero morphism among morphisms from ''X'' to ''Y'', and and are arbitrary morphisms, then and .
If a category has a zero object 0, then there are canonical morphisms and and composing them gives a zero morphism . In the category of groups
In mathematics, the category Grp (or Gp) has the class of all groups for objects and group homomorphisms for morphisms. As such, it is a concrete category. The study of this category is known as group theory.
Relation to other categories
Ther ...

, for example, zero morphisms are morphisms which always return group identities, thus generalising the function
Least elements

Aleast element
In mathematics, especially in order theory, the greatest element of a subset S of a partially ordered set (poset) is an element of S that is greater than every other element of S. The term least element is defined dually, that is, it is an elem ...

in a partially ordered set
In mathematics, especially order theory, a partially ordered set (also poset) formalizes and generalizes the intuitive concept of an ordering, sequencing, or arrangement of the elements of a set. A poset consists of a set together with a binary ...

or lattice may sometimes be called a zero element, and written either as 0 or ⊥.
Zero module

Inmathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...

, the zero module is the module consisting of only the additive identity for the module's addition
Addition (usually signified by the plus symbol ) is one of the four basic operations of arithmetic, the other three being subtraction, multiplication and division. The addition of two whole numbers results in the total amount or '' sum'' of ...

function. In the integer
An integer is the number zero (), a positive natural number (, , , etc.) or a negative integer with a minus sign ( −1, −2, −3, etc.). The negative numbers are the additive inverses of the corresponding positive numbers. In the languag ...

s, this identity is zero
0 (zero) is a number representing an empty quantity. In place-value notation such as the Hindu–Arabic numeral system, 0 also serves as a placeholder numerical digit, which works by multiplying digits to the left of 0 by the radix, usua ...

, which gives the name ''zero module''. That the zero module is in fact a module is simple to show; it is closed under addition and multiplication
Multiplication (often denoted by the cross symbol , by the mid-line dot operator , by juxtaposition, or, on computers, by an asterisk ) is one of the four elementary mathematical operations of arithmetic, with the other ones being a ...

trivially.
Zero ideal

Inmathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...

, the zero ideal
Ideal may refer to:
Philosophy
* Ideal (ethics), values that one actively pursues as goals
* Platonic ideal, a philosophical idea of trueness of form, associated with Plato
Mathematics
* Ideal (ring theory), special subsets of a ring considere ...

in a ring $R$ is the ideal $\backslash $ consisting of only the additive identity (or zero
0 (zero) is a number representing an empty quantity. In place-value notation such as the Hindu–Arabic numeral system, 0 also serves as a placeholder numerical digit, which works by multiplying digits to the left of 0 by the radix, usua ...

element). The fact that this is an ideal follows directly from the definition.
Zero matrix

Inlinear algebra
Linear algebra is the branch of mathematics concerning linear equations such as:
:a_1x_1+\cdots +a_nx_n=b,
linear maps such as:
:(x_1, \ldots, x_n) \mapsto a_1x_1+\cdots +a_nx_n,
and their representations in vector spaces and through matrices ...

, a zero matrix is a matrix with all its entries being zero
0 (zero) is a number representing an empty quantity. In place-value notation such as the Hindu–Arabic numeral system, 0 also serves as a placeholder numerical digit, which works by multiplying digits to the left of 0 by the radix, usua ...

. It is alternately denoted by the symbol $O$. Some examples of zero matrices are
:$0\_\; =\; \backslash begin\; 0\; \backslash end\; ,\backslash \; 0\_\; =\; \backslash begin\; 0\; \&\; 0\; \backslash \backslash \; 0\; \&\; 0\; \backslash end\; ,\backslash \; 0\_\; =\; \backslash begin\; 0\; \&\; 0\; \&\; 0\; \backslash \backslash \; 0\; \&\; 0\; \&\; 0\; \backslash end\; ,\backslash $
The set of ''m'' × ''n'' matrices with entries in a ring ''K'' forms a module $K\_$. The zero matrix $0\_$ in $K\_$ is the matrix with all entries equal to $0\_K$, where $0\_K$ is the additive identity in ''K''.
:$0\_\; =\; \backslash begin\; 0\_K\; \&\; 0\_K\; \&\; \backslash cdots\; \&\; 0\_K\; \backslash \backslash \; 0\_K\; \&\; 0\_K\; \&\; \backslash cdots\; \&\; 0\_K\; \backslash \backslash \; \backslash vdots\; \&\; \backslash vdots\; \&\; \&\; \backslash vdots\; \backslash \backslash \; 0\_K\; \&\; 0\_K\; \&\; \backslash cdots\; \&\; 0\_K\; \backslash end$
The zero matrix is the additive identity in $K\_$. That is, for all $A\; \backslash in\; K\_$:
:$0\_+A\; =\; A\; +\; 0\_\{K\_\{m,n\; =\; A$
There is exactly one zero matrix of any given size ''m'' × ''n'' (with entries from a given ring), so when the context is clear, one often refers to ''the'' zero matrix. In general, the zero element of a ring is unique, and typically denoted as 0 without any subscript to indicate the parent ring. Hence the examples above represent zero matrices over any ring.
The zero matrix also represents the linear transformation
In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a Map (mathematics), mapping V \to W between two vect ...

which sends all vectors to the zero vector.
Zero tensor

Intensor
In mathematics, a tensor is an algebraic object that describes a multilinear relationship between sets of algebraic objects related to a vector space. Tensors may map between different objects such as vectors, scalars, and even other tenso ...

, of any order, all of whose components are tensor product
In mathematics, the tensor product V \otimes W of two vector spaces and (over the same field) is a vector space to which is associated a bilinear map V\times W \to V\otimes W that maps a pair (v,w),\ v\in V, w\in W to an element of V \otimes ...

of any tensor with any zero tensor results in another zero tensor. Adding the zero tensor is equivalent to the identity operation.
See also

*Null semigroup In mathematics, a null semigroup (also called a zero semigroup) is a semigroup with an absorbing element, called zero, in which the product of any two elements is zero. If every element of a semigroup is a left zero then the semigroup is called a l ...

*Zero divisor
In abstract algebra, an element of a ring is called a left zero divisor if there exists a nonzero in such that , or equivalently if the map from to that sends to is not injective. Similarly, an element of a ring is called a right zero ...

*Zero object
In category theory, a branch of mathematics, an initial object of a category is an object in such that for every object in , there exists precisely one morphism .
The dual notion is that of a terminal object (also called terminal element): ...

*Zero of a function
In mathematics, a zero (also sometimes called a root) of a real-, complex-, or generally vector-valued function f, is a member x of the domain of f such that f(x) ''vanishes'' at x; that is, the function f attains the value of 0 at x, or eq ...

*Zero
0 (zero) is a number representing an empty quantity. In place-value notation such as the Hindu–Arabic numeral system, 0 also serves as a placeholder numerical digit, which works by multiplying digits to the left of 0 by the radix, usua ...

— non-mathematical uses
References