Symmetric Presentations for the Fischer Groups II: The Sporadic Groups

We give symmetric presentations for groups closely related to the three sporadic Fischer groups Fi₂₂, Fi₂₃ and Fi₂₄.Mathematics Subject Classiffications (2000). 20D08, 20D06, 20F05This research was supported by an EPSRC grant ref. GR/N27491/01     

Automorphisms of Hyperbolic Groups and Graphs of Groups

Using the canonical JSJ splitting, we describe the outer automorphism group Out(G) of a one-ended word hyperbolic group G. In particular, we discuss to what extent Out(G) is virtually a direct product of mapping class groups and a free abelian group, and we determine for which groups Out(G) is infinite. We also show that there are only finitely many conjugacy classes of torsion elements in Out(G), for G any torsion-free hyperbolic group. More generally, let Γ be a finite graph of groups decomposition of an arbitrary group G such that edge groups G_e are rigid (i.e. Out(G_e) is finite). We describe the group of automorphisms of G preserving Γ, by comparing it to direct products of suitably defined mapping class groups of vertex groups.     

Elementary Classes of Groups

Let be a class of groups. The elementary class with base is defined as the minimal class of groups containing and closed with respect to taking subgroups, quotient groups, group extensions, and direct limits. Properties of such classes are studied. Some applications to the theory of elementary amenable groups and a relation to the Kurosh--Chernikov classes of generalized solvable groups are considered.     

On Subgroups and Quotient Groups of L-fuzzy Topological Groups

In paper [1], it gave the concept and basic properties of L-fuzzy topological groups. This paper will enter the concept of quotient groups of L-fuzzy topological groups and will prove some properties of subgroups and quotient groups. The persent work is the continuation of [1] and hence all the conventions in [1] still hold good in the present paper.     

Recognition of Finite Simple Groups S 4(q) by Their Element Orders

It is proved that among simple groups $S_4(q)$ in the class of finite groups, only the groups $S_4(3^n)$, where $n$ is an odd number greater than unity, are recognizable by a set of their element orders. It is also shown that simple groups $U_3(9)$, ${^3D}_4(2)$, $G_2(4)$, $S_6(3)$, $F_4(2)$, and ${^2E}_6(2)$ are recognizable, but $L_3(3)$ is not.     

D_l和E_6型Weyl群的扭子群的扩群

本文决定了 Dl 和 E6 型 Weyl群扭子群的所有扩群 ,这为确定相应 Chevalley群扭子群的所有扩群奠定了基础 .     

Bestvina's Normal Form Complex and the Homology of Garside Groups

A Garside group is a group admitting a finite lattice generating set . Using techniques developed by Bestvina for Artin groups of finite type, we construct K(π, 1)s for Garside groups. This construction shows that the (co)homology of any Garside group G is easily computed given the lattice , and there is a simple sufficient condition that implies G is a duality group. The universal covers of these K(π, 1)s enjoy Bestvina's weak nonpositive curvature condition. Under a certain tameness condition, this implies that every solvable subgroup of G is virtually Abelian.     

L—Fuzzy群的同志和同构

本文研究了Ｌ—Ｆｕｚｚｙ群的同态和同构，给出了它们的一些性质，并把群论中的同态定理和同构定理推广到Ｌ—Ｆｕｚｚｙ群上     

Groups that are Almost Homogeneous

We classify those groups whose automorphism group has at most three orbits. In other words, we classify those groups whose holomorph is a rank 3 permutation group.     

Subgroup Separability and Linearity of Certain Graphs of Groups

We show that if the fundamental group of a finite graph of groups with finitely generated Abelian vertex groups is subgroup separable, then it is linear.     

Gaussian Groups and Garside Groups, Two Generalisations of Artin Groups

