Outer automorphism groups of certain 1-relator groups

Grossman first showed that outer automorphism groups of 1-relator groups given by orientable surface groups are residually finite, whence mapping class groups of orientable surfaces are residually finite. Allenby, Kim and Tang showed that outer automorphism groups of cyclically pinched 1-relator groups are residually finite, whence mapping class groups of orientable and non-orientable surfaces are residually finite. In this paper we show that outer automorphism groups of certain conjugacy separable 1-relator groups are residually finite.     

Polycyclic groups admitting a regular automorphism of order four

Let G be a polycyclic group and α a regular automorphism of order four of G. If the map φ: G→ G defined by g~φ= [g, α] is surjective, then the second derived group of G is contained in the centre of G. Abandoning the condition on surjectivity, we prove that C_G(α~2) and G/[G, α~2] are both abelian-by-finite.     

Subgroup separability of certain generalized free products of nilpotent-by-finite groups

In this paper, we show that certain generalized free products of nilpotent-by-finite groups are subgroup separable when the amalgamated subgroup is h× D where D is in the center of both factors.     

On the residual properties of Baumslag–Solitar groups

A survey of results on the residual properties of Baumslag–Solitar groups that have been obtained to date. Some unpublished results are included and for certain results new proofs are given     

Kazhdan groups with infinite outer automorphism group

For each countable group we produce a short exact sequence where has a graphical presentation and is f.g. and satisfies property .

As a consequence we produce a group with property  such that is infinite.

Using the tools developed we are also able to produce examples of non-Hopfian and non-coHopfian groups with property .

One of our main tools is the use of random groups to achieve certain properties.

     

Divisibility and structure constraints on automorphism groups of almost perfect 1-factorizations of

Let G be a permutation group acting on a set with N elements such that every permutation with more than m fixed points is the identity. It is easy to verify that |G| divides N(N − 1) ··· (N − m). We show that if gcd(|G|, m!) = 1, then |G| divides (N − i)(N − j) for some i and j satisfying 0 ≤ i < j ≤ m. We use this to show that any almost perfect 1-factorization of K_2n has an automorphism group whose cardinality divides (2n − i)(2n − j) for some i and j with 0 ≤ i < j ≤ 2 as long as n is odd. An almost perfect 1-factorization (or APOF) is a 1-factorization in which the union of any three distinct 1-factors is connected. This result contrasts with an example of an APOF on K₁₂ given by Cameron which has PSL(2, ℤ₁₁) as its automorphism group [with cardinality 12(11)(5)]. When n is even and the automorphism group is solvable, we show that either G acts vertex transitively and n is a power of two, or |G| divides 2n − 2^a for some integer a with 2^a dividing 2n, or else |G| divides (2n − i)(2n − j) for some i and j with 0 ≤ i < j ≤ 2. We also give a number of structure results concerning these automorphism groups. © 1998 John Wiley & Sons, Inc. J Combin Designs 6: 355–380, 1998     

Subgroup separability of graphs of abelian groups

In the present paper we give necessary and sufficient conditions for the subgroup separability of the fundamental group of a finite graph of groups with finitely generated abelian vertex groups.

     

On outer automorphism groups of coxeter groups

Summary It is shown that the outer automorphism group of a Coxeter groupW of finite rank is finite if the Coxeter graph contains no infinite bonds. A key step in the proof is to show that if the group is irreducible andΠ ₁ andΠ ₂ any two bases of the root system ofW, thenΠ ₂ = ±ωΠ ₁ for some ω εW. The proof of this latter fact employs some properties of the dominance order on the root system introduced by Brink and Howlett. This article was processed by the author using the Springer-Verlag TEX PJour1g macro package 1991.     

Divisibility in certain automorphism groups

We study solvability of equations of the form x ⁿ = g in the groups of order automorphisms of archimedean-complete totally ordered groups of rank 2. We determine exactly which automorphisms of the unique abelian such group have square roots, and we describe all automorphisms of the general ones.     

On automorphism groups of some finite groups

