epsilon

落書き

Hochshild cohomology

http://www.math.tamu.edu/~sarah.witherspoon/pub/HH-18August2017.pdf

 

PをAのA^e-modとしてのprojective resolutionとする。g \in Hom_{A^e}(P_n,A)をcocycleとし、projectiveであることを用いてこれをchain map g:P \to Pに伸ばす。