The injective envelope of simple modules over Leavitt path algebras I: simple left ideals

Abstract

Let $K$ be any field and $E$ any directed graph. We characterize up to isomorphism the simple (i.e., minimal) left ideals of the Leavitt path algebra $L_K(E)$. Then, for each simple %(i.e., minimal) left ideal $I$ of %the Leavitt path algebra $L_K(E)$, we explicitly construct the injective envelope of $I$. This result generalizes to all graphs $E$ and all simple left ideals in $L_K(E)$ the construction presented previously by the three authors for the specific case of the Jacobson algebra $R=K\langle X,Y | XY=1\rangle$ and the simple left $R$-ideal $R(1-YX)$. Our method involves defining an $L_K(E)$-module structure on a $K$-vector space of infinite series. We conclude the article by showing how our construction directly gives a description of the injective envelope of simple $L_K(E)$-modules arising from two types of infinite emitters in $E$.