Infinite Groups with an Anticentral Element

An element of a group is called anticentral if the conjugacy class of that element is equal to the coset of the commutator subgroup containing that element. A group is called Camina group if every element outside the commutator subgroup is anticentral. In this paper, we investigate the structure of locally finite groups with an anticentral element. Moreover, we construct some non-periodic examples of Camina groups, which are not locally solvable.     

On Residually Finite Groups with Engel-like Conditions

Let m, n be positive integers. Suppose that G is a residually finite group in which for every element x ∈ G there exists a positive integer q = q(x) ≤ m such that x^q is left n-Engel. We show that G is locally virtually nilpotent. Further, let w be a multilinear commutator and G a residually finite group in which for every product of at most 896 w-values x there exists a positive integer q = q(x) dividing m such that x^q is left n-Engel. Then w(G) is locally virtually nilpotent.     

On the Direct Indecomposability of Infinite Irreducible Coxeter Groups and the Isomorphism Problem of Coxeter Groups

In this article, we prove that any irreducible Coxeter group of infinite order, which is possibly of infinite rank, is directly indecomposable as an abstract group. The key ingredient of the proof is that we can determine, for an irreducible Coxeter group W, the centralizers in W of the normal subgroups of W that are generated by involu-tions. As a consequence, the problem of deciding whether two general Coxeter groups are isomorphic is reduced to the case of irreducible ones. We also describe the automorphism group of a general Coxeter group in terms of those of its irreducible components.     

On non-solvable Camina pairs

In this paper we study non-solvable and non-Frobenius Camina pairs (G,N). It is known [D. Chillag, A. Mann, C. Scoppola, Generalized Frobenius groups II, Israel J. Math. 62 (1988) 269–282] that in this case N is a p-group. Our first result (Theorem 1.3) shows that the solvable residual of G/O_p(G) is isomorphic either to SL(2,p^e),p is a prime or to SL(2,5), SL(2,13) with p=3, or to SL(2,5) with p7.Our second result provides an example of a non-solvable and non-Frobenius Camina pair (G,N) with |O_p(G)|=5⁵ and G/O_p(G)SL(2,5). Note that G has a character which is zero everywhere except on two conjugacy classes. Groups of this type were studies by S.M. Gagola [S.M. Gagola, Characters vanishing on all but two conjugacy classes, Pacific J. Math. 109 (1983) 363–385]. To our knowledge this group is the first example of a Gagola group which is non-solvable and non-Frobenius.     

Centralizers of Involutions in Locally Finite Groups

The present article deals with locally finite groups G having an involution φ such that C _G (φ) is an SF-group. It is shown that G possesses a normal subgroup B which is a central product of finitely many groups isomorphic to PSL(2, K _i ) or SL(2, K _i ) for some infinite locally finite fields K _i of odd characteristic, such that [G, φ]′/B and G/[G, φ] are both SF-groups.     

关于Camina条件

Ａ．Ｒ．Ｃａｍｉｎａ曾研究过Ｆｒｏｂｅｎｉｕｓ群的一种类似．为此，他提出了两个假设并证明了这两个假设是等价的，在这篇文章中，我们提出比Ｃａｍｉｎａ假设弱且适合特征标表的两个假设，并证明我们的两个假设是等价的，然后，我们建立对这两个新假设而言最基本的情形的若干结果，这个最基本的情形被证明正好是有一个不可约特征标恰在两个共轭类上取非零值的群。     

A Note on Groups of Intermediate Growth

It was proved by Grigorchuk (1983 Grigorchuk , R. I. ( 1983 ). On the Milnor problem of group growth (Russian) . Dokl. Akad. Nauk SSSR 271 ( 1 ): 30 – 33 . English translation (1983). Soviet Math. Dokl. 28 ( 1 ): 23 – 26 . [Google Scholar]) that there exist groups which are neither of polynomial nor of exponential growth. Their growth is called “intermediate”. We show that every group of intermediate growth has either a residually finite quotient of intermediate growth or a simple section of intermediate growth.     

The Class Number of Derived Subgroups and the Structure of Camina Groups

A finite group G is called a Camina group if G has a proper normal subgroup N such that gN is precisely a conjugacy class of G for any g ∈E G - N. In this paper, the structure of a Camina group G is determined when N is a union of 2, 3 or 4 conjugacy classes of G.     

On a Commuting Graph on Conjugacy Classes of Groups

We consider the graph Γ(G), associated with the conjugacy classes of a group G. Its vertices are the nontrivial conjugacy classes of G, and we join two different classes C, D, whenever there exist x ∈ G and y ∈ D such that xy = yx. The aim of this article is twofold. First, we investigate which graphs can occur in various contexts and second, given a graph Γ(G) associated with G, we investigate the possible structure of G. We proved that if G is a periodic solvable group, then Γ(G) has at most two components, each of diameter at most 9. If G is any locally finite group, then Γ(G) has at most 6 components, each of diameter at most 19. Finally, we investigated periodic groups G with Γ(G) satisfying one of the following properties: (i) no edges exist between noncentral conjugacy classes, and (ii) no edges exist between infinite conjugacy classes. In particular, we showed that the only nonabelian groups satisfying (i) are the three finite groups of order 6 and 8.     

