I was thinking about the generalization of this problem. How about something to this effect. Let be a unique factorization domain and be a subgroup of (the field of fractions) such that where if a fixed unit and 's are from a particular representative set of irreducibles, with for all .