Abelian Subgroups of Garside Groups

In this article, we show that for every abelian subgroup H of a Garside group, some conjugate g ^?1 Hg consists of ultra summit elements and the centralizer of H is a finite index subgroup of the normalizer of H. Combining with the results on translation numbers in Garside groups, we obtain an easy proof of the algebraic flat torus theorem for Garside groups and solve several algorithmic problems concerning abelian subgroups of Garside groups.     

The structure of abelian pro-Lie groups

A pro-Lie group is a projective limit of a projective system of finite dimensional Lie groups. A prodiscrete group is a complete abelian topological group in which the open normal subgroups form a basis of the filter of identity neighborhoods. It is shown here that an abelian pro-Lie group is a product of (in general infinitely many) copies of the additive topological group of reals and of an abelian pro-Lie group of a special type; this last factor has a compact connected component, and a characteristic closed subgroup which is a union of all compact subgroups; the factor group modulo this subgroup is pro-discrete and free of nonsingleton compact subgroups. Accordingly, a connected abelian pro-Lie group is a product of a family of copies of the reals and a compact connected abelian group. A topological group is called compactly generated if it is algebraically generated by a compact subset, and a group is called almost connected if the factor group modulo its identity component is compact. It is further shown that a compactly generated abelian pro-Lie group has a characteristic almost connected locally compact subgroup which is a product of a finite number of copies of the reals and a compact abelian group such that the factor group modulo this characteristic subgroup is a compactly generated prodiscrete group without nontrivial compact subgroups.Mathematics Subject Classification (1991): 22B, 22E     

Uniform Boundedness of Torsion Subgroups of Linear Groups

The torsion conjecture says： for any abelian variety A defined over a number field k, the order of the torsion subgroup of A（k） is bounded by a constant C（k,d） which depends only on the number field k and the dimension d of the abelian variety. The torsion conjecture remains open in general. However, in this paper, a short argument shows that the conjecture is true for more general fields if we consider linear groups instead of abelian varieties. If G is a connected linear algebraic group defined over a field k which is finitely generated over Q,Г is a torsion subgroup of G（k）. Then the order of Г is bounded by a constant C＇（k, d） which depends only on k and the dimension d of G.     

A Note on a Class of Factorized <Emphasis Type="Italic">p</Emphasis>-Groups

In this note we study finite p-groups G = AB admitting a factorization by an Abelian subgroup A and a subgroup B. As a consequence of our results we prove that if B contains an Abelian subgroup of index p ⁿ⁻¹ then G has derived length at most 2n.     

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.     

Identities of the soluble product of abelian groups

We consider the product G of abelian groups in the variety \mathfrakAⁿ \mathfrak{A}^n of soluble groups of length at most n. Provided that the abelian factors are decomposable into direct products of cyclic groups, we find necessary and sufficient conditions for G to generate the variety \mathfrakAⁿ \mathfrak{A}^n .     

On the product of two Chernikov subgroups

It is shown that if a group G = AB is the product of two subgroups A and B, each of which has an abelian subgroup of index at most 2 satisfying the minimum condition and such that one of the subgroups A or B is of dihedral type, then G is abelian-by-finite with minimum condition.     

On the order of the unitary subgroup of a modular group algebra

Let KG be a group algebra of a finite p-group G over a finite field Kof characteristic p. We compute the order of the unitary subgroup of the group of units when G is either an extraspecial 2-group or the central product of such a group with a cyclic group of order 4 or G has an abelian subgroup A of index 2 and an element b such that b inverts each element of A.     

The Subgroups of Direct Products of Surface Groups

A subgroup of a product of n surface groups is of type FP _n if and only if it contains a subgroup of finite index that is itself a product of (at most n) surface groups.     

Amenability and weak amenability of the Fourier algebra

Let G be a locally compact group. We show that its Fourier algebra A(G) is amenable if and only if G has an abelian subgroup of finite index, and that its Fourier–Stieltjes algebra B(G) is amenable if and only if G has a compact, abelian subgroup of finite index. We then show that A(G) is weakly amenable if the component of the identity of G is abelian, and we prove some partial results towards the converse.Research supported by NSERC under grant no. 90749-00.Research supported by NSERC under grant no. 227043-00.     

Higher generation subgroup sets and the $ \Sigma $-invariants of graph groups

We present a general condition, based on the idea of n-generating subgroup sets, which implies that a given character represents a point in the homotopical or homological -invariants of the group G. Let be a finite simplicial graph, the flag complex induced by , and the graph group, or 'right angled Artin group', defined by . We use our result on n-generating subgroup sets to describe the homotopical and homological -invariants of in terms of the topology of subcomplexes of . In particular, this work determines the finiteness properties of kernels of maps from graph groups to abelian groups. This is the first complete computation of the -invariants for a family of groups whose higher invariants are not determined - either implicitly or explicitly - by ¹. Received: October 18, 1996     

A-Solvability and Mixed Abelian Groups

An abelian group A is an S-group (S ⁺-group) if every subgroup B ≤ A of finite index is A-generated (A-solvable). This article discusses some of the differences between torsion-free S-groups and mixed S-groups, and studies (mixed) S- and S ⁺-groups, which are self-small and have finite torsion-free rank.     

