[일반] module of differentials 질문

[익명(220.67)]

이거 blinear map을 만들려고해도 잘안되는데 어케되는지 알려줄사람?

[lp(yyi050324)]

나도 대수를 잘 모르긴 하는데 그냥 두번째 diagram에서 밑에 가로랑 오른쪽 세로 map으로 두면 bilinear 안됨? - dc App

[TQFT(lemonkx)]

lp 말대로 S' tensor Omega_{S/R}의 원소 s' tensor D가 있으면 각각의 morphism으로 보낸 ds', psi(D)가 Omega_{S'/R'}의 원소 즉 derivation이니 S'에서의 pointwise multiplication으로 값 주면 될 거 같은데

[익명(220.67)]

엥 그런가 아까해봤는데 왜안됐지 다시해봄