Is a non-abelian free group fully residually a finite non-abelian simple group? It is well known that a non-abelian free group is residually a finite simple group.  Katz and Magnus proved, in fact, that non-abelian free groups are residually alternating and residually $PSL_{2}$.  S. J. Pride has some nice results along these lines as well.  The best result that I know of is the theorem of Weigel that can be formulated as follows.  If $\mathfrak{X}$ is a group-theoretic class containing an infinite set of pairwise non-isomorphic finite non-abelian simple groups, then every non-abelian free group is residually an $\mathfrak{X}$-group.

My question is this:

Is a non-abelian free group fully residually a finite non-abelian simple group?

It seems likely that the answer to such an obvious question is known, but I have not been able to find it in the literature.
I should probably add that I suspect we can probably replace "finite non-abelian simple" with "alternating", but I haven't yet given any thought to the other infinite series.  I'd like to learn whether anything is known before spending more time on this.
 A: Yes!  See my recent preprint Alternating quotients of free groups.
I expect that what you want is well known, but I too couldn't find it in the literature. In fact, I prove the much stronger result that free groups are something like 'locally extended fully residually alternating'.  Specifically:

Let $F$ be any free group of rank at least two, let $H$ be a finitely generated subgroup of infinite index in $F$ and let $\{g_1,\ldots,g_n\}$ be a finite subset of $F\smallsetminus H$. Then there is a surjection $f$ from $F$ to a finite alternating group such that $f(g_i)$ is not in $f(H)$ for any $i$. 

A: Indeed Thomas Weigel was the first to prove the full result. However, there is a probablistic proof due to Dixon, Pyber, Seress, and Shalev, see http://www.ams.org/mathscinet/search/publdoc.html?amp=&loc=refcit&refcit=1237075%201157915%201194786&vfpref=html&r=5&mx-pid=1971144. If you are interested in pro-p groups you might like to look at my paper http://www.ams.org/mathscinet/search/publdoc.html?amp=&loc=refcit&refcit=1971144&vfpref=html&r=11&mx-pid=1844555. Now, it has been a while since I thought about it, but I would guess that the probablistic argument will actually show also the fully residually case.
Thinking about it a bit more,  I cannot see immediately how to prove the fully residually case for pro-p groups. However, if I remembr correctly the probablistc proof in the discrete case, then the fully residually case should still be fine. The issue is: given $\mathfrak{X}$ an infinite family of non isomorphic non-abelian finite simple groups, fix an identity (i.e. an element of the free group), what is the probabilty that two random elments of a group in $\mathfrak{X}$ do not satisfy the identity? If it tends to 1 with the size of the group, then the fully residually case should be true.
A: Okay I have found an online version of the paper by Dixon, Pyber, Seress, and Shalev at
http://mathstat.carleton.ca/~jdixon/Residual.pdf so I was able to check things. We need the following:
Theorem 3: Let $S$ be a finite simple group and let $w$ be a non-trivial element of the free group $F_2$ on $X,Y$. Then the probability that two randomly chosen elements $x$ and $y$ of $S$ satisfy both that $x$ and $y$ generate $S$ and $w(x,y) \neq 1$ tends to $1$ as $|S|$ tends $\infty$.
Now, clearly replacing $w$ by any finite set of words, the theorem is still true. Therefore, the fully residually case is true.
Now, the pro-$p$ case is more difficult because while the random generation has probability $1$ the not satisfying an identity has only positive probability. But it may be that the proof itself still works for finite number of words.
A: Long and Reid's paper 
Simple quotients of hyperbolic 3-manifold groups, PAMS, Volume 126, Number 3, 877–880
contains a proof of the theorem that free groups are residually PSL_2, and I think their proof shows that they are fully residually PSL_2.
At any rate, it's a nice paper.
