# Trivial group

The similarly defined **trivial monoid** is also a group since its only element is its own inverse, and is hence the same as the trivial group.

The trivial group is distinct from the empty set, which has no elements, hence lacks an identity element, and so cannot be a group.

The trivial group serves as the zero object in the category of groups, meaning it is both an initial object and a terminal object.