Intermediately fully invariant subgroups of abelian groups

Describing intermediately fully invariant subgroups of divisible and torsion groups, we show that the intermediately fully invariant subgroups are direct summands in a completely decomposable group whose every homogeneous component is decomposable. For torsion groups, we find out when all their fully invariant subgroups are intermediately fully invariant; and for torsion-free groups, this question comes down to the reduced case. Also, in a torsion group that is the sum of cyclic subgroups, its subgroup is shown to be intermediately inert if and only if it is commensurable with some intermediately fully invariant subgroup.     

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.     

STACKED BASES FOR HOMOGENEOUS COMPLETELY DECOMPOSABLE GROUPS

Generalizing a theorem by P. Hill and C. Megibben, fixing a rational group R, we characterize by numerical invariants R-presentations of a group G, namely, short exact sequences of the form 0 → A → X → G → 0, where A and X are homogeneous completely decomposable groups of the same type R. This characterization sets afloat the class of the “uniquely R-presented groups”. This class is investigated in connection with the extension to arbitrary groups of the Warfield equivalence between categories of torsionfree abelian groups induced by the functors Hom(R, –) and R ? ?. As an application, the stacked bases theorem proved by J. Cohen and H. Gluck in 1970 is extended to arbitrary pairs of homogeneous completely decomposable abelian groups of the same type.

     

Multiplizitäten “unendlich-ferner” Spitzen

LetX be the quotient of a bounded symmetric domainD by an arithmetically defined subgroup of all analytic automorphisms ofD and letX ^* be theSatake-compactification ofX. In the present note, the multiplicities of the local rings of the zero-dimensional boundary components ofX ^* will be computed in a completely elementary manner using reduction-theory in selfadjoint homogeneous cones.     

<Emphasis Type="Italic">G</Emphasis>-covering subgroup systems for the classes of supersoluble and nilpotent groups

LetF be a class of groups andG a group. We call a set Σ of subgroups ofG aG-covering subgroup system for the classF (or directly aF-covering subgroup system ofG) ifG ∈F whenever every subgroup in Σ is inF. In this paper, we provide some nontrivial sets of subgroups of a finite groupG which are simultaneouslyG-covering subgroup systems for the classes of supersoluble and nilpotent groups. Research of the first author is supported by the NNSF of China (Grant No. 10171086) and QLGCF of Jiangsu Province and a Croucher Fellowship of Hong Kong. Research of the second author is partially supported by a UGC (HK) grant #2060176 (2001/2002).     

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.     

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.     

The influence of <Emphasis Type="Italic">X</Emphasis>-semipermutability of subgroups on the structure of finite groups

Let A be a subgroup of a group G and X be a nonempty subset of G. A is said to be X-semipermutable in G if A has a supplement T in G such that A is X-permutable with every subgroup of T. In this paper, we investigate further the influence of X-semipermutability of some subgroups on the structure of finite groups. Some new criteria for a group G to be supersoluble or p-nilpotent are obtained. This work was supported by National Natural Science Foundation of China (Grant Nos. 10771172, 10771180)     

Amenable subgroups of semi-simple groups and proximal flows

We present a classification of maximal amenable subgroups of a semi-simple groupG. The result is that modulo a technical connectivity condition, there are precisely 2′ conjugacy classes of such subgroups ofG and we shall describe them explicitly. Herel is the split rank of the groupG. These groups are the isotropy groups of the action ofG on the Satake-Furstenberg compactification of the associated symmetric space and our results give necessary and sufficient conditions for a subgroup to have a fixed point in this compactification. We also study the action ofG on the set of all measures on its maximal boundary. One consequence of this is a proof that the algebraic hull of an amenable subgroup of a linear group is amenable. Supported in part by NSF Grant No. MPS-74-19876.     

Groups with Polycyclic Non-Normal Subgroups

The structure of groups in which many subgroups have a certain property X has been investigated for several choices of the property X. Groups whose non-normal subgroups satisfy certain finite rank conditions are studied in this article. In particular, a classification of groups in which every subgroup is either normal or polycyclic is given.(Dedicated to Mario Curzio on the occasion of his 70th birthday)1991 Mathematics Subject Classification: 20F16     

Functional equations of spherical functions on p-adic homogeneous spaces

