Highly transitive actions of \(\mathrm{Out}(F_n)\). (Q355381): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
Let \(G\) be a group and \(F_n=\langle x_1,x_2,\ldots,x_n\rangle\) be the free group on the free generators \(x_1,x_2,\ldots,x_n\). There is a natural identification of \(G^n\) with \(\Hom(F_n,G)\) and the set of epimorphisms \(\mathrm{Epi}(F_n,G)\) with the set \(V_n(G)=\{\underline g\in G^n:\langle\underline g\rangle=G\}\), of all generating \(n\)-tuples. The group \(\Aut(G)\) acts on \(\Hom(F_n,G)\) from the left and \(\Aut(F_n)\) acts on \(\Hom(F_n,G)\) from the right. Let \(\overline V_n(G)\) be the set of all \(\Aut(G)\)-orbits on \(V_n(G)\). Since the \(\Aut(F_n)\) action preserves \(V_n(G)\) and commutes with the \(\Aut(G)\) action, an action of \(\Gamma=\mathrm{Out}(F_n)=\Aut(F_n)/\mathrm{Inn}(F_n)\) on \(\overline V_n(G)\) is induced. An action of a group on a set is called \(k\)-transitive if it is transitive on ordered \(k\)-tuples of distinct points. It is called highly transitive if it is \(k\)-transitive for every \(k\in\mathbb N\). A Tarski monster group is a noncyclic group \(G\) all of whose subgroups are cyclic. The existence of Tarski monster groups that do not admit a law was established by \textit{A. Yu. Ol'shanskiĭ} et al., [see Geom. Topol. 13, No. 4, 2051-2140 (2009; Zbl 1243.20056)]. Now we can state the authors' main results in this paper. Theorem. Let \(G\) be a Tarski Monster and \(n\geq 4\) then the action of \(\Gamma=\mathrm{Out}(F_n)\) on \(\overline V_n(G)\) is highly transitive. Moreover, this action is faithful if and only if \(G\) does not satisfy a group law. To prove that the action is highly transitive, the authors argue by induction on \(k\) and for the basic step they prove the Proposition. For every \(n\geq 3\), \(\Aut(F_n)\) acts transitively on \(V_n(G)\), where \(G\) is a Tarski monster group. Since the action \(\Aut(F_n)\curvearrowright V_n(G)\) is transitive, so is the quotient action \(\mathrm{Out}(F_n)\curvearrowright\overline V_n(G)\). For the faithfulness of the action they prove Lemma. For every \(n\geq 3\), \(\mathrm{Out}(F_n)\) acts faithfully on \(\overline R_n(F_{n-1})\). Where, for a group \(G\) with \(n>d(G)\) (\(d(G)\) denotes the minimal number of generators of \(G\)), \(R_n(G)=\{\varphi\in V_n(G)\mid\langle\varphi(x_1),\varphi(x_2),\ldots,\varphi(x_{n-1})\rangle=G\) for some basis \(\{x_1,x_2,\ldots,x_n\}\) of \(F_n\}\) and \(\overline R_n(G)<\overline V_n(G)\) is the image of this (invariant) set, modulo \(\Aut(G)\). Proposition. Let \(G\) be a Tarski Monster and \(n\geq 3\). Then the action of \(\mathrm{Out}(F_n)\) on \(\overline V_n(G)\) is faithful if and only if \(G\) satisfies no group law. The authors notify that the direction \textit{\dots the action is faithful implies that the group satisfies no group law} is valid in general. From this they rise the Theorem. For any general group \(G\), the following are equivalent: 1. The action of \(\mathrm{Out}(F_n)\) on the \(\Aut(G)\)-classes of \(\Hom(F_n,G)\) is faithful for all large enough \(n\). 2. The group \(G\) does not satisfy a group law. The paper concludes with some remarks and some questions. For example. What about \(\mathrm{Out}(F_2)\) and \(\mathrm{Out}(F_3)\)? Do they admit a highly transitive action on a set? | |||
Property / review text: Let \(G\) be a group and \(F_n=\langle x_1,x_2,\ldots,x_n\rangle\) be the free group on the free generators \(x_1,x_2,\ldots,x_n\). There is a natural identification of \(G^n\) with \(\Hom(F_n,G)\) and the set of epimorphisms \(\mathrm{Epi}(F_n,G)\) with the set \(V_n(G)=\{\underline g\in G^n:\langle\underline g\rangle=G\}\), of all generating \(n\)-tuples. The group \(\Aut(G)\) acts on \(\Hom(F_n,G)\) from the left and \(\Aut(F_n)\) acts on \(\Hom(F_n,G)\) from the right. Let \(\overline V_n(G)\) be the set of all \(\Aut(G)\)-orbits on \(V_n(G)\). Since the \(\Aut(F_n)\) action preserves \(V_n(G)\) and commutes with the \(\Aut(G)\) action, an action of \(\Gamma=\mathrm{Out}(F_n)=\Aut(F_n)/\mathrm{Inn}(F_n)\) on \(\overline V_n(G)\) is induced. An action of a group on a set is called \(k\)-transitive if it is transitive on ordered \(k\)-tuples of distinct points. It is called highly transitive if it is \(k\)-transitive for every \(k\in\mathbb N\). A Tarski monster group is a noncyclic group \(G\) all of whose subgroups are cyclic. The existence of Tarski monster groups that do not admit a law was established by \textit{A. Yu. Ol'shanskiĭ} et al., [see Geom. Topol. 13, No. 4, 2051-2140 (2009; Zbl 1243.20056)]. Now we can state the authors' main results in this paper. Theorem. Let \(G\) be a Tarski Monster and \(n\geq 4\) then the action of \(\Gamma=\mathrm{Out}(F_n)\) on \(\overline V_n(G)\) is highly transitive. Moreover, this action is faithful if and only if \(G\) does not satisfy a group law. To prove that the action is highly transitive, the authors argue by induction on \(k\) and for the basic step they prove the Proposition. For every \(n\geq 3\), \(\Aut(F_n)\) acts transitively on \(V_n(G)\), where \(G\) is a Tarski monster group. Since the action \(\Aut(F_n)\curvearrowright V_n(G)\) is transitive, so is the quotient action \(\mathrm{Out}(F_n)\curvearrowright\overline V_n(G)\). For the faithfulness of the action they prove Lemma. For every \(n\geq 3\), \(\mathrm{Out}(F_n)\) acts faithfully on \(\overline R_n(F_{n-1})\). Where, for a group \(G\) with \(n>d(G)\) (\(d(G)\) denotes the minimal number of generators of \(G\)), \(R_n(G)=\{\varphi\in V_n(G)\mid\langle\varphi(x_1),\varphi(x_2),\ldots,\varphi(x_{n-1})\rangle=G\) for some basis \(\{x_1,x_2,\ldots,x_n\}\) of \(F_n\}\) and \(\overline R_n(G)<\overline V_n(G)\) is the image of this (invariant) set, modulo \(\Aut(G)\). Proposition. Let \(G\) be a Tarski Monster and \(n\geq 3\). Then the action of \(\mathrm{Out}(F_n)\) on \(\overline V_n(G)\) is faithful if and only if \(G\) satisfies no group law. The authors notify that the direction \textit{\dots the action is faithful implies that the group satisfies no group law} is valid in general. From this they rise the Theorem. For any general group \(G\), the following are equivalent: 1. The action of \(\mathrm{Out}(F_n)\) on the \(\Aut(G)\)-classes of \(\Hom(F_n,G)\) is faithful for all large enough \(n\). 2. The group \(G\) does not satisfy a group law. The paper concludes with some remarks and some questions. For example. What about \(\mathrm{Out}(F_2)\) and \(\mathrm{Out}(F_3)\)? Do they admit a highly transitive action on a set? / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Dimitrios Varsos / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20F28 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20E05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20F05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 20F50 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6190856 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
outer automorphism groups | |||
Property / zbMATH Keywords: outer automorphism groups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
free groups | |||
Property / zbMATH Keywords: free groups / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
highly transitive actions | |||
Property / zbMATH Keywords: highly transitive actions / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Tarski Monsters | |||
Property / zbMATH Keywords: Tarski Monsters / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1008.0563 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Compactifications and algebraic completions of limit groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3502037 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Most Finitely Generated Permutation Groups are Free / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: <i>T</i>-systems of certain finite simple groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Highly transitive actions of groups acting on trees / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Countable primitive groups. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Finite Quotients of the Automorphism Group of a Free Group / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Linear representations of the automorphism group of a free group. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: THE EULERIAN FUNCTIONS OF A GROUP / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3134497 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The probability of generating a finite classical group / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Highly-transitive actions of surface groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Dynamics of Aut(Fn) Actions on Group Presentations and Representations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5513066 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: NON-FREE MAXIMAL SUBGROUPS OF INFINITE INDEX OF THE GROUP SL<sub><i>n</i></sub>(<b>Z</b>) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Maximal subgroups of infinite index in finitely generated linear groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A PERMUTATION REPRESENTATION OF A FREE GROUP / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Highly transitive actions of free products. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4342757 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: AN INFINITE GROUP WITH SUBGROUPS OF PRIME ORDERS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: ON RESIDUALING HOMOMORPHISMS AND G-SUBGROUPS OF HYPERBOLIC GROUPS / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lacunary hyperbolic groups. With an appendix by Michael Kapovich and Bruce Kleiner. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3341041 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Zariski dense subgroups of arithmetic groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4205641 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Growth sequences of finitely generated groups / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3542089 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2072935338 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 08:36, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Highly transitive actions of \(\mathrm{Out}(F_n)\). |
scientific article |
Statements
Highly transitive actions of \(\mathrm{Out}(F_n)\). (English)
0 references
24 July 2013
0 references
Let \(G\) be a group and \(F_n=\langle x_1,x_2,\ldots,x_n\rangle\) be the free group on the free generators \(x_1,x_2,\ldots,x_n\). There is a natural identification of \(G^n\) with \(\Hom(F_n,G)\) and the set of epimorphisms \(\mathrm{Epi}(F_n,G)\) with the set \(V_n(G)=\{\underline g\in G^n:\langle\underline g\rangle=G\}\), of all generating \(n\)-tuples. The group \(\Aut(G)\) acts on \(\Hom(F_n,G)\) from the left and \(\Aut(F_n)\) acts on \(\Hom(F_n,G)\) from the right. Let \(\overline V_n(G)\) be the set of all \(\Aut(G)\)-orbits on \(V_n(G)\). Since the \(\Aut(F_n)\) action preserves \(V_n(G)\) and commutes with the \(\Aut(G)\) action, an action of \(\Gamma=\mathrm{Out}(F_n)=\Aut(F_n)/\mathrm{Inn}(F_n)\) on \(\overline V_n(G)\) is induced. An action of a group on a set is called \(k\)-transitive if it is transitive on ordered \(k\)-tuples of distinct points. It is called highly transitive if it is \(k\)-transitive for every \(k\in\mathbb N\). A Tarski monster group is a noncyclic group \(G\) all of whose subgroups are cyclic. The existence of Tarski monster groups that do not admit a law was established by \textit{A. Yu. Ol'shanskiĭ} et al., [see Geom. Topol. 13, No. 4, 2051-2140 (2009; Zbl 1243.20056)]. Now we can state the authors' main results in this paper. Theorem. Let \(G\) be a Tarski Monster and \(n\geq 4\) then the action of \(\Gamma=\mathrm{Out}(F_n)\) on \(\overline V_n(G)\) is highly transitive. Moreover, this action is faithful if and only if \(G\) does not satisfy a group law. To prove that the action is highly transitive, the authors argue by induction on \(k\) and for the basic step they prove the Proposition. For every \(n\geq 3\), \(\Aut(F_n)\) acts transitively on \(V_n(G)\), where \(G\) is a Tarski monster group. Since the action \(\Aut(F_n)\curvearrowright V_n(G)\) is transitive, so is the quotient action \(\mathrm{Out}(F_n)\curvearrowright\overline V_n(G)\). For the faithfulness of the action they prove Lemma. For every \(n\geq 3\), \(\mathrm{Out}(F_n)\) acts faithfully on \(\overline R_n(F_{n-1})\). Where, for a group \(G\) with \(n>d(G)\) (\(d(G)\) denotes the minimal number of generators of \(G\)), \(R_n(G)=\{\varphi\in V_n(G)\mid\langle\varphi(x_1),\varphi(x_2),\ldots,\varphi(x_{n-1})\rangle=G\) for some basis \(\{x_1,x_2,\ldots,x_n\}\) of \(F_n\}\) and \(\overline R_n(G)<\overline V_n(G)\) is the image of this (invariant) set, modulo \(\Aut(G)\). Proposition. Let \(G\) be a Tarski Monster and \(n\geq 3\). Then the action of \(\mathrm{Out}(F_n)\) on \(\overline V_n(G)\) is faithful if and only if \(G\) satisfies no group law. The authors notify that the direction \textit{\dots the action is faithful implies that the group satisfies no group law} is valid in general. From this they rise the Theorem. For any general group \(G\), the following are equivalent: 1. The action of \(\mathrm{Out}(F_n)\) on the \(\Aut(G)\)-classes of \(\Hom(F_n,G)\) is faithful for all large enough \(n\). 2. The group \(G\) does not satisfy a group law. The paper concludes with some remarks and some questions. For example. What about \(\mathrm{Out}(F_2)\) and \(\mathrm{Out}(F_3)\)? Do they admit a highly transitive action on a set?
0 references
outer automorphism groups
0 references
free groups
0 references
highly transitive actions
0 references
Tarski Monsters
0 references
0 references