Additive group of ring of integers localized at a set of primes

From Groupprops

Definition

Suppose is a set of prime numbers. The additive group of ring of integers localized at , denoted , is defined as the subgroup of the group of rational numbers comprising those rational numbers whose denominators are -numbers, i.e., every prime divisor of the denominator is in .