It is known that a number of algebraic properties of the braidgroups extend to arbitrary finite Coxeter-type Artin groups.Here we show how to extend the results to more general groupsthat we call Garside groups. Define a Gaussian monoid to be a finitely generated cancellativemonoid where the expressions of a given element have boundedlengths, and where left and right lowest common multiples exist.A Garside monoid is a Gaussian monoid in which the left andright lowest common multiples satisfy an additional symmetrycondition. A Gaussian group is the group of fractions of a Gaussianmonoid, and a Garside group is the group of fractions of a Garsidemonoid. Braid groups and, more generally, finite Coxeter-typeArtin groups are Garside groups. We determine algorithmic criteriain terms of presentations for recognizing Gaussian and Garsidemonoids and groups, and exhibit infinite families of such groups.We describe simple algorithms that solve the word problem ina Gaussian group, show that these algorithms have a quadraticcomplexity if the group is a Garside group, and prove that Garsidegroups have quadratic isoperimetric inequalities. We constructnormal forms for Gaussian groups, and prove that, in the caseof a Garside group, the language of normal forms is regular,symmetric, and geodesic, has the 5-fellow traveller property,and has the uniqueness property. This shows in particular thatGarside groups are geodesically fully biautomatic. Finally,we consider an automorphism of a finite Coxeter-type Artin groupderived from an automorphism of its defining Coxeter graph,and prove that the subgroup of elements fixed by this automorphismis also a finite Coxeter-type Artin group that can be explicitlydetermined. 1991 Mathematics Subject Classification: primary20F05, 20F36; secondary 20B40, 20M05.     

Bounded Rank Subgroups of Coxeter Groups, Artin Groups and One-Relator Groups with Torsion

We obtain a number of results regarding the freeness of subgroupsof Coxeter groups, Artin groups and one-relator groups withtorsion. In the case of Coxeter groups, we also obtain resultson quasiconvexity and subgroup separability. 2000 MathematicsSubject Classification 20F65, 20F55, 20F36, 20F06.     

Splitting Obstruction Groups in Codimension 2

The splitting obstruction groups depend functorially on the square of fundamental groups. In the paper the problem of splitting along a submanifold of codimension two under some restrictions on the square of fundamental groups is considered. New exact sequences and commutative diagrams containing Wall groups, splitting obstruction groups, and surgery obstruction groups for manifold pairs are obtained. Examples of computation of splitting obstruction groups and natural maps are considered.     

The Subgroups of Direct Products of Surface Groups

A subgroup of a product of n surface groups is of type FP _n if and only if it contains a subgroup of finite index that is itself a product of (at most n) surface groups.     

Groups Saturated by a Finite Set of Groups

We study the periodic groups that are saturated by a finite set of finite (nonabelian simple) groups, obtaining some information about the elements of the saturating set.     

Rigidity of Coxeter Groups and Artin Groups

A Coxeter group is rigid if it cannot be defined by two nonisomorphic diagrams. There have been a number of recent results showing that various classes of Coxeter groups are rigid, and a particularly interesting example of a nonrigid Coxeter group has been given by Bernhard Mühlherr. We show that this example belongs to a general operation of diagram twisting. We show that the Coxeter groups defined by twisted diagrams are isomorphic, and, moreover, that the Artin groups they define are also isomorphic, thus answering a question posed by Charney. Finally, we show a number of Coxeter groups are reflection rigid once twisting is taken into account.     

Integrated Groups and Smooth Distribution Groups

In this paper, we prove directly that α-times integrated groups define algebra homomorphisms. We also give a theorem of equivalence between smooth distribution groups and α-times integrated groups.     

关于CAP-子群的一点注记（英文）

对于有限群G的每一主因子H/K来说,若G的子群L满足LH=LK或者L∩H=L∩K,则称L是G的CAP-子群.本文通过假设G的每个非循环Sylow子群P有一个子群D使得1〈｜D｜〈｜P｜,且P的所有阶为｜D｜和2｜D｜（若P是非交换2-群且｜P∶D｜〉2）的子群H是G的CAP-子群,得到G为p-幂零群的一个结果.     

Countable Primitive Groups

We give a complete characterization of countable primitive groups in several settings including linear groups, subgroups of mapping class groups, groups acting minimally on trees and convergence groups. The latter category includes as a special case Kleinian groups as well as subgroups of word hyperbolic groups. As an application we calculate the Frattini subgroup in many of these settings, often generalizing results that were only known for finitely generated groups. In particular, we answer a question of G. Higman and B.H. Neumann on the Frattini group of an amalgamated product. Received: January 2006, Revision: May 2006, Accepted: May 2006     

Non-Hopfian Relatively Free Groups

To solve problems of Gilbert Baumslag and Hanna Neumann, posed in the 1960’s, we construct a nontrivial variety of groups all of whose noncyclic free groups are non-Hopfian.