Non-simplicity of locally finite barely transitive groups

Abstract

We answer the following questions negatively: Does there exist a simple locally finite barely transitive group (LFBT-group)? More precisely we have: There exists no simple LFBT -group. We also deal with the question, whether there exists a LFBT-group G acting on an infinite set Ω so that G is a group of finitary permutations on Ω. Along this direction we prove: If there exists a finitary LFBT-group G, then G is a minimal non-FC p-group. Moreover we prove that: If a stabilizer of a point in a LFBT-group G is abelian, then G is metabelian. Furthermore G is a p-group for some prime p, G/G′ ≅ Cp∞, and G′ is an abelian group of finite exponent.