Let $A \subseteq B \subseteq C$ be commutative rings.
A known result, which can be found in De Meyer and Ingraham's book, says that separability of $A \subseteq C$ implies separability of $B \subseteq C$.
When separability of $A \subseteq C$ implies separability of $A \subseteq B$? By 'when' I mean what additional condition guarantees that implication.
Another, somewhat similar, question: Let $A \subseteq B$, $A \subseteq C$, $B \twoheadrightarrow C$ be commutative rings.
When separability of $A \subseteq C$ implies separability of $A \subseteq B$?
Thank you very much for any help!
Edit: (1) By separable I mean the definition as in the above mentioned book on page 40 (this page is available in the preview), namely: $A \subseteq B$ is separable if $B$ is a projective $B \otimes_A B$-module. The definition of separability also appears here. (2) There is an answer to a special case of my first question, due to Adjamagbo's transfer theorem. In that special case, 'when'= $B \subseteq C$ is flat, or 'when'= $B$ is normal.