Group Trivial group The trivial group {π} is the group with only one element, the identity π. group This forms both the Initial and terminal objects of Category of groups. tidy | en | SemBr