Torsion Abelian afi-Groups

This paper is devoted to the study of Abelian afi-groups. A subgroup A of an Abelian group G is called its absolute ideal if A is an ideal of any ring on G. We will call an Abelian group an afi-group if all of its absolute ideals are fully invariant subgroups. In this paper, we will describe afi-groups in the class of fully transitive torsion groups (in particular, separable torsion groups) and divisible torsion groups.     

Tight subgroups in torsion-free Abelian groups

LetX be a torsion-free abelian group. We study the class of all completely decomposable subgroups ofX which are maximal with respect to inclusion. These groups are called tight subgroups ofX and we state sufficient conditions on a subgroup to be tight. In particular we consider tight subgroups of bounded completely decomposable groups. For those we show that every regulating subgroup is tight and we characterize the tight subgroups of finite index in almost completely decomposable groups. The second author was supported by a MINERVA fellowship.     

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.     

Splitting Mixed Groups of Finite Torsion-Free Rank

Abstract

First, we give a necessary and sufficient condition for torsion-free finite rank subgroups of arbitrary abelian groups to be purifiable. An abelian group G is said to be a strongly ADE decomposable group if there exists a purifiable T(G)-high subgroup of G. We use a previous result to characterize ADE decomposable groups of finite torsion-free rank. Finally, in an extreme case of strongly ADE decomposable groups, we give a necessary and sufficient condition for abelian groups of finite torsion-free rank to be splitting.     

On fully inert subgroups of completely decomposable groups

Mathematical Notes - The completely decomposable torsion-free Abelian groups with finitely many homogeneous components for which every fully inert subgroup is commensurable with a fully invariant...     

Thick metric spaces,relative hyperbolicity,and quasi-isometric rigidity

We study the geometry of non-relatively hyperbolic groups. Generalizing a result of Schwartz, any quasi-isometric image of a non-relatively hyperbolic space in a relatively hyperbolic space is contained in a bounded neighborhood of a single peripheral subgroup. This implies that a group being relatively hyperbolic with non-relatively hyperbolic peripheral subgroups is a quasi-isometry invariant. As an application, Artin groups are relatively hyperbolic if and only if freely decomposable. We also introduce a new quasi-isometry invariant of metric spaces called metrically thick, which is sufficient for a metric space to be non-hyperbolic relative to any non-trivial collection of subsets. Thick finitely generated groups include: mapping class groups of most surfaces; outer automorphism groups of most free groups; certain Artin groups; and others. Non-uniform lattices in higher rank semisimple Lie groups are thick and hence non-relatively hyperbolic, in contrast with rank one which provided the motivating examples of relatively hyperbolic groups. Mapping class groups are the first examples of non-relatively hyperbolic groups having cut points in any asymptotic cone, resolving several questions of Drutu and Sapir about the structure of relatively hyperbolic groups. Outside of group theory, Teichmüller spaces for surfaces of sufficiently large complexity are thick with respect to the Weil–Peterson metric, in contrast with Brock–Farb’s hyperbolicity result in low complexity.     

Abelian groups with normal endomorphism rings

A ring is said to be normal if all of its idempotents are central. It is proved that a mixed group A with a normal endomorphism ring contains a pure fully invariant subgroup G ⊕ B, the endomorphism ring of a group G is commutative, and a subgroup B is not always distinguished by a direct summand in A. We describe separable, coperiodic, and other groups with normal endomorphism rings. Also we consider Abelian groups in which the square of the Lie bracket of any two endomorphisms is the zero endomorphism. It is proved that every central invariant subgroup of a group is fully invariant iff the endomorphism ring of the group is commutative.     

Absolute Nil-Ideals of Abelian Groups

It is known that in an Abelian group G that contains no nonzero divisible torsion-free subgroups the intersection of upper nil-radicals of all the rings on G is $\bigcap\limits_{p} pT(G)$ , where T(G) is the torsion part of G. In this work, we define a pure fully invariant subgroup G*???T(G) of an arbitrary Abelian mixed group G and prove that if G contains no nonzero torsion-free subgroups, then the subgroup $\bigcap\limits_{p} pG^{*}$ is a nil-ideal in any ring on G, and the first Ulm subgroup G1 is its nilpotent ideal.     

Rank-1 quotient divisible groups

An Abelian group is called quotient divisible if it does not contain nonzero torsion divisible subgroups but does contain a free finite-rank subgroup such that the quotient group by it is divisible. In this paper, we will describe rank-1 quotient divisible groups with the help of cocharacteristics, and we will describe the endomorphisms of these groups as well. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 13, No. 3, pp. 25–33, 2007.     

Coherence, local quasiconvexity, and the perimeter of 2-complexes

