 It is also a trivial group over addition, and a "trivial module" mentioned above.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 .