Automorphism of finite groups and Hurwitz spaces - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-26T02:37:24Z http://mathoverflow.net/feeds/question/119377 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/119377/automorphism-of-finite-groups-and-hurwitz-spaces Automorphism of finite groups and Hurwitz spaces Will Chen 2013-01-19T23:42:18Z 2013-01-20T11:20:41Z <p>If $G$ is a finite group, embedded as a transitive subgroup of $S_n$ for some $n$, will every automorphism of $G$ extend to an inner automorphism of $S_n$?</p> <p>I'm trying to connect the language that's used in many different sources on Hurwitz spaces and Nielsen classes. On Michael Fried's website, he notes that "absolute equivalence" on a Nielsen class $(g_1,\ldots,g_r)$ is an equivalence given by componentwise conjugation by an element $h\in N_{S_n}(G)$.</p> <p>On the other hand, in some other sources, eg Volklein's chapter on "Moduli Spaces of Covers of the Riemann Sphere" in his book Groups as Galois groups, and in Fried's paper "The Inverse Galois Problem and Rational Points on Moduli Spaces", their notion of absolute equivalence on Nielsen classes seems to allow for componentwise application of any automorphism of $G$.</p> <p>Also, does anyone have a pdf of Fried's 1977 paper "Fields of Definition of Function Fields and Hurwitz Families - Groups as Galois Groups". It's in the 1977 Volume of Communications in Algebra, but my university doesn't seem to have access to issues from that journal prior to 2000.</p> <p>thanks</p> <ul> <li>will</li> </ul> http://mathoverflow.net/questions/119377/automorphism-of-finite-groups-and-hurwitz-spaces/119379#119379 Answer by ARupinski for Automorphism of finite groups and Hurwitz spaces ARupinski 2013-01-20T00:25:12Z 2013-01-20T00:25:12Z <p>Such automorphisms need not extend to inner automorphisms of $S_n$. Take the dihedral group $D_8$ sitting transitively inside $S_4$, say as the following set of permutations: $\{(1)(2)(3)(4), (13)(2)(4), (1)(3)(24), (12)(34), (14)(23), (1234), (13)(24), (1432)\}$. Now the sets of reflections $\{(13)(2)(4), (1)(3)(24)\}$ and $\{(12)(34),(14)(23)\}$ are equivalent to one another via an outer automorphism of $D_8$, but clearly this automorphism is not inner in $S_4$.</p> http://mathoverflow.net/questions/119377/automorphism-of-finite-groups-and-hurwitz-spaces/119380#119380 Answer by Eric Wofsey for Automorphism of finite groups and Hurwitz spaces Eric Wofsey 2013-01-20T00:27:39Z 2013-01-20T00:27:39Z <p>No, this isn't even true if $G$ is $S_n$ itself: the symmetric group $S_6$ has an outer automorphism.</p> http://mathoverflow.net/questions/119377/automorphism-of-finite-groups-and-hurwitz-spaces/119391#119391 Answer by Peter Mueller for Automorphism of finite groups and Hurwitz spaces Peter Mueller 2013-01-20T11:20:41Z 2013-01-20T11:20:41Z <p>While the answers by Eric and ARupinski give negative examples for your question, here is the precise characterization for when the answer is yes: Let $\alpha$ be an automorphism of the transitive subgroup $G\le S_n$, and $G_1$ be the stabilizer of $1$ in $G$. Then $\alpha$ extends to an automorphism of $S_n$ if and only if $G_1$ and $\alpha(G_1)$ are conjugate in $S_n$.</p> <p>The necessity of the condition is clear, and the sufficiency is a nice exercise. I believe the result is also in the permutation groups book by Dixon-Mortimer. </p>