可除子群

divisible subgroup