Correspondence Theorem for Groups