This report contains the proceedings of the 7th OVERTURE workshop, held in Eindhoven on 2nd November 2009. © 2009 University of Newcastle upon Tyne. Printed and published by the University of Newcastle upon Tyne, Computing Science, Claremont Tower, Claremont Road, Newcastle upon Tyne, NE1 7RU, England. Bibliographical details LARSEN, P.G., BRYANS, J.W.(EDS.) Proceedings of Formal Aspects of Vir...

Every finite group G $G$ has a normal series each of whose factors is either solvable or direct product non-abelian simple groups. The minimum number nonsolvable factors, attained on all possible such in , called the length ? ( ) $\lambda (G)$ . In present paper, we prove theorem about permutation representations groups fixed length. As consequence, show that at least n $n$ no nontrivial word m...

We show that the above-named property (after M. Larsen and V. Lunts) does not hold in general.