A Special Type of Invertible Ideal

In this work, I will always be a nonzero ideal (possibly I = R) in a commutative domain R. We are concerned with the following concept.

Definition 1.1. I is called an S-ideal if there exists an ideal J with I+J = R and with IJ principal.