Definition:Trivial Subgroup

Definition
Let $\left({G, \circ}\right)$ be a group whose identity is $e$.

Then the algebraic structure $\left({\left\{{e}\right\}, \circ}\right)$ is called the trivial subgroup of $\left({G, \circ}\right)$.

Also see

 * Trivial Subgroup is Subgroup
 * Trivial Subgroup is Normal