Forbidden subsequences

The classification of sets of permutations with forbidden subsequences of length 4 is not yet complete. (In my recent paper Classification offorbidden subsequences of length 4 submitted to European Journal of Combinatorics, Paris, this classification has been completed.) In this paper we show that I&(4132)( =(&(3142)/ by proving the stronger theorem for the corresponding permutation trees: T(4132)g T(3142). We give a new proof of the so-called Schriider result, some results on forbidding entire classes of symmetries of permutation matrices, and some conjectures concerning the basic question: for what permutations z and c it is true that I&(t)1 = IS,,(a)/ for all HEN. We also discuss possible attacks on cases similar to the Schriider result by ‘visualizing’ the structure of the corresponding permutations and generalize the method of permutation trees.