Analogous to the way the integers can be decomposed uniquely into prime factors, finite groups can be decomposed into finite simple groups, which cannot be further decomposed nontrivially. We will prove the JordanHölder Theorem and show that finite groups can always be decomposed uniquely into finite simple groups, and discuss the classification of these groups. In particular, we will discuss t...