The socle of cokernel of irreducible monomorphisms in the AR quiver of type An/I is simple The socle of cokernel of irreducible monomorphisms in the AR quiver of type An/I is simple.
I believe that this result is hidden in a more general result in some 
articles, I tried to find a lot but failed.
The following lemma maybe useful:
M be a module of length n. TFAE:
1 SocM is simple
2 Any non-zero submodule of M is indecomposable
3 There exists a composition series of M with all terms indecomposable
Any suggestions are welcome!
 A: 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 
I. M. Gel'fand and V. A. Ponomarev, MR0229751 Indecomposable representations of the Lorentz group., Russian Mathematical Surveys 23 (1968), no. 2, 3--60. The general case is is stated e.g. in Burkhard Wald and Josef Waschbüsch, MR 801283 Tame biserial algebras, J. Algebra 95 (1985), no. 2, 480--500.
In this case the irreducible monomorphisms are given by appending hooks to a given string. This is proven in M. C. R. Butler and Claus Michael Ringel, MR 876976 Auslander-Reiten sequences with few middle terms and applications to string algebras, Comm. Algebra 15 (1987), no. 1-2, 145--179. Thus, the cokernel of an irreducible monomorphism is just the end of a hook, hence has simple socle. 
