On Infinite Camina Groups

A group G is called a Camina group if G′ ≠ G and each element x ∈ G?G′ satisfies the equation x ^G  = xG′, where x ^G denotes the conjugacy class of x in G. Finite Camina groups were introduced by Alan Camina in 1978, and they had been studied since then by many authors. In this article, we start the study of infinite Camina groups. In particular, we characterize infinite Camina groups with a finite G′ (see Theorem 3.1) and we show that infinite non-abelian finitely generated Camina groups must be nonsolvable (see Theorem 4.3). We also describe locally finite Camina groups, residually finite Camina groups (see Section 3) and some periodic solvable Camina groups (see Section 5).     

Groups with finitely many normalizers of non-abelian subgroups

Abstract A group is called metahamiltonian if all its non-abelian subgroups are normal; it is known that locally soluble metahamiltonian groups have finite commutator subgroup. Here the structure of locally graded groups with finitely many normalizers of (infinite) non-abelian subgroups is investigated, and the above result is extended to this more general situation. Keywords: normalizer subgroup, metahamiltonian group Mathematics Subject Classification (2000): 20F24     

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.     

Powers of commutators

Any element of a finite group that generates the same cyclic subgroup as some commutator, is itself a commutator. The paper presents a completely elementary proof of this fact, whereas previous proofs depend on character theory.     

幂零Hall π-子群的存在性

本文首先将Ｈａｌ定理推广为：设Ｎ为Ｇ的正规子群，若Ｎ为Ｅｎπ群，Ｇ／Ｎ为Ｄπ群，则Ｇ为Ｄπ群．在此基础上得到了群Ｇ为Ｅｎπ群的充要条件为：（１）Ｇ存在正规子群Ｎ，满足Ｎ及Ｇ／Ｎ为Ｅｎπ群；（２）对任意ｐ∈π，任意ｑ∈π ｛ｐ｝及任意ｐ 元素ｘ，ＣＧ（ｘ）含Ｇ的Ｓｙｌｏｗｑ 子群．另外，我们对非Ａｂｌｅ单群的情形也进行了一些讨论．     

Coxeter Groups, 2-Completion, Perimeter Reduction and Subgroup Separability

We show that all groups in a very large class of Coxeter groups are locally quasiconvex and have a uniform membership problem solvable in quadratic time. If a group in the class satisfies a further hypothesis it is subgroup separable and relevant homomorphisms are also calculable in quadratic time. The algorithm also decides if a finitely generated subgroup has finite index.     

A Generalization of <Emphasis Type="Italic">T</Emphasis>-Groups

This paper identifies a certain class of locally supersoluble groups (called soluble hall-T groups) which contains the soluble T-groups as well as the nilpotent groups. The main result states that the product of a normal soluble hall-T subgroup and a subnormal locally supersoluble subgroup is always locally supersoluble.AMS Subject Classification (1991): 20E25, 20F16, 20F19     

APPLICATIONS OF THE THEORY OF CAMINA GROUPS

Thispaperisdividedintofoursections.InSection1,wepresentaconjugacy-classversionofCaminaHypotheses.InSection2,wegivesomebasicfactsaboutaCaminagroupGwiththekernelG',whichwillbeusedinSections3and4.InSections3and4,weapplytheCaminagrouptheorytodiscussingtw...     

The equation x 2 y 2 = g in partially commutative groups

A partially commutative group is a group defined by generators and relations so that all defining relations are of the form: the commutator of two generators is equal to the identity element. We consider an algorithm for checking whether a given group element is a product of two squares. This generalizes a result of Wicks for free groups.     

Groups with finitely many derived subgroups of non-normal subgroups

A group is called metahamiltonian if all its non-abelian subgroups are normal; it is known that locally soluble metahamiltonian groups have finite derived subgroup. This result is generalized here, by proving that every locally graded group with finitely many derived subgroups of non-normal subgroups has finite derived subgroup. Moreover, locally graded groups having only finitely many derived subgroups of infinite non-normal subgroups are completely described. Received: 25 April 2005     

Finite dimensional Nichols algebras over certain p-groups

We investigate pointed Hopf algebras over finite nilpotent groups of odd order, with nilpotency class 2. For such a group G, we show that if its commutator subgroup coincides with its center, then there exists no non-trivial finite-dimensional pointed Hopf algebra with kG as its coradical. We apply these results to non-abelian groups of order p³, p⁴ and p⁵, and list all the pointed Hopf algebras of order p⁶, whose group of grouplikes is non-abelian.     

Strong Reflexivity of Abelian Groups

A reflexive topological group G is called strongly reflexive if each closed subgroup and each Hausdorff quotient of the group G and of its dual group is reflexive. In this paper we establish an adequate concept of strong reflexivity for convergence groups. We prove that complete metrizable nuclear groups and products of countably many locally compact topological groups are BB-strongly reflexive.     

