18
$\begingroup$

Does there exist an infinite finitely generated group $G$ together with a finite group $B$ of automorphisms of $G$ such that

  1. The non-identity elements of $B$ are not inner automorphisms of $G$;

  2. For every element $g \in G, g\neq 1,$ the finite set $g^B$ is a generating set for $G$?

It looks like a Tarski Monster $p$-group $T_p$ (an infinite group in which every non-identity element has order $p$) might be a contender for $G$. If $T_p$ has an automorphism of finite order coprime to $p$, then this would work perfectly. Unfortunately I'm not sure that it does.

$\endgroup$
1
  • $\begingroup$ Somewhat confusingly, the title emphasizes Assumption 1 (which is very easy to fulfill), while Assumption 2 is by far more restrictive (actually removing Assumption 1 doesn't really changes the difficulty of the question). $\endgroup$
    – YCor
    Mar 30, 2022 at 10:25

1 Answer 1

11
$\begingroup$

I am pretty sure this example can be constructed. It might be not easy, though, since you need to have finite order automorphisms of the Tarski monsters without non-trivial fixed points. I do not remember if that has been done for Tarski monsters. For other monsters it was done, I think, by Ashot Minasyan in Groups with finitely many conjugacy classes and their automorphisms. Ashot is sometimes on MO, perhaps he can give more details. If not, you can ask him directly.

I talked to Olshanskii and Osin today about this problem. They confirmed the answer. Moreover, they reminded me that there exists a paper Obraztsov, Viatcheslav N. Embedding into groups with well-described lattices of subgroups. (English summary) Bull. Austral. Math. Soc. 54 (1996), no. 2, 221–240 where he constructs Tarski monsters with arbitrary prescribed outer automorphism group. It is not difficult to deduce from the construction that if the prescribed outer automorphism group is, say, of order 3, then it does not have non-trivial fixed points which gives the property from the question.

Another, more straightforward, way to construct an example is the following. Fix the free group $F_2$ and its obvious automorphism $\alpha$ of order 2 that switches the generators. Now consider the procedure of creating the Tarski monster quotient of $F$ described in the book by Olshanskii "Geometry of defining relations...". At each step together with a new relation $r_i=1$, impose the relation $\alpha(r_i)=1$. It is not difficult to see that $\alpha$ will be an outer automorphism of the resulting Tarski monster without non-trivial fixed points.

$\endgroup$
9
  • $\begingroup$ Thanks so much Mark. Your post was very helpful indeed. I've been giving this some serious thought, and I'm not sure if we have a full answer yet. Obrazstov's paper that you kindly pointed me towards gets us close, but not all the way I think. The monsters that he constructs aren't quasi-finite which causes problems. Indeed, his results (specifically ``Theorem C") can be used to prove the existence of a simple group $L$ that has, say a group of non-inner automorphisms $H$, where $H$ is cyclic of order $3$. $\endgroup$ Apr 18, 2011 at 2:50
  • $\begingroup$ In addition, we can require that $L$ contains only nice subgroups (of our choosing), together with infinite cyclic subgroups. Unfortunately, we're not able to exclude the possibility that $L$ has proper subgroups that are infinite and cyclic using Obrazstov's results alone. And if $g$ is a generator for some infinite cyclic subgroup of $L$, I don't think it's necessarily true that $g^H$ is a set of generators for $L$, no matter which nice subgroups we require $L$ to possess. $\endgroup$ Apr 18, 2011 at 2:51
  • $\begingroup$ Your ``more straightforward" way to construct an example sounds promising, but I'm struggling (because of my own ignorance) to see that it always works. You suggest that we fix the free group $F_2$ with generators $a$ and $b$, and let $\alpha$ be the obvious automorphism of $F_2$ that interchanges the two generators. At each stage in the construction of the Tarski monster in Olshanskii's book (page 297 - 298 I assume), every time the book introduces a new relation $r_i = 1$, you suggest that we impose the relation $\alpha(r_i) = 1$. $\endgroup$ Apr 18, 2011 at 2:51
  • 1
    $\begingroup$ I agree that doing so will result in a group for which $\alpha$ is an automorphism. However, I don't see why such a group would still have to be a Tarski monster. The defining relations (2) and (2') used in the book aren't symmetric in the two generators and I don't see how we are guaranteed that the construction will still result in an infinite group whose subgroups are all finite. Is this easy to see? If so, any pointers would be most welcome! Thanks again for your help. $\endgroup$ Apr 18, 2011 at 2:51
  • $\begingroup$ The resulting group will be a Tarski monster because every two elements will either generate the whole group or will commute and hence generate a cyclic group of finite order. The "only" thing to prove here is that the resulting group is infinite, i.e. at every step you get a non-elementary hyperbolic group. That fact is true and is proved the same way as in Olshanskii's paper. In fact you should look not at the original paper but at the result that every hyperbolic torsion-free group has a Tarski monster factor (a paper about $G$-subgroups of hyperbolic groups). $\endgroup$
    – user6976
    Apr 18, 2011 at 3:03

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.