Some adjunctions associated with extensions and restrictions of ideals in the context of commutative rings

Given a commutative ring R and S one of its ideals, the function I -- and gt; (I : S) that transforms ideals of R into ideals of R, is right adjoint of the function I -- and gt; IS. We define the S−maximal ideals of R as those ideals J of R such that (J : S) = J. If the ring S is pseudo-regular, the...