Artificial intelligent assistant

Should Ext-quiver be a full sub-quiver of its AR-quiver for a basic hereditary algebra A over algebraic closed field K? For a basic hereditary algebra A over algebraic closed field K, prove its Ext-quiver $\Gamma_{A}$ is a full sub-quiver of its AR-quiver $\Delta_{A}$. I have no clue for this.

Yes, this is true.

You can check that for arrow $j\to i$ in the Ext-quiver, the corresponding map $P_i\to P_j$ (resp. $I_j\to I_i$) is irreducible. In particular, the full subquiver of the AR-quiver consisting of the vertices corresponding to the projective indecomposables (resp. injective indecomposables) is the $Q^{op}$ (resp. $Q$), where $Q$ is the Ext-quiver of $A$. In fact, since AR-translation $\tau= DTr$ and its inverse $\tau^{-1}=TrD$ is not defined for projectives and injectives respectively, the projective indecomposables (injective indecomposable) lie in the leftmost (resp. rightmost) part of the AR-quiver.

xcX3v84RxoQ-4GxG32940ukFUIEgYdPy f3974dcbe18789908a1fe6cf8e84ac85