可除群の商であるから、"g"/tor("g")は可除である。