Tripod-Degrees

Let Mo,, denote the moduli space of Riemann spheres with n ordered marked points. In this article we define the group Out# of quasispecial symmetric outer automorphisms of the algebraic fundamental group 1r1(Mo,n) for all n > 4 to be the group of outer automorphisms respecting the conjugacy classes of the inertia subgroups of Irl(M4,n) and commuting with the group of outer automorphisms of rl (MO,n) obtained by permuting the marked points. Our main result states that Outd is isomorphic to the Grothendieck-Teichmiiller group GT for all n > 5.

If K G Q is a group extension, then any automorphism of G which sends K into itself, induces automorphisms respectively on K and on Q. This subgroup of automorphisms of G is denoted by Aut(G; K) and is called the automorphism group of the extension K G Q. After establishing an interesting group action of Aut(K) Aut(Q) on the set H 2 (Q; K) of all 2cohomology classes of Q with coecien ts in K, a full description of Aut(G; K) and Out(G; K) = Aut(G; K)= Inn(G) is obtained in terms of various commutative diagrams. This picture is as general as possible, hence covering and further complementing similar ideas developed earlier by C. Wells ([5]), P. Conner & F. Raymond ([1]), D.J.S. Robinson ([3], [4]) and the author ([2]). 1 Notations and preliminaries If G is a group and x 2 G, then (x) is the inner automorphism determined by x (sending y 2 G to xyx 1 ), (G) is known as the inner automorphism group Inn(G) and Out(G) = Aut(G)= Inn(G) is called the outer automorphism group of G. Write p : Aut(G) Out(G) for the natural projection. For a subset X in G, CGX denotes the centralizer and NGX is the normalizer of X in G. Let Z(G) be the center of G. In the sequel of this paper, aspects of group cohomology (with non-abelian coecien ts) will be intensively used. Therefore, we review some basic facts of this theory and meanwhile x additional notations and terminology.

Twisted first homology groups of the automorphism group of a free group

group of odd order has only inner automorphisms. The group of automorphisms of the holomorph of an arbitrary group was studied by Gol'fand [3] who found some cases in which the outer automorphism group has order one or two. In the present paper I determine explicitly the outer automorphism group 0 of the holomorph H of an arbitrary finite abelian group G. If G is the direct product of a group of odd order, a group of order two, and a cyclic group of order 2n where n> 2, then 0 is the direct product of a finite number of groups of order two and a non-abelian group 0* of order six or eight. If n =2 then 0 * is isomorphic to the symmetric group of order six, and if n >3 then 0* is the octic group. In all other cases 0 is either trivial or the direct product of a finite number of groups of order two. Let A be the group of all automorphisms of the finite abelian group G, let GB be the group of all automorphisms of H that map G onto itself, and let g be the group of all inner automorphisms of H. Then (B3/J can be identified with the first cohomology group H'(A, G). Thus H'(A, G) can be regarded as a subgroup of 0. Now G is an ilnvariant subgroup of H, and it is known [6] that H has at most four invariant subgroups isomorphic to G. It follows that H'(A, G) has index at most four in 0.

Verification of Dade's Conjecture for Janko GroupJ3

A rigid automorphism of a linking system is an automorphism that restricts to the identity on the Sylow subgroup. A rigid inner automorphism is conjugation by an element in the center of the Sylow subgroup. At odd primes, it is known that each rigid automorphism of a centric linking system is inner. We prove that the group of rigid outer automorphisms of a linking system at the prime $2$ is elementary abelian and that it splits over the subgroup of rigid inner automorphisms. In a second result, we show that if an automorphism of a finite group G restricts to the identity on the centric linking system for G, then it is of $p'$ -order modulo the group of inner automorphisms, provided G has no nontrivial normal $p'$ -subgroups. We present two applications of this last result, one to tame fusion systems.

In this paper we show that the groups of automorphisms and outer automorphisms of a finitely generated free group have isoperimetric functions which are bounded above by exponential functions. This exponential bound is best possible if the free group has rank three, but the best bound remains unknown in higher rank. Our techniques show more generally that n-dimensional isoperimetric functions for these groups are at most exponential for all n. A variation of the technique gives an asynchronous bounded combing of the mapping class group of a bounded surface.

The profinite polynomial automorphism group

