Let D be an integral domain and ? a star operation on D. We study the following property: for every ?-invertible ideals I, H_1, H_2 of D such that I ? H_1H_2, there exist an integer k ≥ 1 and ideals I_1, I_2 such that (I~k)~? = (I_1I_2)~? and I_i~* ? H_i~k, i = 1, 2. The k = 1 variant of the property above is also studied.
展开▼