Maximal Parabolic Subgroups in Classical Groups are of Modality Zero

The principal aim of this paper is to show that every maximal parabolic subgroup P of a classical reductive algebraic group G operates with a finite number of orbits on its unipotent radical. This is a consequence of the fact that each parabolic subgroup of a group of type A _n whose unipotent radical is of nilpotent class at most two has this finiteness property.     

Fuchsian Groups, Quasiconformal Groups, and Conical Limit Sets

We construct examples showing that the normalized Lebesgue measure of the conical limit set of a uniformly quasiconformal group acting discontinuously on the disc may take any value between zero and one. This is in contrast to the cases of Fuchsian groups acting on the disc, conformal groups acting discontinuously on the ball in dimension three or higher, uniformly quasiconformal groups acting discontinuously on the ball in dimension three or higher, and discrete groups of biholomorphic mappings acting on the ball in several complex dimensions. In these cases the normalized Lebesgue measure is either zero or one.

     

On linearity of finitely generated R-analytic groups

In this paper we prove that if R is a commutative Noetherian local pro-p domain of characteristic 0, then every finitely generated R-standard group is linear. This work has been partially supported by the FEDER, the MEC Grant MTM2004-04665 and the Ramón y Cajal Program.     

Effective Indices of Subgroups in Baumslag–Pride Groups with Free Quotients

Given a group with at least two more generators than relations, we give an effective estimate on the minimal index of a subgroup with a nonabelian free quotient. We show that the index is bounded by a polynomial in the length of the relator words. We also provide a lower bound on the index.     

有限群的某些定理

本文给出了有限群的如下结果：１）成为可解群与超可解群的条件；２）推广了Ｉｔｏ定理，３）超可解且内幂零的群结构。     

Random and Deterministic Triangle Generation of Three-Dimensional Classical Groups III

Let p₁, p₂, p₃ be primes. This is the final paper in a series of three on the (p₁, p₂, p₃)-generation of the finite projective special unitary and linear groups PSU ₃(pⁿ), PSL ₃(pⁿ), where we say a noncyclic group is (p₁, p₂, p₃)-generated if it is a homomorphic image of the triangle group T_{p1, p2, p3} . This article is concerned with the case where p₁ = 2 and p₂ ≠ p₃. We determine for any primes p₂ ≠ p₃ the prime powers pⁿ such that PSU ₃(pⁿ) (respectively, PSL ₃(pⁿ)) is a quotient of T = T_{2, p2, p3} . We also derive the limit of the probability that a randomly chosen homomorphism in Hom(T, PSU ₃(pⁿ)) (respectively, Hom(T, PSL ₃(pⁿ))) is surjective as pⁿ tends to infinity.     

On the classification of partition quantum groups

This is a survey on some results obtained recently in the classification of compact quantum groups associated to partitions, with a focus on the non-crossing case. We take a global look at the main results in the subject and highlight some key features of the methods used. We conclude by several suggestions for pushing further the classification.     

On Groups with the Second Largest Value of the Sum of Element Orders

For a finite group G, let ψ(G) denote the sum of element orders of G. It is known that the maximum value of ψ on the set of groups of order n, where n is a positive integer, will occur at the cyclic group ? _n . In this paper, we investigate groups with the second largest value of ψ on the set of groups of the same order.     

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.     

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.     

An infinitely generated intersection of geometrically finite hyperbolic groups

Two discrete, geometrically finite subgroups of the isometries of hyperbolic n-space () are defined whose intersection is infinitely generated. This settles, in dimensions 4 and above, a long-standing question in Kleinian and hyperbolic groups reiterated at a problem session chaired by Bernard Maskit at the AMS meeting 898, March 3-5, 1995, a conference in honor of Bernard Maskit's 60th birthday.

     

Random and Deterministic Triangle Generation of Three-Dimensional Classical Groups II

Let p ₁, p ₂, p ₃ be primes. This is the second article in a series of three on the (p ₁, p ₂, p ₃)-generation of the finite projective special unitary and linear groups PSU₃(p ⁿ ), PSL₃(p ⁿ ), where we say a noncyclic group is (p ₁, p ₂, p ₃)-generated if it is a homomorphic image of the triangle group T _{p 1, p 2, p 3} . This paper is concerned with the case where p ₁ = 2 and p ₂ = p ₃. We determine for any prime p ₂ the prime powers p ⁿ such that PSU₃(p ⁿ ) (respectively, PSL₃(p ⁿ )) is a quotient of T = T _{2, p 2, p 2} . We also derive the limit of the probability that a randomly chosen homomorphism in Hom(T, PSU₃(p ⁿ )) (respectively, Hom(T, PSL₃(p ⁿ ))) is surjective as p ⁿ tends to infinity.     

Idempotent states on Sekine quantum groups

Sekine quantum groups are a family of finite quantum groups. The main result of this article is to compute all the idempotent states on Sekine quantum groups, which completes the work of Franz and Skalski. This is achieved by solving a complicated system of equations using linear algebra and basic number theory. From this, we discover a new class of non-Haar idempotent states. The order structure of the idempotent states on Sekine quantum groups is also discussed. Finally we give a sufficient condition for the convolution powers of states on Sekine quantum group to converge.     

Intransitive Cartesian decompositions preserved by innately transitive permutation groups

A permutation group is innately transitive if it has a transitive minimal normal subgroup, which is referred to as a plinth. We study the class of finite, innately transitive permutation groups that can be embedded into wreath products in product action. This investigation is carried out by observing that such a wreath product preserves a natural Cartesian decomposition of the underlying set. Previously we classified the possible embeddings in the case where the innately transitive group projects onto a transitive subgroup of the top group. In this article we prove that the transitivity assumption we made in the previous paper was not too restrictive. Indeed, the image of the projection into the top group can only be intransitive when the finite simple group that is involved in the plinth comes from a small list. Even then, the innately transitive group can have at most three orbits on an invariant Cartesian decomposition. A consequence of this result is that if is an innately transitive subgroup of a wreath product in product action, then the natural projection of into the top group has at most two orbits.

     

Symmetric presentations of Abelian groups

We characterise the abelianisation of a group that has a presentation for which the set of relations is invariant under the full symmetric group acting on the set of generators. This improves a result of Emerson.

     

A decomposition theorem for G-groups

Some classical results about linear representations of a finite group G have been also proved for representations of G on non-abelian groups （G-groups）. In this paper we establish a decomposition theorem for irreducible G-groups which expresses a suitable irreducible G-group as a tensor product of two projective G-groups in a similar way to the celebrated theorem of Clifford for linear representations. Moreover, we study the non-abelian minimal normal subgroups of G in which this decomposition is possible.     

Improper actions and higher connectivity at infinity

Given an improper action (= cell stabilizers are infinite) of a group G on a CW-complex , we present criteria, based on connectivity at infinity properties of the cell stabilizers under the action of G that imply connectivity at infinity properties for G. A refinement of this idea yields information on the topology at infinity of Artin groups, and it gives significant progress on the question of which Artin groups are duality groups. Received: October 30, 1998     

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 .