Definition:Non-Trivial Group

Definition
A non-trivial group is a group which is not the trivial group.

It is often used in arguments to exclude the sometimes erratic behaviour of the trivial group.

Also see

 * Definition:Trivial Group