 For example, in the category of rings Ring the ring of integers Z 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.Zero vector spaces and zero modules are usually denoted by (instead of ).