Groups with few conjugacy classes of non-normal subgroups

The structure of groups with finitely many non-normal subgroups is well known. In this paper, groups are investigated with finitely many conjugacy classes of non-normal subgroups with a given property. In particular, it is proved that a locally soluble group with finitely many non-trivial conjugacy classes of non-abelian subgroups has finite commutator subgroup. This result generalizes a theorem by Romalis and Sesekin on groups in which every non-abelian subgroup is normal.      

Induction of Geometric Actions

We prove that, in some situations, an induced action from a normal subgroup preserves a geometric structure. Combined with known geometric rigidity results, this result implies certain rigidity statements concerning the full diffeomorphism group of a manifold. It also provides many examples of actions on Lorentz manifolds. Combining these with a small number of well-known actions, we get the full list of connected, simply connected Lie groups admitting a locally faithful, orbit nonproper action by isometries of a connected Lorentz manifold. We give an example of a connected nilpotent Lie group with no complicated action on a Lorentz manifold. We show that, if a connected Lie group has a normal closed subgroup isomorphic to a (two-dimensional) cylinder, then it admits a locally faithful, orbit nonproper action by isometries of a connected Lorentz manifold.     

Commutator length of symplectomorphisms

Each element $x$ of the commutator subgroup $[G, G]$ of a group $G$ can be represented as a product of commutators. The minimal number of factors in such a product is called the commutator length of $x$. The commutator length of $G$ is defined as the supremum of commutator lengths of elements of $[G, G]$. We show that for certain closed symplectic manifolds $(M,\omega)$, including complex projective spaces and Grassmannians, the universal cover $\widetilde{\hbox{\rm Ham}\, (M,\omega)$ of the group of Hamiltonian symplectomorphisms of $(M,\omega)$ has infinite commutator length. In particular, we present explicit examples of elements in $\widetilde{\hbox{\rm Ham}\, (M,\omega)$ that have arbitrarily large commutator length -- the estimate on their commutator length depends on the multiplicative structure of the quantum cohomology of $(M,\omega)$. By a different method we also show that in the case $c_1 (M) = 0$ the group $\widetilde{\hbox{\rm Ham}\, (M,\omega)$ and the universal cover ${\widetilde{\Symp}}_0\, (M,\omega)$ of the identity component of the group of symplectomorphisms of $(M,\omega)$ have infinite commutator length.     

Two-knot groups with torsion free abelian normal subgroups of rank two

We show that a torsion free abelian normal subgroup of rank two of a two-knot group which is contained in the commutator subgroup must be free abelian, the centralizer of the abelian subgroup is not contained in the commutator subgroup, and neither of the latter two groups is finitely generated. Furthermore, we characterize algebraically the groups of 2-knots which are cyclic branched covers of twist spun torus knots.     

Commutators in linear groups

Conditions are established on a group G which guarantee that the number of commutators required to express an arbitrary element of the commutator subgroup [G, G] of G is less than a fixed natural number N. Applications, when N=2, are made to infinite-dimensional automorphism groups, including infinite-dimensional linear groups.     

Group Theoretic Properties of the Group of Computable Automorphisms of a Countable Dense Linear Order

We compare Aut(Q), the classical automorphism group of a countable dense linear order, with Aut _c (Q), the group of all computable automorphisms of such an order. They have a number of similarities, including the facts that every element of each group is a commutator and each group has exactly three nontrivial normal subgroups. However, the standard proofs of these facts in Aut(Q) do not work for Aut _c (Q). Also, Aut(Q) has three fundamental properties which fail in Aut _c (Q): it is divisible, every element is a commutator of itself with some other element, and two elements are conjugate if and only if they have isomorphic orbital structures.     

Finitely Generated Nilpotent Groups of Infinite Cyclic Commutator Subgroups

The aim of this paper is to determine the structure and to establish the isomorphic invariant of the finitely generated nilpotent group G of infinite cyclic commutator subgroup. Using the structure and invariant of the group which is the central extension of a cyclic group by a free abelian group of finite rank of infinite cyclic center, we provide a decomposition of G as the product of a generalized extraspecial Z-group and its center. By using techniques of lifting isomorphisms of abelian groups and equivalent normal form of the generalized extraspecial Z-groups, we finally obtain the structure and invariants of the group G.     

On a problem from the Kourovka Notebook

In this article, it is proved that if a group G coincides with its commutator subgroup, is generated by a finite set of classes of conjugate elements, and contains a proper minimal normal subgroup A such that the factor group G/A coincides with the normal closure of one element, then G coincides with the normal closure of an element. From this a positive answer to question 5.52 from the Kourovka Notebook for the group with the condition of minimality on normal subgroups follows. We have found a necessary and sufficient condition for a group coinciding with its commutator subgroup and generated by a finite set of classes of conjugate elements not to coincide with the normal closure of any element. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 11, No. 3, pp. 119–125, 2005.