1: \begin{abstract}

2: Let $K$ be an algebraically closed field of characteristic zero, and let $G$ be a connected reductive algebraic group over $K$. We address the problem of 

3: classifying triples $(G,H,V)$, where $H$ is a proper connected subgroup of $G$, and $V$ is a finite-dimensional irreducible $G$-module such that the restriction

4: of $V$ to $H$ is multiplicity-free -- that is, each of its composition factors appears with multiplicity 1. A great deal of classical work, going back to Weyl, Dynkin, Howe, Stembridge and others, 

5: and also more recent work of the authors, can be set in this context. In this paper we determine all such triples in the case where $H$ and $G$ are both simple algebraic groups of type $A$, and $H$ is embedded irreducibly in $G$. While there are a number of interesting familes of such triples $(G,H,V)$, the possibilities for the highest weights of the representations

6: defining the embeddings $H<G$ and $G<GL(V)$ are very restricted. For example, apart from two exceptional cases, both weights can only have support on at most two fundamental weights; and in many of the examples, 

7: one or other of the weights corresponds to the alternating or symmetric square of the natural module for either $G$ or $H$. 

8:  \end{abstract}

9: