Subspaces of $\ell_p$ ($1Is it possible to show the existence of an infinite dimensional closed subspace of $\ell_p$  ($1<p<\infty$, $p\neq 2$), not isomorphic to $\ell_p$, in an elementary way? 
For $1<p<q<2$, I think we can find such an example isomorphic to $\ell_p(\ell_q^n)$, but the proof I have in mind uses the fact that $\ell_q$ embeds in $L_p(0,1)$, which is not elementary.
 A: Not sure what is considered elementary but I don't think there is an easy and quick argument for it.  And for good reasons. $\ell_p$ is block homogeneous; any sequence of disjointly supported (with respect to the unit vector basis) vectors is equivalent to the basis, and most subspaces you can write down by hand will end up being isomorphic to $\ell_p$. So any `elementary' existence proof has to involve subspaces spanned by vectors with mixed supports and some nontrivial invariant.  In fact, the first proof of the fact in the question was via Davie's theorem that $\ell_p$ has subspaces without the approximation property which is highly non-trivial. You can also deduce it from Komorowski-Tomczak theorem on the existence of subspaces without local unconditional structure, which is also highly on-trivial. So I think it is safe to say that the answer to your question is negative.
A: One can try to look at relatively simple subspaces constructed by Sobczyk in 1941 [Projections in Minkowski and Banach spaces. Duke Math. J. 8 (1941), 78–106]. These subspaces are uncomplemented subspaces in $l_p$ with $p\ne 2$. Possibly you will be able to show that they are not isomorphic to $l_p$.