On the Residual Finiteness of Outer Automorphisms of Hyperbolic Groups

We show that every virtually torsion-free subgroup of the outer automorphism group of a conjugacy separable hyperbolic group is residually finite. As a result, we are able to prove that the group of outer automorphisms of every finitely generated Fuchsian group and of every free-by-finite group is residually finite.     

Groups with Anticentral Elements

We study finite groups G with elements g such that |C _G (g)| = |G:G′|. (Such elements generalize fixed-point-free automorphisms of finite groups.) We show that these groups have a unique conjugacy class of nilpotent supplements for the commutator subgroup and, using the classification of finite simple groups, that these groups are solvable.     

有限秩的可解群的正则自同构

设G是有限秩的剩余有限可解群或是有限秩的剩余有限可解群的有限扩张,α是G的一个索数p阶正则自同构且φ:G→G(g→[g,α])是满射,则G是幂零类不超过h(p)的幂零群,其中h(p)是只与p有关的函数.     

一类多重循环群的剩余有限性质

设A是秩为n(n≥2)的自由Abel群,A的自同构群Aut(A)= GL(n,Z).对整数m,取 α =(0 1 0…0 0 0(………)(…………)0 0 0…0 1 1 0…0 m)∈ Aut(A).记Γm(n)=A(×)〈α〉,则它是一个2元生成的多重循环群.本文给出了 Γm(n)的准确的剩余有限性质.     

On Dehn Functions of Infinite Presentations of Groups

We introduce two new types of Dehn functions of group presentations which seem more suitable (than the standard Dehn function) for infinite group presentations and prove the fundamental equivalence between the solvability of the word problem for a group presentation defined by a decidable set of defining words and the property of being computable for one of the newly introduced functions (this equivalence fails for the standard Dehn function). Elaborating on this equivalence and making use of this function, we obtain a characterization of finitely generated groups for which the word problem can be solved in nondeterministic polynomial time. We also give upper bounds for these functions, as well as for the standard Dehn function, for two well-known periodic groups. In particular, we prove that the (standard) Dehn function of a 2-group Γ of intermediate growth, defined by a system of defining relators due to Lysenok, is bounded from above by C₁x² log₂ x, where C₁ > 1 is a constant. We also show that the (standard) Dehn function of a free m-generator Burnside group B(m, n) of exponent n ≥ 2⁴⁸, where n is either odd or divisible by 2⁹, defined by a minimal system of defining relators, is bounded from above by the subquadratic function x^19/12. Received: September 2007, Revision: March 2008, Accepted: March 2008     

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.     

关于有限群某些子群的X-半置换性

Let A be a subgroup of a group G and X a nonempty subset of G. A is said to be X-semipermutable in G if A has a supplement T in G such that A is X-permutable with every subgroup of T. In this paper, we try to use the X-semipermutability of some subgroups to characterize the structure of finite groups.     

剩余有限Minimax可解群的4阶正则自同构

设G是剩余有限minimax可解群,α是G的4阶正则自同构,则下面结果成立:(1)如果映射φ:G→G (g→[g,α])是满射,那么G是中心子群被亚Abel群的扩张.(2)C_G(α~2)和[G,n-1α~2]/[G,nα~2](n∈Z~+)都是Abel群的有限扩张.     

Geometrizing Infinite Dimensional Locally Compact Groups

We study groups having invariant metrics of curvature bounded below in the sense of Alexandrov. Such groups are a generalization of Lie groups with invariant Riemannian metrics, but form a much larger class. We prove that every locally compact, arcwise connected, first countable group has such a metric. These groups may not be (even infinite dimensional) manifolds. We show a number of relationships between the algebraic and geometric structures of groups equipped with such metrics. Many results do not require local compactness.

     

On Influence of Contranormal Subgroups on the Structure of Infinite Groups

Following Rose, a subgroup H of a group G is called contranormal, if G = H ^G . In certain sense, contranormal subgroups are antipodes to subnormal subgroups. It is well known that a finite group is nilpotent if and only if it has no proper contranormal subgroups. However, for the infinite groups this criterion is not valid. There are examples of non-nilpotent infinite groups whose subgroups are subnormal; in paricular, these groups have no contranormal subgroups. Nevertheless, for some classes of infinite groups, the absence of contranormal subgroups implies the nilpotency of the group. The current article is devoted to the search of such classes. Some new criteria of nilpotency in certain classes of infinite groups have been established.