可除加法群

divisible additive group