The indecomposable projective A-modules

337 Views Asked by At

Let Q be the quiver

enter image description here

bound by $αβ = 0$, $γδ = 0$. The indecomposable projective A-modules are given by enter image description here

where $A=KQ/I$. This an example in Assem-Simson-Skowronski book (Elements of the representation theory of the representation theory of finite dimensional algebras Part 1), page $80$. What I know is $P(i)=e_iA$, and I also know how to find $KQ$, but I do not know how to find $A=KQ/I$ and how could I get $P(2)$ and $P(3)$. So could you guys help me out?

Thanks,

1

There are 1 best solutions below

3
On

Since you know that $P(i)=e_iA$, try to understand when this is nonzero. Let $p \in A$ be a path, then $e_i p \neq 0$ iff $p$ starts in $i$. This way you get a basis of this space. So, $P(1)=\langle e_1\rangle_K$, $P(2)=\langle e_2, \beta,\delta\rangle_K$, and $P(3)=\langle e_3, \alpha, \gamma, \alpha\delta, \gamma\beta\rangle_K$ (since $\alpha\beta$ and $\gamma\delta$ are relations).

The action of the arrows is just by concatenation (as usual in the path algebra).

The next step is to remember the equivalence between modules and representations: Whenever you have a module $M$, it is mapped to the representation given by the vector space $Me_j$ on each arrow, and the linear map $-\cdot a: Me_j\to Me_k$ for an arrow $a:j\to k$. In the example of $P(2)$ you get and in the example of $P(3)$ you get: (From this step, it is also easy to "see" the corresponding radicals.

As a final step, translate this to $K^r$ and matrices by using an explicit isomorphism to the claimed representations.