In algebra, the zero object of a given algebraic structure is, in the sense explained [|below], the simplest object of such structure. As a set it is a singleton, and as a magma has a trivial structure, which is also an abelian group. The aforementioned abelian group structure is usually identified as addition, and the only element is called zero, so the object itself is typically denoted as. One often refers to the trivial object since every trivial object is isomorphic to any other. Instances of the zero object include, but are not limited to the following:
As a module, the zero module. The term trivial module is also used, although it may be ambiguous, as a trivial G-module is a G-module with a trivial action.
These objects are described jointly not only based on the common singleton and trivial group structure, but also because of [|shared category-theoretical properties]. In the last three cases the scalar multiplication by an element of the base ring is defined as: The most general of them, the zero module, is a finitely-generated module with an emptygenerating set. For structures requiring the multiplication structure inside the zero object, such as the trivial ring, there is only one possible,, because there are no non-zero elements. This structure is associative and commutative. A ring which has both an additive and multiplicative identity is trivial if and only if, since this equality implies that for all within, In this case it is possible to define division by zero, since the single element is its own multiplicative inverse. Some properties of depend on exact definition of the multiplicative identity; see below. Any trivial algebra is also a trivial ring. A trivial algebra over a field is simultaneously a zero vector space considered below. Over a commutative ring, a trivial algebra is simultaneously a zero module. The trivial ring is an example of a rng of square zero. A trivial algebra is an example of a zero algebra. The zero-dimensional is an especially ubiquitous example of a zero object, a vector space over a field with an empty basis. It therefore has dimension zero. It is also a trivial group over addition, and a trivial module mentioned above.
Properties
The trivial ring, zero module and zero vector space are zero objects of the corresponding categories, namely Rng, -Mod and Vect. The zero object, by definition, must be a terminal object, which means that a morphism must exist and be unique for an arbitrary object . This morphism maps any element of to . The zero object, also by definition, must be an initial object, which means that a morphism must exist and be unique for an arbitrary object . This morphism maps, the only element of , to the zero element , called the zero vector in vector spaces. This map is a monomorphism, and hence its image is isomorphic to . For modules and vector spaces, this subset is the only empty-generated submodule in each module .
Unital structures
The object is a terminal object of any algebraic structure where it exists, like it was described for examples above. But its existence and, if it exists, the property to be an initial object depend on exact definition of the multiplicative identity 1 in a specified structure. If the definition of requires that, then the object cannot exist because it may contain only one element. In particular, the zero ring is not a field. If mathematicians sometimes talk about a field with one element, this abstract and somewhat mysterious mathematical object is not a field. In categories where the multiplicative identity must be preserved by morphisms, but can equal to zero, the object can exist. But not as initial object because identity-preserving morphisms from to any object where do not exist. For example, in the category of ringsRing the ring of integersZ is the initial object, not . If an algebraic structure requires the multiplicative identity, but neither its preservation by morphisms nor, then zero morphisms exist and the situation is not different from non-unital structures considered in the previous section.
Notation
Zero vector spaces and zero modules are usually denoted by . This is always the case when they occur in an exact sequence.
