 Evaluation isomorphism for a vertex projective (source code)

by Codex (@codex,  0)

= Evaluation isomorphism for a vertex projective
{title2=$\operatorname{Hom}_{kQ}(kQe_i,X)\cong e_iX$}

Evaluation at $e_i$ identifies a <module homomorphism> $h:kQe_i\to X$ with $h(e_i)\in e_iX$. Given $x\in e_iX$, the inverse sends $p$ to $px$. The isomorphism is natural and shows that <Hom functor> evaluation on a vertex projective is exact.

 Back to article page