On finite groups with generalized σ-subnormal Schmidt subgroups

Let G be a finite group and σ?=?{σ_i|i∈I} some partition of the set of all primes. A subgroup A of G is said to be generalized σ-subnormal in G if A?=??L,T?, where L is a modular subgroup and T is a σ-subnormal subgroup of G. In this paper, we prove that if every Schmidt subgroup of G is generalized σ-subnormal in G, then the commutator subgroup G^′ of G is σ-nilpotent.     

Abelian groups with a vanishing homology group

An abelian group A is called absolutely abelian, if in every central extension N ? G ? A the group G is also abelian. The abelian group A is absolutely abelian precisely when the Schur multiplicator H₂A vanished. These groups, and more generally groups with H_nA = 0 for some n, are characterized by elementary internal properties. (Here H₁A denotes the integral homology of A.) The cases of even n and odd n behave strikingly different. There are 2^?ο different isomorphism types of abelian groups A with reduced torsion subgroup satisfying H_2nA = 0. The major tools are direct limit arguments and the Lyndon-Hochschild-Serre (L-H-S) spectral sequence, but the treatment of absolutely abelian groups does not use spectral sequences. All differentials d^r for r ≥ 2 in the L-H-S spectral sequence of a pure abelian extension vanish. Included is a proof of the folklore theorem, that homology of groups commutes with direct limits also in the group variable, and a discussion of the L-H-S spectral sequence for direct limits.     

Quasi-Purifiable Subgroups and Minimal Direct Summands

Let G be an arbitrary Abelian group. A subgroup A of G is said to be quasi-purifiable in G if there exists a pure subgroup H of G containing A such that A is almost-dense in H and H/A is torsion. Such a subgroup H is called a “quasi-pure hull” of A in G. We prove that if G is an Abelian group whose maximal torsion subgroup is torsion-complete, then all subgroups A are quasi-purifiable in G and all maximal quasi-pure hulls of A are isomorphic. Every subgroup A of a torsion-complete p-primary group G is contained in a minimal direct summand of G that is a minimal pure torsion-complete subgroup containing A. An Abelian group G is said to be an “ADE decomposable group” if there exist an ADE subgroup K of G and a subgroup T′ of T(G) such that G = K⊕ T′. An Abelian group whose maximal torsion subgroup is torsion-complete is ADE decomposable. Hence direct products of cyclic groups are ADE decomposable groups.     

Isomorphism and elementary equivalence of multilinear maps

In [14], we proved that two finitely generated finite-by-nilpotent groups G,H are elementarily equivalent if and only if Z×G and Z×H are isomorphic. In the present paper, we obtain similar characterizations of elementary equivalence for the following classes of structures:

1. the (n+2)-tuples (A ₁…,A _n+1,f),where n≥2 is an integerA ₁…,A _n+1 are disjoint finitely generated abelian groups and f A ₁×…×A _n →A _n+1: is a n-linear map;

2. the triples (A,B f), where n≥2 is an integerA,B are disjoint finitely generated abelian groups and f : A ⁿ →B is a n-linear map;

3. the couples (A,f), where n≥2 is an integerA is a finitely generated abelian group and f:A ⁿ →A is a n-linear map.

For each class, we show that elementary equivalence does not imply isomorphism. In particular, we give an example of two nonisomorphic finitely generated torsion-free Lie rings which are elementarily equivalent.     

Finite Groups Whose Generalized Hypercenter Contains Some Subgroups of Prime Power Order

A subgroup of a group G is said to be S-quasinormal in G if it permutes with every Sylow subgroup of G. A subgroup H of a group G is said to be S-quasinormally embedded in G if every Sylow subgroup of H is a Sylow subgroup of some S-quasinormal subgroup of G. In this article, we investigate the structure of the finite group G under the assumption that certain abelian subgroups of prime power order are S-quasinormally embedded in G and lie in the generlized hypercenter of G.     

On Groups in Which Normality Is a Transitive Relation

A subgroup H of a group G is said to be weakly normal if H ^g  = H whenever g is an element of G such that H ^g  ≤ N _G (H). There is a strictly relation between weak normality and groups in which normality is a transitive relation ( T-groups). In [Ballester-Bolinches, A., Esteban-Romero, R. (2003). On finite T-groups. J. Aust. Math. Soc. 75:181–191] it is proved that a finite group G is a soluble T-group if and only if every subgroup of G is weakly normal. In this article, we extend the above result to infinite groups having no infinite simple sections. Moreover, it will be shown that every locally graded non-periodic group, all of whose subgroups are weakly normal, is abelian.     

剩余有限minimax 可解群的几乎正则自同构

设G 是一个剩余有限的minimax 可解群, α 是G 的几乎正则自同构, 则G/[G, α] 是有限群, 并且(1) 当α^p = 1 时, G 有一个指数有限的幂零群其幂零类不超过h(p), 其中h(p) 是只与素数p 有关的函数.(2) 当α² = 1 时, G 有一个指数有限的Abel 特征子群且[G, α]′ 是有限群.关键词剩余有限minimax 可解群几乎正则自同构