Zu einer divisiblen Gruppe D {\displaystyle {}D}
ist auch jede Restklassengruppe D / H {\displaystyle {}D/H} divisibel.