Definition:Trivial Subgroup

Definition
Let $\struct {G, \circ}$ be a group whose identity is $e$.

Then the algebraic structure $\struct {\set e, \circ}$ is called the trivial subgroup of $\struct {G, \circ}$.

Also see

 * Trivial Subgroup is Subgroup
 * Trivial Subgroup is Normal