LetG be a connected reductive linear algebraic group andX aG-homogeneous affine algebraic variety both defined over a p-adic field k, where we assume a minimalk-parabolic subgroup ofG acts with open orbit. We are interested in spherical functions onX =X(k). In the present papaer, we give a unified method to obtain functional equations of spherical functions on X under the condition (AF) in the introduction, and explain functional equations are reduced to those ofp-adic local zeta functions of small prehomogeneous vector spaces of limited type.     

Quasinormalität in topologischen Gruppen

LetQ be a subgroup of the locally compact groupG. Q is called a topologically quasinormal subgroup ofG, ifQ is closed and for each closed subgroupA ofG. We prove: If the compact elements ofG form a proper subgroup, compact topologically quasinormal subgroups ofG are subnormal of defect 2. IfG is connected, compact topologically quasinormal subgroups ofG are normal. IfG/G ₀ is compact, connected topologically quasinormal subgroups ofG are normal.     

The groups of the semigroup of compact subsets of a topological group

The compact subsets of a topological groupG form a semigroup,S(G), when multiplication is defined by set product. This semigroup is a topological semigroup when given the Vietoris topology. It would be expected that the subgroups ofS(G) should in some way be related to the groupG. This is the case. It is shown that the subgroups ofS(G) are both algebraically and topologically exactly the groups obtained as quotients of certain subgroups ofG. One consequence of this is that every subgroup ofS(G) is a topological group. Conditions are also given for these subgroups to be open or closed. Green's relations inS(G) have a particularly nice formulation. As a result, the relationsD andJ are equal inS(G). Moreover, the Schützenberger group of aD-class is a topological group that is topologically isomorphic to a quotient of certain subgroups ofG.     

Groups with All Subgroups Pronormal-by-Finite

A subgroup X of a group G is called pronormal-by-finite if there exists a pronormal subgroup Y of G such that Y ≤ X and |X : Y| is finite. The structure of (generalized) soluble groups in which all subgroups are pronormal-by-finite is investigated. Among other results, it is proved in particular that a finitely generated soluble group with such property is central-by-finite, provided that it has no infinite dihedral sections.     

On definability of completely decomposable torsion-free Abelian groups by certain groups of homomorphisms

Let C be an Abelian group. An Abelian group A from a class X of Abelian groups is said to be _C H-definable in X if, for any group B ∈ X, the isomorphism Hom(C,A) ≅ Hom(C,B) implies that A ≅ B. If every group from X is _C H-definable in X, then X is called an _C H-class. In this paper, we study conditions under which a class of completely decomposable torsion-free Abelian groups is an _C H-class, where C is a vector group.     

Strong Decomposition of Random Variables

A random variable X is called strongly decomposable into (strong) components Y,Z, if X=Y+Z where Y=φ(X), Z=X−φ(X) are independent nondegenerate random variables and φ is a Borel function. Examples of decomposable and indecomposable random variables are given. It is proved that at least one of the strong components Y and Z of any random variable X is singular. A necessary and sufficient condition is given for a discrete random variable X to be strongly decomposable. Phenomena arising when φ is not Borel are discussed. The Fisher information (on a location parameter) in a strongly decomposable X is necessarily infinite.     

On p-nilpotency of finite groups with some subgroups π-quasinormally embedded

Summary A subgroup H of a group G is said to be π-quasinormal in G if it permutes with every Sylow subgroup of G, and H is said to be π-quasinormally embedded in G if for each prime dividing the order of H, a Sylow p-subgroup of H is also a Sylow p-subgroup of some π-quasinormal subgroups of G. We characterize p-nilpotentcy of finite groups with the assumption that some maximal subgroups, 2-maximal subgroups, minimal subgroups and 2-minimal subgroups are π-quasinormally embedded, respectively.     

Splitting off tori and the evaluation subgroup of the fundamental group

Given a spaceX what is the largest torusT ⁿ such thatX is homotopy equivalent toY×T ⁿ We find the answer depends on a simple property of the evaluation subgroup of the fundamental group,G ₁(X). As corollaries we have the Splitting theorem of Conner and Raymond and the fact that the dimension ofX must be greater than the rank ofG ₁(X).     

Groups with finitely many derived subgroups of non-normal subgroups

A group is called metahamiltonian if all its non-abelian subgroups are normal; it is known that locally soluble metahamiltonian groups have finite derived subgroup. This result is generalized here, by proving that every locally graded group with finitely many derived subgroups of non-normal subgroups has finite derived subgroup. Moreover, locally graded groups having only finitely many derived subgroups of infinite non-normal subgroups are completely described. Received: 25 April 2005