Questions tagged [kahler-differentials]

This is Lemma 10.131.6 in the stack project. It is mentioned here that we can select some $a^{'} \in S^{'}$ s.t. $a^{'} = \varphi(a_{i})$ for all i. I would like to ask how this $a^{'}$ was found or, in other words, how to prove the existence of…