Groups with Bounded Chernikov Conjugate Classes of Elements

We consider BCC-groups, that is groups G with Chernikov conjugacy classes in which for every element x G the minimax rank of the divisible part of the Chernikov group G/C _G(x ^G) and the order of the corresponding factor-group are bounded in terms of G only. We prove that a BCC-group has a Chernikov derived subgroup. This fact extends the well-known result due to B. H. Neumann characterizing groups with bounded finite conjugacy classes (BFC-groups).     

Weak Cayley Table Groups II: Alternating Groups and Finite Coxeter Groups

A weak Cayley table isomorphism is a bijection φ: G → H of groups such that φ(xy) ～ φ(x)φ(y) for all x, y ∈ G. Here ～denotes conjugacy. When G = H the set of all weak Cayley table isomorphisms φ: G → G forms a group 𝒲(G) that contains the automorphism group Aut(G) and the inverse map I: G → G, x → x ^?1. Let 𝒲₀(G) = ?Aut(G), I? ≤ 𝒲(G) and say that G has trivial weak Cayley table group if 𝒲(G) = 𝒲₀(G). We show that all finite irreducible Coxeter groups (except possibly E ₈) have trivial weak Cayley table group, as well as most alternating groups. We also consider some sporadic simple groups.     

Groups acting on circulant matrices

Summary If a groupG permutes a setI, andM is a multiplicative abelian group, a representation ofG onM ^I is given by permutation of coordinates. TheG-module homomorphisms intoM ^I arise from exponential maps. This framework encompasses those systems of functional equations that characterize generalized hyperbolic functions.     

Isometry Groups of Proper Hyperbolic Spaces

Let X be a proper hyperbolic geodesic metric space and let G be a closed subgroup of the isometry group Iso(X) of X. We show that if G is not elementary then for every p ∈ (1, ∞) the second continuous bounded cohomology group H²_cb(G, L^p(G)) does not vanish. As an application, we derive some structure results for closed subgroups of Iso(X). Partially supported by Sonderforschungsbereich 611.     

On a Class of Factorizable Inverse Monoids Associated with Braid Groups

We prove that a constructible nilpotent-by-abelian group G can be obtained from a polycyclic group by forming d successive properly ascending HNN-extensions if and only if d is the dimension of the linear subspace of Hom(G, R) spanned by the geometric invariant Σ¹ (G, Z) ^c . We also obtain a result on the finiteness properties “type FP _m ” of certain subgroups of G     

Convolution-Dominated Operators on Discrete Groups

We study infinite matrices A indexed by a discrete group G that are dominated by a convolution operator in the sense that for x ∈ G and some . This class of “convolution-dominated” matrices forms a Banach-*-algebra contained in the algebra of bounded operators on ℓ ²(G). Our main result shows that the inverse of a convolution-dominated matrix is again convolution-dominated, provided that G is amenable and rigidly symmetric. For abelian groups this result goes back to Gohberg, Baskakov, and others, for non-abelian groups completely different techniques are required, such as generalized L ¹-algebras and the symmetry of group algebras. K. G. was supported by the Marie-Curie Excellence Grant MEXT-CT 2004-517154.     

On Groups Admitting a Fixed-Point-Free Elementary 2-Group of Automorphisms

We give a short proof that if G is a finite group of derived length k and if G admits a fixed-point-free action of the elementary group of order 2 ⁿ , then G has a normal series of length n all of whose quotients are nilpotent of class bounded in terms of k and n only.     

Groups containing a strongly embedded subgroup

An involution v of a group G is said to be finite (in G) if vv ^g has finite order for any g ∈ G. A subgroup B of G is called a strongly embedded (in G) subgroup if B and G\B contain involutions, but B ∩ B ^g does not, for any g ∈ G\B. We prove the following results. Let a group G contain a finite involution and an involution whose centralizer in G is periodic. If every finite subgroup of G of even order is contained in a simple subgroup isomorphic, for some m, to L ₂(2 ^m ) or Sz(2 ^m ), then G is isomorphic to L ₂(Q) or Sz(Q) for some locally finite field Q of characteristic two. In particular, G is locally finite (Thm. 1). Let a group G contain a finite involution and a strongly embedded subgroup. If the centralizer of some involution in G is a 2-group, and every finite subgroup of even order in G is contained in a finite non-Abelian simple subgroup of G, then G is isomorphic to L ₂(Q) or Sz(Q) for some locally finite field Q of characteristic two (Thm. 2). Supported by RFBR (project No. 08-01-00322), by the Council for Grants (under RF President) and State Aid of Leading Scientific Schools (grant NSh-334.2008.1), and by the Russian Ministry of Education through the Analytical Departmental Target Program (ADTP) “Development of Scientific Potential of the Higher School of Learning” (project Nos. 2.1.1.419 and 2.1.1./3023). (D. V. Lytkina and V. D. Mazurov) Translated from Algebra i Logika, Vol. 48, No. 2, pp. 190–202, March–April, 2009.     

Littlewood–Paley and Multiplier Theorems on Weighted Spaces over Locally Compact Vilenkin Groups

