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 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 maximal abelian subgroups in finite 2-groups

We determine here up to isomorphism the structure of any finite nonabelian 2-group G in which every two distinct maximal abelian subgroups have cyclic intersection. We obtain five infinite classes of such 2-groups (Theorem 1.1). This solves for p = 2 the problem Nr. 521 stated by Berkovich (in preparation). The more general problem Nr. 258 stated by Berkovich (in preparation) about the structure of finite nonabelian p-groups G such that A ∩ B = Z(G) for every two distinct maximal abelian subgroups A and B is treated in Theorems 3.1 and 3.2. In Corollary 3.3 we get a new result for an arbitrary finite 2-group. As an application of Theorems 3.1 and 3.2, we solve for p = 2 a problem of Heineken-Mann (Problem Nr. 169 stated in Berkovich, in preparation), classifying finite 2-groups G such that A/Z(G) is cyclic for each maximal abelian subgroup A (Theorem 4.1).      

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.     

A Note on Large Characteristic Subgroups

It is known that if a group G has an abelian subgroup of finite index n, then it contains an abelian characteristic subgroup A of index at most nⁿ. The aim of this paper is to improve this bound by showing that the characteristic subgroup A can be chosen of index at most n². Examples prove that this bound is the best possible. Our main result is obtained as an application of a general method for the construction of large characteristic subgroups.     

Unique Node Extremal Subgroups in Chevalley Groups

Abstract

Taking G to be a Chevalley group of rank at least 3 and U to be the unipotent radical of a Borel subgroup B,an extremal subgroup A is an abelian normal subgroup of U which is not contained in the intersection of all the unipotent radicals of the rank 1 parabolic subgroups of G containing B. If there is an unique rank 1 parabolic subgroup P of G containing B with the property that A is not contained in the unipotent radical of P,then A is called a unique node extremal subgroup. In this paper we investigate the embedding of unique node extremal subgroups in U and prove that,apart from some specified cases,such a subgroup is contained in the unipotent radical of a certain maximal parabolic subgroup.     

Centrally large subgroups of finite p-groups

Let S be a finite p-group. We say that an abelian subgroup A of S is a large abelian subgroup of S if |A||A^*| for every abelian subgroup A^* of S. We say that a subgroup Q of S is a centrally large subgroup, or CL-subgroup, of S if |Q||Z(Q)||Q^*||Z(Q^*)| for every subgroup Q^* of S. The study of large abelian subgroups and variations on them began in 1964 with Thompson's second normal p-complement theorem [J.G. Thompson, Normal p-complements for finite groups, J. Algebra 1 (1964) 43–46]. Centrally large subgroups possess some similar properties. In 1989, A. Chermak and A. Delgado [A. Chermak, A. Delgado, A measuring argument for finite groups, Proc. Amer. Math. Soc. 107 (1989) 907–914] studied several families of subgroups that include centrally large subgroups as a special case. In this paper, we extend their work to prove some further properties of centrally large subgroups. The proof uses an analogue for finite p-groups of an application of Borel's Fixed Point Theorem for algebraic groups.     

Finite 2-groups with exactly one nonmetacyclic maximal subgroup

We determine here the structure of the title groups. All such groups G will be given in terms of generators and relations, and many important subgroups of these groups will be described. Let d(G) be the minimal number of generators of G. We have here d(G) ≤ 3 and if d(G) = 3, then G′ is elementary abelian of order at most 4. Suppose d(G) = 2. Then G′ is abelian of rank ≤ 2 and G/G′ is abelian of type (2, 2^m), m ≥ 2. If G′ has no cyclic subgroup of index 2, then m = 2. If G′ is noncyclic and G/Φ(G ₀) has no normal elementary abelian subgroup of order 8, then G′ has a cyclic subgroup of index 2 and m = 2. But the most important result is that for all such groups (with d(G) = 2) we have G = AB, for suitable cyclic subgroups A and B. Conversely, if G = AB is a finite nonmetacyclic 2-group, where A and B are cyclic, then G has exactly one nonmetacyclic maximal subgroup. Hence, in this paper the nonmetacyclic 2-groups which are products of two cyclic subgroups are completely determined. This solves a long-standing problem studied from 1953 to 1956 by B. Huppert, N. Itô and A. Ohara. Note that if G = AB is a finite p-group, p > 2, where A and B are cyclic, then G is necessarily metacyclic (Huppert [4]). Hence, we have solved here problem Nr. 776 from Berkovich [1].     