We show that if n > 1 is odd and has no divisor p4 for any prime p, then there is no finite group G such that│Aut(G)│ = n.     

剩余有限minimax 可解群的几乎正则自同构

设G 是一个剩余有限的minimax 可解群, α 是G 的几乎正则自同构, 则G/[G, α] 是有限群, 并且(1) 当α^p = 1 时, G 有一个指数有限的幂零群其幂零类不超过h(p), 其中h(p) 是只与素数p 有关的函数.(2) 当α² = 1 时, G 有一个指数有限的Abel 特征子群且[G, α]′ 是有限群.关键词剩余有限minimax 可解群几乎正则自同构     

Geometry for palindromic automorphism groups of free groups

We examine the palindromic automorphism group , of a free group F _n , a group first defined by Collins in [5] which is related to hyperelliptic involutions of mapping class groups, congruence subgroups of , and symmetric automorphism groups of free groups. Cohomological properties of the group are explored by looking at a contractible space on which acts properly with finite quotient. Our results answer some conjectures of Collins and provide a few striking results about the cohomology of , such as that its rational cohomology is zero at the vcd. Received: January 17, 2000.     

The local finiteness of some groups generated by a conjugacy class of order 3 elements

We prove local finiteness for the groups generated by a conjugacy class of order 3 elements whose every pair generates a subgroup that is isomorphic to Z ₃, A ₄, A ₅, SL ₂(3), or SL ₂(5).     

Endomorphisms of automorphism groups of free groups

It is proved that any non-trivial endomorphism of an automorphism group AutF_n of a free group F_n, for n 3, either is an automorphism or factorization over a proper automorphism subgroup. An endomorphism of AutF₂ is an automorphism, or else a homomorphism onto one of the groups S₃, D₈, Z₂ × Z₂, Z₂, or (Z₂ × Z₂). A non-trivial homomorphism of AutF_n into AutF_m, for n 3, m 2, and n > m, is a homomorphism onto Z₂ with kernel SAutF_n. As a consequence, we obtain that AutF_n is co-Hopfian.Supported by RFBR grant No. 02-01-00293 and by the Council for Grants (under RF President) and State Aid of Fundamental Science Schools, project NSh-2069.2003.1.__________Translated from Algebra i Logika, Vol. 44, No. 2, pp. 211–237, March–April, 2005.     

Conjugacy problem in an automorphism group of an infinite tree

An algorithm recognizing the conjugacy of elements in the Grigorchuk 2-group is constructed.Translated fromMatematicheskie Zametki, Vol. 64, No. 4, pp. 592–597, October, 1998.     

Representing the automorphism group of an almost crystallographic group

Let be an almost crystallographic (AC-) group, corresponding to the simply connected, connected, nilpotent Lie group and with holonomy group . If , there is a faithful representation . In case is crystallographic, this condition is known to be equivalent to or . We will show (Example 2.2) that, for AC-groups , this is no longer valid and should be adapted. A generalised equivalent algebraic (and easier to verify) condition is presented (Theorem 2.3). Corresponding to an AC-group and by factoring out subsequent centers we construct a series of AC-groups, which becomes constant after a finite number of terms. Under suitable conditions, this opens a way to represent faithfully in (Theorem 4.1). We show how this can be used to calculate . This is of importance, especially, when is almost Bieberbach and, hence, is known to have an interesting geometric meaning.

     

Some finiteness conditions on normalizers or centralizers in groups

We consider the following two finiteness conditions on normalizers and centralizers in a group G: (i) |N_G(H) : H| < ∞ for every H ? G, and (ii) |C_G(x):?x?|<∞ for every ?x??G. We show that (i) and (ii) are equivalent in the classes of locally finite groups and locally nilpotent groups. In both cases, the groups satisfying these conditions are a special kind of cyclic extensions of Dedekind groups. We also study a variation of (i) and (ii), where the requirement of finiteness is replaced with a bound. In this setting, we extend our analysis to the classes of periodic locally graded groups and non-periodic groups. While the two conditions are still equivalent in the former case, in the latter the condition about normalizers is stronger than that about centralizers.