Arithmetic groups with isomorphic finite quotients

Two finitely generated groups have the same set of finite quotients if and only if their profinite completions are isomorphic. Consider the map which sends (the isomorphism class of) an S-arithmetic group to (the isomorphism class of) its profinite completion. We show that for a wide class of S-arithmetic groups, this map is finite to one, while the fibers are of unbounded size.     

Generators and commutators in finite groups; abstract quotients of compact groups

The first part of the paper establishes results about products of commutators in a d-generator finite group G, for example: if H?G=??g ₁,??,g _r ?? then every element of the subgroup [H,G] is a product of f(r) factors of the form $[h_{1},g_{1}][h_{1}^{\prime},g_{1}^{-1}]\ldots\lbrack h_{r},g_{r}][h_{r}^{\prime },g_{r}^{-1}]$ with $h_{1},h_{1}^{\prime},\ldots,\allowbreak h_{r},h_{r}^{\prime }\in H$ . Under certain conditions on H, a similar conclusion holds with the significantly weaker hypothesis that G=H??g ₁,??,g _r ??, where f(r) is replaced by f ₁(d,r). The results are applied in the second part of the paper to the study of normal subgroups in finitely generated profinite groups, and in more general compact groups. Results include the characterization of (topologically) finitely generated compact groups which have a countably infinite image, and of those which have a virtually dense normal subgroup of infinite index. As a corollary it is deduced that a compact group cannot have a finitely generated infinite abstract quotient.     

Structure of augmentation quotients of finite homocyclic abelian groups

Let G be a finite abelian group and its Sylow p-subgroup a direct product of copies of a cyclic group of order p~r,i.e.,a finite homocyclic abelian group.LetΔ~n (G) denote the n-th power of the augmentation idealΔ(G) of the integral group ring ZG.The paper gives an explicit structure of the consecutive quotient group Q_n(G)=Δ~n(G)/Δ~(n 1)(G) for any natural number n and as a consequence settles a problem of Karpilovsky for this particular class of finite abelian groups.     

On the L p -distortion of finite quotients of amenable groups

We study the L ^p -distortion of finite quotients of amenable groups. In particular, for every ${2\leq p < \infty}$ , we prove that the ? ^p -distortions of the groups ${C_2\wr C_n}$ and ${C_{2^n}\rtimes C_n}$ are in ${\Theta((\log n)^{1/p}),}$ and that the ? ^p -distortion of ${C_n^2 \rtimes_A \mathbf{Z}}$ , where A is the matrix ${{\left({\small\begin{array}{cc}2 & 1 \\ 1 & 1 \end{array}} \right)}}$ is in ${\Theta((\log \log n)^{1/p}).}$      

A1-homotopy groups,excision, and solvable quotients

We study some properties of ${\mathbb{A}}^1$-homotopy groups: geometric interpretations of connectivity, excision results, and a re-interpretation of quotients by free actions of connected solvable groups in terms of covering spaces in the sense of ${\mathbb{A}}^1$-homotopy theory. These concepts and results are well suited to the study of certain quotients via geometric invariant theory. As a case study in the geometry of solvable group quotients, we investigate ${\mathbb{A}}^1$-homotopy groups of smooth toric varieties. We give simple combinatorial conditions (in terms of fans) guaranteeing vanishing of low degree ${\mathbb{A}}^1$-homotopy groups of smooth (proper) toric varieties. Finally, in certain cases, we can actually compute the “next” non-vanishing ${\mathbb{A}}^1$-homotopy group (beyond ${\pi }_1^{{\mathbb{A}}^1}$) of a smooth toric variety. From this point of view, ${\mathbb{A}}^1$-homotopy theory, even with its exquisite sensitivity to algebro-geometric structure, is almost “as tractable” (in low degrees) as ordinary homotopy for large classes of interesting varieties.     

Large groups and their periodic quotients

