Valuation overrings of polynomial rings and group of divisibility | Journal of Algebra Combinatorics Discrete Structures and Applications