On the Geometry of the Automorphism Group of a Free Group

The groups Aut(F₃) and Out(F₃) satisfy strictly exponentialisoperimetric inequalities; in particular, they are not automatic.For n 3, Aut (F_n) and Out (F_n) do not admit bounded bicombingsof sub-exponential length, hence they cannot act properly andcocompactly by isometries on any simply-connected space of non-positivecurvature, and they are not biautomatic.     

On the Automorphism Group of a Semifield of Order 54

The purpose of this article is to determine Aut(A) where A is a semifield of order 5⁴ admitting an automorphism group E ? Z ₂ × Z ₂ acting freely on A.     

On the Automorphism Group of the Kohn-Nirenberg Domain

In this paper, we prove that there are no automorphism orbits of the Kohn-Nirenberg domain accumulating at the origin.     

On the Automorphism Group of the First Weyl Algebra

Let A ₁: = 𝕜[t, ?] be the first algebra over a field 𝕜 of characteristic zero. Let Aut_𝕜(A ₁) be the automorphism group of the ring A ₁. One can associate to each right ideal I of A ₁ a subgroup of Aut_𝕜(A ₁) called the isomorphism subgroup of I. In this article, we show that each such isomorphism subgroup is equal to its normalizer. For that, we study when the isomorphism subgroup of a right ideal of A ₁ contains a given isomorphism subgroup.     

Linear Representations of the Automorphism Group of a Free Group

Let F _n be the free group on n ≥ 2 elements and Aut(F _n ) its group of automorphisms. In this paper we present a rich collection of linear representations of Aut(F _n ) arising through the action of finite-index subgroups of it on relation modules of finite quotient groups of F _n . We show (under certain conditions) that the images of our representations are arithmetic groups. Received: November 2006, Accepted: March 2007     

Structure of a Conjugating Automorphism Group

We examine the automorphism group Aut(F _n ) of a free group F _n of rank n 2 on free generators x ₁, x ₂,...,x _n . It is known that Aut(F ₂) can be built from cyclic subgroups using a free and semidirect product. A question remains open as to whether this result can be extended to the case n > 2. Every automorphism of Aut(F _n ) sending a generator x _i to an element f _i ^-1 x _(i) f _i , where f _i F _n and is some permutation on a symmetric group S _n , is called a conjugating automorphism. The conjugating automorphism group is denoted C _n . A set of automorphisms for which is the identity permutation form a basis-conjugating automorphism group, denoted Cb _n . It is proved that Cb _n can be factored into a semidirect product of some groups. As a consequence we obtain a normal form for words in C _n . For n 4, C _n and Cb _n have an undecidable occurrence problem in finitely generated subgroups. It is also shown that C _n , n 2, is generated by at most four elements, and we find its respective genetic code, and that Cb _n , n 2, has no proper verbal subgroups of finite width.     

关于一类中心循环的有限P-群的自同构群

确定了一类中心循环的有限p-群G的自同构群.设G=X_3(p~m)~(*n)*Z_(p~(m+r)),其中m≥1,n≥1和r≥0,并且X_3(p~m)=x,y|x~(p~m)=y~(p~m)=1,[x,y]~(p~m)=1,[x,[x,y]]=[y,[x,y]]=1.Aut_nG表示Aut G中平凡地作用在N上的元素形成的正规子群,其中G'≤N≤ζG,|N|=p~(m+s),0≤s≤r,则(i)如果p是一个奇素数,那么AutG/Aut_nG≌Z_(p~((m+s-1)(p-1))),Aut_nG/InnG≌Sp(2n,Z_(p~m))×Z_(p~(r-s)).(ii)如果p=2,那么AutG/Aut_nG≌H,其中H=1(当m+s=1时)或者Z_(2~(m+s-2))×Z_2(当m+s≥2时).进一步地,Aut_nG/InnG≌K×L,其中K=Sp(2n,Z_(2~m))(当r0时)或者O(2n,Z_(2~m))(当r=0时),L=Z_(2~(r-1))×Z_2(当m=1,s=0,r≥1时)或者Z_(2~(r-s)).     

On the Automorphism Group of a Free Pro-l Meta-abelian Group and an Application to Galois Representations

In § l of this article, we study group-theoretical properties of some automorphism group Ψ^* of the meta-abelian quotient § of a free pro-l group § of rank two, and show that the conjugacy class of some element of order two of Ψ^* is not determined by the action induced on the abelian quotient § of § in the case of § = 2. In § 2 we apply the results to the outer Galois representation § attached to the curve C deleted one point from an elliptic curve E, and give an example that §_c does not factor through the l-adic representation attached to E.     

The Fixed Point Group of a Free Group Automorphism

It is proved that the fixed point group of an arbitrary automorphism of a free group of finite rank has an algorithmically computable basis.     

The Automorphism Tower of a Free Group

It is proved that the automorphism group of any non-abelianfree group F is complete. The key technical step in the proofis that the set of all conjugations by powers of primitive elementsis first-order parameter-free definable in the group Aut(F).     

Pseudo-n-Transitivity of the Automorphism Group of a Geometric Structure

We introduce a notion of pseudo-n- transitivity which is a nontransitive counterpart of the n-transitivity. The main result states that any group of diffeomorphisms which satisfies the locality condition is pseudo-n-transitive for each n 1.     

The Automorphism Group of a Free-by-Cyclic Group in Rank 2

Let φ be an automorphism of a free group F_n of rank n, and let M_φ = F_n ?_φ ? be the corresponding mapping torus of φ. We study the group Out(M_φ) under certain technical conditions on φ. Moreover, in the case of rank 2, we classify the cases when this group is finite or virtually cyclic, depending on the conjugacy class of the image of φ in GL₂(?). As an application, we solve the isomorphism problem for the family of F₂-by-? groups, in terms of the two defining automorphisms.     

An Ergodic Action of the Outer Automorphism Group of a Free Group

For n > 2, the action of the outer automorphism group of the rank n free group F _n on Hom(F _n , SU(2))/SU(2) is ergodic with respect to the Lebesgue measure class. The author gratefully acknowledges support from National Science Foundation grants DMS-0405605 and DMS-0103889. Received: September 2005 Revision: January 2006 Accepted: March 2006     

The Structure of the (Outer) Automorphism Group of a Bieberbach Group

Referring to Tits alternative, we develop a necessary and sufficient condition to decide whether the normalizer of a finite group of integral matrices is polycyclic-by-finite or is containing a non-Abelian free group. This result is of fundamental importance to conclude whether the (outer) automorphism group of a Bieberbach group is polycyclic-by-finite or has a non-cyclic free subgroup.     

Verlinde fusion环上的自同构群

计算了Verlinde fusion环上的自同构群,结果表明该自同构群要么为一阶平凡群要么为二阶循环群.     

On Generators of the Tame Automorphism Group of Free Metabelian Lie Algebras

We prove that the tame automorphism group TAut(M _n ) of a free metabelian Lie algebra M _n in n variables over a field k is generated by a single nonlinear automorphism modulo all linear automorphisms if n ≥ 4 except the case when n = 4 and char(k) ≠ 3. If char(k) = 3, then TAut(M ₄) is generated by two automorphisms modulo all linear automorphisms. We also prove that the tame automorphism group TAut(M ₃) cannot be generated by any finite number of automorphisms modulo all linear automorphisms.