We first give a short group theoretic proof of the following result of Lackenby. If is a large group, is a finite index subgroup of admitting an epimorphism onto a non-cyclic free group, and are elements of , then the quotient of by the normal subgroup generated by is large for all but finitely many . In the second part of this note we use similar methods to show that for every infinite sequence of primes , there exists an infinite finitely generated periodic group with descending normal series , such that and is either trivial or abelian of exponent .

     

Central quotients of biautomatic groups

The quotient of a biautomatic group by a subgroup of the center is shown to be biautomatic. The main tool used is the Neumann-Shapiro triangulation of S ^n-1, associated to a biautomatic structure on . Among other applications, a question of Gersten and Short is settled by showing that direct factors of biautomatic groups are biautomatic. Received: October 4, 1994     

Cross-sections, quotients, and representation rings of semisimple algebraic groups

Let G be a connected semisimple algebraic group over an algebraically closed field k. In 1965 Steinberg proved that if G is simply connected, then in G there exists a closed irreducible cross-section of the set of closures of regular conjugacy classes. We prove that in arbitrary G such a cross-section exists if and only if the universal covering isogeny t:[^(G)] ? G \tau :\hat{G} \to G is bijective; this answers Grothendieck’s question cited in the epigraph. In particular, for char k = 0, the converse to Steinberg’s theorem holds. The existence of a cross-section in G implies, at least for char k = 0, that the algebra k[G] ^G of class functions on G is generated by rk G elements. We describe, for arbitrary G, a minimal generating set of k[G] ^G and that of the representation ring of G and answer two Grothendieck’s questions on constructing generating sets of k[G] ^G . We prove the existence of a rational (i.e., local) section of the quotient morphism for arbitrary G and the existence of a rational cross-section in G (for char k = 0, this has been proved earlier); this answers the other question cited in the epigraph. We also prove that the existence of a rational section is equivalent to the existence of a rational W-equivariant map T ⇢ G/T where T is a maximal torus of G and W the Weyl group.     

Multicoherence of finite quotients and one-point compactifications

Let X be a connected, locally connected, regular T₁-space. The purpose of this paper is to prove that the multicoherence degree of the space obtained from X by an identification of two different points is the multicoherence degree of X plus one. This will allow us to obtain some ways to calculate the multicoherence degree of the one-point compactification of X when X is locally compact.     

Boundary and lens rigidity of finite quotients

We consider compact Riemannian manifolds with boundary and metric on which a finite group acts freely. We determine the extent to which certain rigidity properties of descend to the quotient . In particular, we show by example that if is boundary rigid, then need not be. On the other hand, lens rigidity of does pass to the quotient.

     

Euclidean quotients of finite metric spaces

This paper is devoted to the study of quotients of finite metric spaces. The basic type of question we ask is: Given a finite metric space M and α?1, what is the largest quotient of (a subset of) M which well embeds into Hilbert space. We obtain asymptotically tight bounds for these questions, and prove that they exhibit phase transitions. We also study the analogous problem for embeddings into ?_p, and the particular case of the hypercube.     

Finite quotients of groups of I-type

To every group of I-type, we associate a finite quotient group that plays the role that Coxeter groups play for Artin–Tits groups. Since groups of I-type are examples of Garside groups, this answers a question of D. Bessis in the particular case of groups of I-type. Groups of I-type are related to finite set-theoretical solutions of the Yang–Baxter equation. So, our result provides a new tool to attack the problem of the classification of finite set-theoretical solutions of the Yang–Baxter equation.     

Finitep-periodic quotients of general linear groups

Mathematische Annalen -     

Rank one quotients of vector groups

ABSTRACT

In this paper we study the possible torsion in even-dimensional higher class groups Cl _2n (Λ)(n ≥ 1) of an order Λ in a semisimple algebra A over a number field F with a ring of integers 𝒪 _F . We show that for certain orders, called generalized Eichler orders, bip-torsion in Cl _2n (Λ) can only occur for primes p dividing prime ideals ? of 𝒪 _F , at which Λ is not maximal. In particular, the results apply to Eichler orders in quaternion algebras and to hereditary orders.