Calculating the mislin genus for a certain family of nilpotent groups

It is known that the Mislin genus of a finitely generated nilpotent group N with finite commutator subgroup admits an abelian group structure. In this paper, we compute explicitly that structure under the following additional assumptions: The torsion subgroup TN is abelian, the epimorphism N→N/TN splits and all automorphisms of TN commute with cinjugation by elements of N. Among the groups satisfying these conditions are all nilpotent split extensions of a finite cyclic group by a finitely free abelian group. We further prove that the function M ? M × N^k­1 k ≥ 2, which is in general a surjective homomorphism from the genus of N onto the genus of N^k , is an isomorphism at least in an imporatnt special case. Applications to the study of non-cancellation phenomena in group theory are given.     

Groups with the weak minimal condition for non-subnormal subgroups

Let G be a group with the property that there are no infinite descending chains of non-subnormal subgroups of G for which all successive indices are infinite. The main results are as follows. If G is locally nilpotent then either G is minimax or G has all subgroups subnormal; if G is a Baer group then all subgroups of G are subnormal. It is also proved that a generalised radical group with this property is soluble-by-finite and either is minimax or has all subgroups subnormal.     

On the 2-Categories of Weak Distributive Laws

ABSTRACT

Let G be a torsion-free group with all subgroups subnormal of defect at most 4. We show that G is nilpotent of class at most 4.     

Pairwise -connected Products of Certain Classes of Finite Groups

Abstract

Subgroups A and B of a finite group are said to be 𝒩-connected if the subgroup generated by elements x and y is a nilpotent group, for every pair of elements x in A and y in B. The behaviour of finite pairwise permutable and 𝒩-connected products are studied with respect to certain classes of groups including those groups where all the subnormal subgroups permute with all the maximal subgroups, the so-called SM-groups, and also the class of soluble groups where all the subnormal subgroups permute with all the Carter subgroups, the so-called C-groups.     

Residually Finite Groups with all Subgroups Subnormal

The following result is established. THEOREM. Let G be a periodic, residually finite group with allsubgroups sub-normal. Then G is nilpotent. The well-known groups of Heineken and Mohamed [1] show thatthe hypothesis of residual finiteness cannot be omitted here,while examples in [5] show that a residually finite group withall subgroups subnormal need not be nilpotent. The proof ofthe Theorem will use the results of Möhres that a groupwith all subgroups subnormal is soluble [3] and that a periodichypercentral group with all subgroups subnormal is nilpotent[4]. Borrowing an idea from [2], the plan is to construct certainsubgroups H and K that intersect trivially, and to show thatthe subnormality of both leads to a contradiction. 1991 MathematicsSubject Classification 20E15.     

Groups with small deviation for non-subnormal subgroups

We introduce the notion of the non-subnormal deviation of a group G. If the deviation is 0 then G satisfies the minimal condition for nonsubnormal subgroups, while if the deviation is at most 1 then G satisfies the so-called weak minimal condition for such subgroups (though the converse does not hold). Here we present some results on groups G that are either soluble or locally nilpotent and that have deviation at most 1. For example, a torsion-free locally nilpotent with deviation at most 1 is nilpotent, while a Baer group with deviation at most 1 has all of its subgroups subnormal.      

On Locally Nilpotent Subgroups of GL 1(D)

In this article we study locally nilpotent subgroups of D*: = GL ₁(D), where D is a division ring. It is proved that every locally nilpotent subnormal subgroup of D* is central. If D is algebraic over its centre then every locally solvable subnormal subgroup of D* is central. Also, in this case, it is shown that every locally nilpotent maximal subgroup of D* can occur as the multiplicative group of some maximal subfield of D.     

The Generalised Pro-Fitting Subgroup of a Profinite Group

The generalised Fitting subgroup of a finite group is the group generated by all subnormal subgroups that are either nilpotent or quasisimple. The importance of this subgroup in finite group theory stems from the fact that it always contains its own centraliser, so that any finite group is an abelian extension of a group of automorphisms of its generalised Fitting subgroup. We define a class of profinite groups which generalises this phenomenon, and explore some consequences for the structure of profinite groups.     

