Orientation-reversing free actions on handlebodies

We examine free orientation-reversing group actions on orientable handlebodies, and free actions on nonorientable handlebodies. A classification theorem is obtained, giving the equivalence classes and weak equivalence classes of free actions in terms of algebraic invariants that involve Nielsen equivalence. This is applied to describe the sets of free actions in various cases, including a complete classification for many (and conjecturally all) cases above the minimum genus. For abelian groups, the free actions are classified for all genera.     

On the number of conjugacy classes of zeros of characters and the length of solvable groups

Abstract

We apply an orbit theorem to a few questions about character degrees. We investigate the relation of the number of conjugacy classes where characters vanish and the length of the solvable groups. As another application, we give a bound for the size of defect groups of blocks of solvable groups.

Communicated by J. Zhang     

Rigidity of group actions on solvable Lie groups

We establish analogs of the three Bieberbach theorems for a lattice in a semidirect product where is a connected, simply connected solvable Lie group and is a compact subgroup of its automorphism group. We first prove that the action of on is metrically equivalent to an action of on a supersolvable Lie group. The latter is shown to be determined by itself up to an affine diffeomorphism. Then we characterize these lattices algebraically as polycrystallographic groups. Furthermore, we realize any polycrystallographic group as a lattice in a semidirect product with being a finite group whose order is bounded by a constant only depending on the dimension of . This generalization of the first Bieberbach theorem is used to obtain a partial generalization of the third one as well. Finally we show for any torsion free closed subgroup that the quotient is the total space of a vector bundle over a compact manifold B, where B is the quotient of a solvable Lie group by a torsion free polycrystallographic group. Received: 27 August 1999     

Infra-solvmanifolds and rigidity of subgroups in solvable linear algebraic groups

We give a new proof that compact infra-solvmanifolds with isomorphic fundamental groups are smoothly diffeomorphic. More generally, we prove rigidity results for manifolds which are constructed using affine actions of virtually polycyclic groups on solvable Lie groups. Our results are derived from rigidity properties of subgroups in solvable linear algebraic groups.     

Characterization of Groups with a Layer-Finite Periodic Part

We prove a theorem that characterizes groups with a layer-finite periodic part in the class of the Shunkov groups with solvable finite subgroups.     

Enumeration of algebras close to absolutely free algebras and binary trees

We study three classes of algebras: absolutely free algebras, free commutative non-associative, and free anti-commutative non-associative algebras. We study asymptotics of the growth for free algebras of these classes and for their subvarieties as well. Mainly, we study finitely generated algebras, also the codimension growth for varieties in theses classes is studied. For these purposes we use ordinary generating functions as well as exponential generating functions. The following subvarieties are studied in these classes: solvable, completely solvable, right-nilpotent, and completely right-nilpotent subvarieties. The obtained results are equivalent to an enumeration of binary labeled and unlabeled rooted trees that do not contain some forbidden subtrees. We enumerate these trees using generating functions. For solvable and right-nilpotent algebras the generating functions are algebraic. For completely solvable and completely right-nilpotent algebras the respective functions are rational. It is known that these three varieties of algebras satisfy Schreier's property, i.e., subalgebras of free algebras are free. For free groups, there is Schreier's formula for the rank of a subgroup of a free group. We find analogues of this formula for these varieties. They are written in terms of series. As an application, we study invariants of finite groups acting on absolutely free algebras.     

Normal ergodic actions and extensions

We demonstrate that normal ergodic extensions of group actions are characterized as skew product actions given by cocycles into locally compact groups. As a consequence, Robert Zimmer’s characterization of normal ergodic group actions is generalized to the noninvariant case. We also obtain the uniqueness theorem which generalizes the von Neumann Halmos uniqueness theorem and Zimmer’s uniqueness theorem for normal actions with relative discrete spectrum.     

Conjugacy separability of 1-acylindrical graphs of free groups

We use the theory of group actions on profinite trees to prove that the fundamental group of a finite, 1-acylindrical graph of free groups with finitely generated edge groups is conjugacy separable. This has several applications: we prove that positive, C′(1/6) one-relator groups are conjugacy separable; we provide a conjugacy separable version of the Rips construction; we use this latter to provide an example of two finitely presented, residually finite groups that have isomorphic profinite completions, such that one is conjugacy separable and the other does not even have solvable conjugacy problem.     

The commutator width of some relatively free lie algebras and nilpotent groups

We determine the exact values of the commutator width of absolutely free and free solvable Lie rings of finite rank, as well as free and free solvable Lie algebras of finite rank over an arbitrary field. We calculate the values of the commutator width of free nilpotent and free metabelian nilpotent Lie algebras of rank 2 or of nilpotency class 2 over an arbitrary field. We also find the values of the commutator width for free nilpotent and free metabelian nilpotent Lie algebras of finite rank at least 3 over an arbitrary field in the case that the nilpotency class exceeds the rank at least by 2. In the case of free nilpotent and free metabelian nilpotent Lie rings of arbitrary finite rank, as well as free nilpotent and free metabelian nilpotent Lie algebras of arbitrary finite rank over the field of rationals, we calculate the values of commutator width without any restrictions. It follows in particular that the free or nonabelian free solvable Lie rings of distinct finite ranks, as well as the free or nonabelian free solvable Lie algebras of distinct finite ranks over an arbitrary field are not elementarily equivalent to each other. We also calculate the exact values of the commutator width of free ?-power nilpotent, free nilpotent, free metabelian, and free metabelian nilpotent groups of finite rank.     