We extend the Littlewood–Paley theorem toL^p_w(G), whereGis a locally compact Vilenkin group andware weights satisfying the MuckenhouptA_pcondition. As an application we obtain a mixed-norm type multiplier result onL^p_w(G) and prove the sharpness of our result. We also obtain a sufficient condition for φ L^∞(Γ) to be a multiplier on the power weightedL^p_α(G) in terms of its smoothness condition.     

Linearity of Zp[[t]]-Perfect Groups

Let G be a _p[[t]]-standard group of level 1. Then G is _p[[t]]-perfect if its lower central series is given by powers of the maximal ideal (p, t), i.e. if _n(G) = G((p,t)ⁿ). We prove that a _p[[t]]-perfect group is linear by imitating the proof that a _p[[t]]-standard group is linear.     

Factorisation Theorems for T-decomposable Measures on Groups

 For a real or p-adic unipotent algebraic group G, given a T∈ Hom(G, G) and T-decomposable measure on G which is either ‘full’ or symmetric, we get a decomposition , where μ₀ is T-invariant and , and this decomposition is unique upto a shift. We also show that ν₀ is T-decomposable under some additional sufficient condition and give a counter example to justify this. We generalise the above to power bounded operators on p-adic Banach spaces. We also prove some convergence-of-types theorems on p-adic groups as well as Banach spaces. (Received 21 October 2000; in revised form 21 February 2001)     

On Purity and Quasiequality of Abelian Groups

We study the Cohn purity in an abelian group regarded as a left module over its endomorphism ring. We prove that if a finite rank torsion-free abelian group G is quasiequal to a direct sum in which all summands are purely simple modules over their endomorphism rings then the module _E(G) G is purely semisimple. This theorem makes it possible to construct abelian groups of any finite rank which are purely semisimple over their endomorphism rings and it reduces the problem of endopure semisimplicity of abelian groups to the same problem in the class of strongly indecomposable abelian groups.     

On Generation of Sporadic Simple Groups by Three Involutions Two of Which Commute

We prove the following result: Let G be one of the 26 sporadic simple groups. The group G cannot be generated by three involutions two of which commute if and only if G is isomorphic to M ₁₁, M ₂₂, M ₂₃, or M ^cL .     

A Remark on the Structure of N-Engel Groups

We observe that there exists a positive integer c(n) such that for every locally nilpotent n-Engel group G we have that G/Z _c(n)(G) is of n-bounded exponent. This strengthens a result of Burns and Medvedev.     

Groups with the BNB-property

Let G be a group generated by a weak BN-pair in the sense of Delgado-Stellmacher. These amalgams do not determine the group G; in fact G ^*=P _* ¹ *_B P _* ² is infinite. We introduce a global condition which forces G to be finite and makes it possible to determine G. For this we use the associated graph and assume that there exists a circuit admitting an edge-transitive subgroup of G such that any two edges of lie on some conjugate of . It follows that G is a group of Lie type, ² F ₄(2), A ₆ or 3 · S ₆.Dedicated to Professor J. Tits on the occasion of his sixtieth birthdayResearch partially supported by NSF Grant DMS-87 00 838.     

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.     

Discriminating Completions of Hyperbolic Groups

A group G is called an A-group, where A is a given Abelian group, if it comes equipped with an action of A on G which mimics the way in which Z acts on any group. This action is codified in terms of certain axioms, all but one of which were introduced some years ago by R. C. Lyndon. For every such G and A there exists an A-exponential group G ^A which is the A-completion of G. We prove here that if G is a torsion-free hyperbolic group and if A is a torsion-free Abelian group, then the Lyndon's type completion G ^A of G is G-discriminated by G. This implies various model-theoretic and algorithmic results about G ^A .     

Commutators in Residually Finite Groups

 The following result is proved. Let G be a residually finite group satisfying the identity ([x ₁, x ₂][x ₃, x ₄]) ⁿ  ≡ 1 for a positive integer n that is not divisible by p ² q ² for any distinct primes p and q. Then G′ is locally finite. Received 7 May 2001; in revised form 3 December 2001     

Maximal Holonomy of Almost Bieberbach Groups for Heis5

Let Heis _2n+1 be the Heisenberg group of dimension 2n + 1 and M an infra-nilmanifold with Heis _2n+1-geometry. The fundamental group of M contains a cocompact lattice of Heis _2n+1 with index bounded above by a universal constant I _n+1, i.e., I _n+1 is the maximal order of the holonomy groups. We prove that I ₃ = 24. As an application we give an estimate for the volumes of finite volume non-compact complex hyperbolic 3-manifolds.     

On Finite Groups and the Small Square Property

Let G be a finite group written multiplicatively and k a positive integer. If X is a non-empty subset of G, write X ² = |xy | x, y X . We say that G has the small square property on k-sets if |X ²| < k ² for any k-element subset X of G. For each group G, there is a unique m = m _G such that G has the small square property on (m + 1)-sets but not on m-sets. In this paper we show that given any positive integer d, there is a finite group G with m _G = d.