On Influence of Contranormal Subgroups on the Structure of Infinite Groups

Following Rose, a subgroup H of a group G is called contranormal, if G = H ^G . In certain sense, contranormal subgroups are antipodes to subnormal subgroups. It is well known that a finite group is nilpotent if and only if it has no proper contranormal subgroups. However, for the infinite groups this criterion is not valid. There are examples of non-nilpotent infinite groups whose subgroups are subnormal; in paricular, these groups have no contranormal subgroups. Nevertheless, for some classes of infinite groups, the absence of contranormal subgroups implies the nilpotency of the group. The current article is devoted to the search of such classes. Some new criteria of nilpotency in certain classes of infinite groups have been established.     

A Positivstellensatz for forms on the positive orthant

We shall extend the research on power structure of finite p-groups in Mann (J Algebra 42:121–135, 1976) to locally nilpotentp-groups. Firstly, we obtain that a locally nilpotent \(P_i\)-group G with \(|G:\mho _1(G)|< \infty \) is an extension of a divisible abelian group by a finite p-group. Next we get the structure of infinite locally nilpotent p-groups which are not \(P_i\)-groups, but all of whose proper infinite subgroups are \(P_i\)-groups. Finally, we show that locally nilpotent \(P_i\)-groups with all subgroups subnormal are nilpotent.     

On a class of finite solvable groups

A finite solvable group G is called an X-group if the subnormal subgroups of G permute with all the system normalizers of G. It is our purpose here to determine some of the properties of X-groups. Subgroups and quotient groups of X-groups are X-groups. Let M and N be normal subgroups of a group G of relatively prime order. If G/M and G/N are X-groups, then G is also an X-group. Let the nilpotent residual L of G be abelian. Then G is an X-group if and only if G acts by conjugation on L as a group of power automorphisms.     

Finite groups with hall subnormally embedded Schmidt subgroups

Abstract

A subgroup H of a finite group G is said to be Hall subnormally embedded in G if there is a subnormal subgroup N of G such that H is a Hall subgroup of N. A Schmidt group is a finite non-nilpotent group whose all proper subgroups are nilpotent. We prove the nilpotency of the second derived subgroup of a finite group in which each Schmidt subgroup is Hall subnormally embedded.     

Finite groups with Hall subnormally embedded Schmidt subgroups

Abstract

A subgroup H of a finite group G is said to be Hall subnormally embedded in G if there is a subnormal subgroup N of G such that H is a Hall subgroup of N. A Schmidt group is a finite non-nilpotent group whose all proper subgroups are nilpotent. We prove the nilpotency of the second derived subgroup of a finite group in which each Schmidt subgroup is Hall subnormally embedded.     

On the supersoluble residual of a product of subnormal supersoluble subgroups

We give a sufficient condition for supersolubility of a finite group that is a product of two subnormal supersoluble subgroups. We prove that the supersoluble residual of such a group is equal to its nilpotent residual. Also we apply these results to finite groups that are a product of two subnormal p-supersoluble subgroups.     

Soluble (HN)2-groups

In this paper we investigate the class of finite soluble groups in which every subnormal subgroup has normal normalizer. In particular we prove that they areUN ₂U, whereU andN ₂denote finite abelian groups and of finite nilpotent groups of class at most 2 respectively.     

The Diffie-Hellman key exchange protocol and non-abelian nilpotent groups

In this paper we study a key exchange protocol similar to the Diffie-Hellman key exchange protocol, using abelian subgroups of the automorphism group of a non-abelian nilpotent group. We also generalize group no. 92 of the Hall-Senior table [16] to an arbitrary prime p and show that, for those groups, the group of central automorphisms is commutative. We use these for the key exchange we are studying.     

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.     

On trifactorized soluble groups of finite rank

Let the soluble-by-finite group G=AB=AC=BC be the product of two nilpotent subgroups A and B and a subgroup C. It is shown that, if G has finite abelian section rank and C is hypercentral (hypercyclic), then G is hypercentral (hypercyclic). Moreover, if G is an L ₁-group and C is nilpotent, then G is nilpotent.Dedicated to Professor Guido Zappa on the occasion of his 75th birthday