# Definition The trivial group is the [[group]] with one [[Group Element|element]].