The generator for an ideal sum I1+I2 is equal to the GCD. If there is no common denominator, then the generator would just be {1}