Finite Groups with Some Subgroups of Prime Power Order S-Quasinormally Embedded

Abstract

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 paper we examine the structure of a finite group G under the assumption that certain abelian subgroups of prime power order are S-quasinormally embedded in G. Our results improve and extend recent results of Ramadan [Ramadan, M. (2001). The influence of S-quasinormality of some subgroups of prime power order on the structure of finite groups. Arch. Math. 77:143–148].     

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.     

Finite groups with trivial Frattini subgroup

All groups considered are finite. A group has a trivial Frattini subgroup if and only if every nontrivial normal subgroup has a proper supplement.The property is normal subgroup closed, but neither subgroup nor quotient closed. It is subgroup closed if and only if the group is elementary, i.e. all Sylow subgroups are elementary abelian. If G is solvable, then G and all its quotients have trivial Frattini subgroup if and only if every normal subgroup of G has a complement. For a nilpotent group, every nontrivial normal subgroup has a supplement if and only if the group is elementary abelian. Consequently, the center of a group in which every normal subgroup has a supplement is an elementary abelian direct factor.     

Co-local subgroups of abelian groups II

In [J. Buckner, M. Dugas, Co-local subgroups of abelian groups, in: Abelian Groups, Rings, Modules, and Homological Algebra, in: Lect. Notes Pure and Applied Math., vol. 249, Taylor and Francis/CRC Press, pp. 25-33] the notion of a co-local subgroup of an abelian group was introduced. A subgroup K of A is called co-local if the natural map is an isomorphism. At the center of attention in [J. Buckner, M. Dugas, Co-local subgroups of abelian groups, in: Abelian Groups, Rings, Modules, and Homological Algebra, in: Lect. Notes Pure and Applied Math., vol. 249, Taylor and Francis/CRC Press, pp. 25-33] were co-local subgroups of torsion-free abelian groups. In the present paper we shift our attention to co-local subgroups K of mixed, non-splitting abelian groups A with torsion subgroup t(A). We will show that any co-local subgroup K is a pure, cotorsion-free subgroup and if D/t(A) is the divisible part of A/t(A)=D/t(A)⊕H/t(A), then K∩D=0, and one may assume that K⊆H. We will construct examples to show that K need not be a co-local subgroup of H. Moreover, we will investigate connections between co-local subgroups of A and A/t(A).     

Finite Groups with Quasinormal Subgroups of Prime Power Order

Let G be a finite group. A subgroup H is quasinormal in G if H permutes with every subgroup of G. We examine the structure of G when certain abelian subgroups of prime power order are quasinormal in G.     

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.     

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.     

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)     

Some Notes on Meet-Irreducible Subgroups of Finite Groups

A proper subgroup A of a finite group G is said to be primitive or meet-irreducible if there is a unique subgroup A₀ ≤ G such that A is a maximal subgroup of A₀. In this case we say that |A₀: A| is the small index of A and denote it by |G: A|₀. In this article, we study the influence of meet-irreducible subgroups and their small indexes on the structure of G. In particular, we prove that a finite group G is supersoluble if and only if |G: A|₀ = |G: B|₀ for any two meet-irreducible subgroups A and B of G with A_G = B_G.     

Solitary Subgroups

We call a subgroup A of a finite group G a solitary subgroup of G if G does not contain another isomorphic copy of A. We call a normal subgroup A of a finite group G a normal solitary subgroup of G if G does not contain another normal isomorphic copy of A. The property of being (normal) solitary can be viewed as a strengthening of the requirement that A is normal in G. We derive various results on the existence of (normal) solitary subgroups.     

The Kernel of the Adjoint Representation of a p-Adic Lie Group Need Not Have an Abelian Open Normal Subgroup

Let G be a p-adic Lie group with Lie algebra 𝔤 and Ad: G → Aut(𝔤) be the adjoint representation. It was claimed in the literature that the kernel K?ker(Ad) always has an abelian open normal subgroup. We show by means of a counterexample that this assertion is false. It can even happen that K = G, but G has no abelian subnormal subgroup except for the trivial group. The arguments are based on auxiliary results on subgroups of free products with central amalgamation.