Let $A$ be a finite dimensional $K$-algebra, where $K$ is an algebraically closed field.
We define a funtor $D: mod A \to mod A^{op}$ called standard $K$-duality. Suppose that $M$ is an arbitrary right $A$-module. Let $M^*=D(M)=Hom_{K}(M,K)$. I know that $M$ is isomorphic to $D(M)$ as vector spaces. I want to know if the following statements are right.
- $A^{op}$ is isomorphic to $D(A)$ as left $A$-modules? If $A^{op} \cong D(A)$, how to define the isomorphism.
- Suppose that $M \in mod A$, i.e. $M$ is finitely generated right $A$-moudle. If $M=(K \overset{1}{\rightarrow} K {\rightarrow} 0 $), then $D(M)=(K \overset{1}{\leftarrow} K {\leftarrow} 0)$. I have no idea why. In genarally, if $Q$ is a quiver, then $Q^{op}$ is a quiver which reverses all arrows in $Q$?