This is more generally true for any representation-finite string algebra (provided as Dag Madsen pointed out you are talking about irreducible maps between indecomposable modules, otherwise every non-projective module is a cokernel of an irreducible monomorphism). String algebras are a subclass of the class of special biserial algebras, where the admissible ideal of the quiver is spanned by zero relations. For this class of algebras, all indecomposable modules are given by strings (i.e. words in the arrows of the quiver and their inverses such that there is no cancellation). This is essentially due to Gelfand and Ponomarev, see <cite cite="_Russian Mathematical Surveys_ **23** (1968), 480--500" mrnumber="801283" authors="I. M. Gel'fand and V. A. Ponomarev">_I. M. Gel'fand and V. A. Ponomarev_, MR0229751 [**Indecomposable representations of the Lorentz group.**](http://www.iop.org/EJ/abstract/0036-0279/23/2/R01), _Russian Mathematical Surveys_ **23** (1968), no. 2, 3--60.</cite> The general case is is stated e.g. in <cite cite="_J. Algebra_ **95** (1985), no. 2, 480--500" mrnumber="801283" authors="Burkhard Wald and Josef Waschbüsch">_Burkhard Wald and Josef Waschbüsch_, MR 801283 [**Tame biserial algebras**](http://dx.doi.org/10.1016/0021-8693(85)90119-X), _J. Algebra_ **95** (1985), no. 2, 480--500.</cite> In this case the irreducible monomorphisms are given by appending hooks to a given string. This is proven in <cite cite="_Comm. Algebra_ **15** (1987), no. 1-2, 145--179" mrnumber="876976" authors="M. C. R. Butler and Claus Michael Ringel">_M. C. R. Butler and Claus Michael Ringel_, MR 876976 [**Auslander-Reiten sequences with few middle terms and applications to string algebras**](http://dx.doi.org/10.1080/00927878708823416), _Comm. Algebra_ **15** (1987), no. 1-2, 145--179.</cite> Thus, the cokernel of an irreducible monomorphism is just the end of a hook, hence has simple socle.