Added characterizing theorem about group isomorphism classes