Two-variable identities for finite solvable groups

We characterise the solvable groups in the class of finite groups by an inductively defined sequence of two-variable identities. Our main theorem is the analogue of a classical theorem of Zorn which gives a characterisation of the nilpotent groups in the class of finite groups by a sequence of two-variable identities. To cite this article: T. Bandman et al., C. R. Acad. Sci. Paris, Ser. I 337 (2003).     

FREE SOLVABLE P-ALGEBRAS

The construction of a free solvable P-algebra of finite degree k in the variety of all solvable P-algebras of degree at most k (k ≥ 1) has been given. Some properties of the same have been studied. The structure of the free solvable P-algebra has been viewed as a module over a ring with several objects. The Magnus embedding theorem associated with the Fox-derivative in a free group ring has been considered to prove properties associated with the partial (Fox) derivative in a free associative ring. Residual nilpotency and triviality of the center of a free metabelian P-algebra has been proved. Various properties of a homomorphism associated with a free metabelian P-algebra of finite rank have been studied. The non-embedding property of a free solvable P-algebra of degree k of higher rank in a lower rank has also been presented here.     

Generators for amenable group actions

A generalisation of Krieger's finite generator theorem is proved for free actions of countable amenable groups on a non-atomic Lebesgue probability space.     

Regular principal factors in free objects in Rees-Sushkevich varieties

In a previous paper, the author showed how to associate a completely 0-simple semigroup with a connected bipartite graph containing labelled edges. In the main theorem, it is shown how these fundamental semigroups can be used to describe the regular principal factors of the free objects in certain Rees-Sushkevich varieties, namely, the varieties of semigroups that are generated by all completely 0-simple semigroups over groups in a variety of finite exponent. This approach is then used to solve the word problem for each of these varieties for which the corresponding group variety has solvable word problem.     

有限群的特征标的零点和可解φ-群

有两个对偶的问题如下：问题Ⅰ：将满足下述条件的有限群G分类：G的特征标表中，除一行外其余各行最多有一个零．问题Ⅱ：将满足下述条件的有限群G分类：G的特征标表中，除一列外其余各列最多有一个零．在这篇文章中，我们对于有限可解群解答上述两个问题，并确定和这两个问题密切相关的一类有限可解群的结构（这类可解群在本文中称之为可解φ-群）．附带我们还完全回答了[4]中的问题1，并说明[6，定理]的条件可以极大地减弱．     

Occurrence problem for free solvable groups

We study the problem on the existence of an algorithm verifying whether systems of linear equations over a group ring of a free metabelian group are solvable. The occurrence problem for free solvable groups of derived length 3is proved undecidable. We give an example of a group with undecidable word problem which is finitely presented in a variety of solvable groups and is defined by the relations from the last commutator subgroup. Translated fromAlgebra i Logika, Vol. 34, No. 2, pp. 211-232, March-April, 1995.     

On nilpotent ideals in the cohomology ring of a finite group

In this paper we find upper bounds for the nilpotency degree of some ideals in the cohomology ring of a finite group by studying fixed point free actions of the group on suitable spaces. The ideals we study are the kernels of restriction maps to certain collections of proper subgroups. We recover the Quillen-Venkov lemma and the Quillen F-injectivity theorem as corollaries, and discuss some generalizations and further applications.We then consider the essential cohomology conjecture, and show that it is related to group actions on connected graphs. We discuss an obstruction for constructing a fixed point free action of a group on a connected graph with zero “k-invariant” and study the class related to this obstruction. It turns out that this class is a “universal essential class” for the group and controls many questions about the groups essential cohomology and transfers from proper subgroups.     

On the Group of Reduced Identities of Relatively Free Solvable Groups

We prove that the groups of reduced identities of a free solvable group and a free metabelian group of a given nilpotency class are trivial whenever these groups are finitely generated.     

Subgroup properties of fully residually free groups

We prove that fully residually free groups have the Howson property, that is the intersection of any two finitely generated subgroups in such a group is again finitely generated. We also establish some commensurability properties for finitely generated fully residually free groups which are similar to those of free groups. Finally we prove that for a finitely generated fully residually free group the membership problem is solvable with respect to any finitely generated subgroup.

     

Measurable groups of low dimension

We consider low‐dimensional groups and group‐actions that are definable in a supersimple theory of finite rank. We show that any rank 1 unimodular group is (finite‐by‐Abelian)‐by‐finite, and that any 2‐dimensional asymptotic group is soluble‐by‐finite. We obtain a field‐interpretation theorem for certain measurable groups, and give an analysis of minimal normal subgroups and socles in groups definable in a supersimple theory of finite rank where infinity is definable. We prove a primitivity theorem for measurable group actions. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

The locally solvable radical of torsion groups *

The existence of the locally solvable radical in a torsion group is established, and this is identified with an intersection of prime normal subgroups. As a consequence a structure theorem is obtained for torsion groups. Also the properties of the solvable radical in an arbitrary group are investigated in the case where the radical exists.