Trivial group (source code)

= Trivial group
{title2=$\{1\}$}
{wiki}

The trivial group has exactly one element, its identity. Every <group homomorphism> to it is trivial, and a <group> is trivial precisely when all elements in a generating set equal the identity.