A group is coherent if all its finitely generated subgroups are finitely presented. In this article we provide a criterion for positively determining the coherence of a group. This criterion is based upon the notion of the perimeter of a map between two finite 2-complexes which is introduced here. In the groups to which this theory applies, a presentation for a finitely generated subgroup can be computed in quadratic time relative to the sum of the lengths of the generators. For many of these groups we can show in addition that they are locally quasiconvex. As an application of these results we prove that one-relator groups with sufficient torsion are coherent and locally quasiconvex and we give an alternative proof of the coherence and local quasiconvexity of certain 3-manifold groups. The main application is to establish the coherence and local quasiconvexity of many small cancellation groups. Received: March 2004 Accepted: August 2004     

Locally minimal topological groups 2

We continue in this paper the study of locally minimal groups started in Außenhofer et al. (2010) [4]. The minimality criterion for dense subgroups of compact groups is extended to local minimality. Using this criterion we characterize the compact abelian groups containing dense countable locally minimal subgroups, as well as those containing dense locally minimal subgroups of countable free-rank. We also characterize the compact abelian groups whose torsion part is dense and locally minimal. We call a topological group G almost minimal if it has a closed, minimal normal subgroup N such that the quotient group G/N is uniformly free from small subgroups. The class of almost minimal groups includes all locally compact groups, and is contained in the class of locally minimal groups. On the other hand, we provide examples of countable precompact metrizable locally minimal groups which are not almost minimal. Some other significant properties of this new class are obtained.     

An action of subgroups of mapping class groups on polynomial algebras

We study a certain subgroup of the mapping class group of a surface with boundary by obtaining an action of this subgroup on a polynomial algebra. This action comes from a lift of the action of the subgroup on a trace algebra, Magnus having done a similar thing for the braid groups. We then investigate the invariant theory for this action and various representations that this action affords. In particular, we obtain finite permutation representations and infinite linear representations of these subgroups that are non-trivial on subgroups of the Torelli group.     

有限群的最大子群的性质对群结构的影响

有限群G的一个子群称为在G中是π-拟正规的若它与G的每一个Sylow-子群是交换的.G的一个子群H称为在G中是c-可补的若存在G的子群N使得G=HN且H∩N≤HG=CoreG(H).本文证明了:设F是一个包含超可解群系u的饱和群系,G有一个正规子群H使得G/H∈F.则G∈F若下列之一成立:(1)H的每个Sylow子群的所有极大子群在G中或者是π-拟正规的或者是c-可补的;(2)F*(H)的每个Sylow子群的所有极大子群在G中或者是π-拟正规的或者是c-可补的,其中F*(H)是H的广义Fitting子群.此结论统一了一些最近的结果.     

Torsion Free Commutator Subgroups of Generalized Coxeter Groups

In this note we consider generalized Coxeter groups and we study the problem of when their commutator subgroup is torsion free. As a consequence we describe all (i) Coxeter groups, (ii) triangle groups and (iii) index two orientation preserving subgroups of the finite co-volume hyperbolic Coxeter tetrahedra, for which the commutator subgroup is torsion free.     

On the socles of characteristic subgroups of Abelian p-groups

Fully invariant subgroups of an Abelian p-group have been the object of a good deal of study, while characteristic subgroups have received somewhat less attention. Recently the socles of fully invariant subgroups have been studied and this led to the notion of a socle-regular group. The present work replaces the fully invariant subgroups with characteristic ones and leads in a natural way to the notion of a strongly socle-regular group. A surprising relationship, mirroring that between transitive and fully transitive groups, is obtained.     

Finite groups with seminormal Schmidt subgroups

A non-nilpotent finite group whose proper subgroups are all nilpotent is called a Schmidt group. A subgroup A is said to be seminormal in a group G if there exists a subgroup B such that G = AB and AB₁ is a proper subgroup of G, for every proper subgroup B₁ of B. Groups that contain seminormal Schmidt subgroups of even order are considered. In particular, we prove that a finite group is solvable if all Schmidt {2, 3}-subgroups and all 5-closed {2, 5}-Schmidt subgroups of the group are seminormal; the classification of finite groups is not used in so doing. Examples of groups are furnished which show that no one of the requirements imposed on the groups is unnecessary. Supported by BelFBR grant Nos. F05-341 and F06MS-017. __________ Translated from Algebra i Logika, Vol. 46, No. 4, pp. 448–458, July–August, 2007.     

On Torsion-Free Minimal Abelian Groups

ABSTRACT

An abelian group is said to be minimal if it is isomorphic to all its subgroups of finite index. In this article we show that torsion-free groups which are complete in their ?-adic topology or are of p-rank not greater than 1, for all primes p, are minimal. A criterion is found for the minimality of all finite rank and for large classes of infinite rank completely decomposable groups. Separable minimal groups are also considered.     

The duals of almost completely decomposable groups

In this paper, we classify the direct products of one-dimensional compact connected abelian groups by cardinal invariants dualizing Baer’s classification theorem of completely decomposable groups. Almost completely decomposable groups are finite rank torsion-free abelian groups which contain a completely decomposable group of finite index. An isomorphism theorem for their Pontrjagin dual groups is given by using the dual concept of a regulating subgroup.     

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.