Let Fq be the finite field of order q=ph with p>2 prime and h>1, and let Fq¯ be a subfield of Fq. From any two q¯-linearized polynomials L1,L2∈F‾q[T] of degree q, we construct an ordinary curve X(L1,L2) of genus g=(q−1)2 which is a generalized Artin–Schreier cover of the projective line P1. The automorphism group of X(L1,L2) over the algebraic closure F‾q of Fq contains a semidirect product Σ⋊Γ of an elementary abelian p-group Σ of order q2 by a cyclic group Γ of order q¯−1. We show that for L1≠L2, Σ⋊Γ is the full automorphism group Aut(X(L1,L2)) over F‾q; for L1=L2 there exists an extra involution and Aut(X(L1,L1))=Σ⋊Δ with a dihedral group Δ of order 2(q¯−1) containing Γ. Two different choices of the pair {L1,L2} may produce birationally isomorphic curves, even for L1=L2. We prove that any curve of genus (q−1)2 whose F‾q-automorphism group contains an elementary abelian subgroup of order q2 is birationally equivalent to X(L1,L2) for some separable q¯-linearized polynomials L1,L2 of degree q. We produce an analogous characterization in the special case L1=L2. This extends a result on the Artin–Mumford curves, due to Arakelian and Korchmáros [1].

Let [Formula: see text], [Formula: see text] be the set of all [Formula: see text] matrices over a finite field [Formula: see text], and [Formula: see text] the subset of [Formula: see text] consisting of all rank one matrices. In this paper, we first determine the automorphism group and the fixing number of the orthogonality graph of [Formula: see text], and then characterize the automorphism group and the fixing number of the orthogonality graph of [Formula: see text].

Strongly regular graphs (SRGs) provide a fertile area of exploration in algebraic combinatorics, integrating techniques in graph theory, linear algebra, group theory, finite fields, finite geometry, and number theory. Of particular interest are those SRGs with a large automorphism group. If an automorphism group acts regularly (sharply transitively) on the vertices of the graph, then we may identify the graph with a subset of the group, a partial difference set (PDS), which allows us to apply techniques from group theory to examine the graph. Much of the work over the past four decades has concentrated on abelian PDSs using the powerful techniques of character theory. However, little work has been done on nonabelian PDSs. In this paper we point out the existence of genuinely nonabelian PDSs, that is, PDSs for parameter sets where a nonabelian group is the only possible regular automorphism group. We include methods for demonstrating that abelian PDSs are not possible for a particular set of parameters or for a particular SRG. Four infinite families of genuinely nonabelian PDSs are described, two of which—one arising from triangular graphs and one arising from Krein covers of complete graphs constructed by Godsil—are new. We also include a new nonabelian PDS found by computer search and present some possible future directions of research.

For any finitely generated group $G$, two complexity functions $\alpha_G$ and $\beta_G$ are defined to measure the maximal possible gap between the norm of an automorphism (respectively outer automorphism) of $G$ and the norm of its inverse. Restricting attention to free groups $F_r$, the exact asymptotic behaviour of $\alpha_2$ and $\beta_2$ is computed. For rank $r\geqslant 3$, polynomial lower bounds are provided for $\alpha_r$ and $\beta_r$, and the existence of a polynomial upper bound is proved for $\beta_r$.

Let Fr denote the free group of rank r and Out Fr: = AutFr/Inn Fr the outer automorphism group of Fr (automorphisms modulo inner automorphisms). In [10] we determined the maximal order 2rr! (for r > 2) for finite subgroups of Out Fr as well as the finite subgroup of that order which, for r > 3, is unique up to conjugation. In the present paper we determine all maximal finite subgroups (that is not contained in a larger finite subgroup) of Out F3, up to conjugation (Theorem 2 in Section 3). Here the considered case r = 3 serves as a model case: our method can be applied for other small values of r (in principle for any value of r) but the computations become considerably longer and are more apt for a computer then; the method can also be applied to determine the maximal finite subgroups of the automorphism group Aut Fr of Fr. Note that the canonical projection Aut Fr ⃗ Out Fr is injective on finite subgroups of Aut Fr; however, not all finite subgroups of Out Fr lift to finite subgroups of Aut Fr.

We introduce conditions on a group action on a tree that are sufficient for the action to extend to the automorphism group. We apply this to two different classes of one-relator groups: certain BaumslagSolitar groups and one-relator groups with centre. In each case we derive results about the automorphism group, and deduce that there are relatively few outer automorphisms.

The canonical modular homomorphism provides an embedding of R \mathbb {R} into the outer automorphism group O u t ( M ) Out(M) of any type I I I 1 \mathrm {III}_{1} factor M M . We provide an explicit construction of a full factor of type I I I 1 \mathrm {III}_{1} with separable predual such that the outer automorphism group is minimal, i.e. this embedding is an isomorphism and a homeomorphism. We obtain such a I I I 1 \mathrm {III}_{1} factor by using an amalgamated free product construction.