A non-trivial group is said to be simple if its only normal subgroups are itself and the trivial subgroup.
TODO
The finite simple groups can be classified into several families:
all these pages adapted with probably insufficient credit from my university's lecture notes