The face action gives , as calculated above. Every normal subgroup contains the identity and is a union of whole conjugacy classes. Thus its possible order is plus a subset sum of . The distinct resulting numbers are
By Lagrange's theorem for finite groups, a subgroup order divides . Only and in this list do so. Consequently the normal subgroups are and , and the rotational symmetry group of a regular icosahedron is a simple group.