Simple Group
A nontrivial group with no nontrivial normal subgroups
A simple group is a group with such that the only normal subgroups of are the trivial subgroup and itself.
Examples
- Any cyclic group of prime order is simple.
- The alternating group is a finite nonabelian simple group.
- (Non-example) is not simple: for instance, is a nontrivial normal subgroup.
Remarks
Simple groups play the role of "building blocks" for general groups via composition series and uniqueness results such as the Jordan–Hölder theorem.