A Group is simple if it has no proper Normal subgroups. Simple Group Decomposition Theorem Abelian Group is simple if and only if it is isomorphic to for some prime .