On s-Permutable Subgroups and p-Nilpotency of Finite Groups

A subgroup H of a finite group G is said to be s-permutable in G if H permutes with every Sylow subgroup of G. In this article, some sufficient conditions for a finite group G to be p-nilpotent are given whenever all subgroups with order p ^m of a Sylow p-subgroup of G are s-permutable for a given positive integer m.     

Finite p-Groups All of Whose Minimal Nonnormal Subgroups Posses Large Normal Closures

We obtained some results about finite p-groups G with G/H^G being abelian for all nonnormal subgroups H, where H^G denotes the normal closure of H. Moreover, we give a classification of finite p-groups G with G/H^G being cyclic for all nonnormal subgroups H.     

On <Emphasis Type="Italic">p</Emphasis>-nilpotency and minimal subgroups of finite groups

We call a subgroup H of a finite group G c-supplemented in G if there exists a subgroup K of G such that G = HK and H ∩ K ⩽ core(H). In this paper it is proved that a finite group G is p-nilpotent if G is S ₄-free and every minimal subgroup of P ∩ G ^N is c-supplemented in N _G (P), and when p = 2 P is quaternion-free, where p is the smallest prime number dividing the order of G, P a Sylow p-subgroup of G. As some applications of this result, some known results are generalized.     

Chermak–Delgado Lattice Extension Theorems

If G is a finite group with subgroup H, then the Chermak–Delgado measure of H (in G) is defined as |H||C _G (H)|. The Chermak–Delgado lattice of G, denoted 𝒞𝒟(G), is the set of all subgroups with maximal Chermak–Delgado measure; this set is a moduar sublattice within the subgroup lattice of G. In this paper we provide an example of a p-group P, for any prime p, where 𝒞𝒟(P) is lattice isomorphic to 2 copies of ?₂ (a quasiantichain of width 2) that are adjoined maximum-to-minimum. We introduce terminology to describe this structure, called a 2-string of 2-diamonds, and we also give two constructions for generalizing the example. The first generalization results in a p-group with Chermak–Delgado lattice that, for any positive integers n and l, is a 2l-string of n-dimensional cubes adjoined maximum-to-minimum and the second generalization gives a construction for a p-group with Chermak–Delgado lattice that is a 2l-string of ? _p+1 (quasiantichains, each of width p + 1) adjoined maximum-to-minimum.     

The fitting length of solvableH pn-groups

For a (finite) groupG and some prime powerp ⁿ, theH _p ⁿ -subgroupH _pn (G) is defined byH _p ⁿ (G)=〈xεG|x ^pn≠1〉. A groupH≠1 is called aH _p ⁿ -group, if there is a finite groupG such thatH is isomorphic toH _p ⁿ (G) andH _p ⁿ (G)≠G. It is known that the Fitting length of a solvableH _p ⁿ -group cannot be arbitrarily large: Hartley and Rae proved in 1973 that it is bounded by some quadratic function ofn. In the following paper, we show that it is even bounded by some linear function ofn. In view of known examples of solvableH _p ⁿ -groups having Fitting lengthn, this result is “almost” best possible.     

On Connected Transversals to Dihedral Subgroups of Order 2p n

Let G be a group with a dihedral subgroup H of order 2pⁿ, where p is an odd prime. We show that if there exist H-connected transversals in G, then G is a solvable group. We apply this result to the loop theory and show that if the inner mapping group of a finite loop Q is dihedral of order 2pⁿ, then Q is a solvable loop.1991 Mathematics Subject Classification: 20D10, 20N05     

Transitive Permutation Groups with Cyclic Point Stabilizers of Maximum Order

We prove that a transitive permutation group of degree n with a cyclic point stabilizer and whose order is n(n-1) is isomorphic to the affine group of degree 1 over a field with n elements. More generally we show that if a finite group G has an abelian and core-free Hall subgroup Q, then either Q has a small order (2|Q|² < |G|) or G is a direct product of 2-transitive Frobenius groups.     

Minimal Blocking Sets in PG(n, 2) and Covering Groups by Subgroups

In this article we prove that a set of points B of PG(n, 2) is a minimal blocking set if and only if ?B? = PG(d, 2) with d odd and B is a set of d + 2 points of PG(d, 2) no d + 1 of them in the same hyperplane. As a corollary to the latter result we show that if G is a finite 2-group and n is a positive integer, then G admits a ? _n+1-cover if and only if n is even and G? (C ₂) ⁿ , where by a ? _m -cover for a group H we mean a set 𝒞 of size m of maximal subgroups of H whose set-theoretic union is the whole H and no proper subset of 𝒞 has the latter property and the intersection of the maximal subgroups is core-free. Also for all n < 10 we find all pairs (m,p) (m > 0 an integer and p a prime number) for which there is a blocking set B of size n in PG(m,p) such that ?B? = PG(m,p).     

On ℳ p -Supplemented Subgroups of Finite Groups

A subgroup H of G is called ? _p -supplemented in G if there exists a subgroup B of G such that G = HB and TB < G for every maximal subgroup T of H with |H: T| =p ^α. In this paper, we investigate the influence of ? _p -supplemented subgroup and some conditions for p-nilpotency and p-supersolvability of finite groups are obtained.     

Sum of Element Orders of Maximal Subgroups of the Symmetric Group

For a finite group G, let ψ(G) denote the sum of element orders of G. The aim of this article is to show that ψ(H) < ψ(A _n ) for every proper subgroup H of the symmetric group of degree n, which is different from the alternating group A _n .     

Farrell cohomology and Brown theorems for profinite groups

LetG be a profinite group which has an open subgroupH such that the cohomologicalp-dimensiond≔cd_p(H) is finite (p is a fixed prime). The main result of this paper expresses thep-primary part of high degree cohomology ofG in terms of the elementary abelianp-subgroups ofG: From the latter one constructs a natural profinite simplicial setA G, on whichG acts by conjugation. ThenH ⁿ(G,M)≅H _G ⁿ (AG,M) holds forn≧d+r and everyp-primary discreteG-moduleM (r≔p-rank ofG). If one uses profinite Farrell cohomology, which is introduced in this paper, the analogous fact holds in all degrees. These results are the profinite analogues of theorems by K.S. Brown for discrete 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.     

Finite p-Groups Whose Abelian Subgroups Have a Trivial Intersection

A subgroup H of a finite group G is called a TI-subgroup if H ∩ H^x = 1 or H for all x ∈ G. In this paper, a complete classification for finite p-groups, in which all abelian subgroups are TI-subgroups, is given.     

On p-Regular G-Conjugacy Classes and the p-Structure of Normal Subgroups

Let N be a p-solvable normal subgroup of a group G such that N contains a noncentral Sylow r (≠ p)-subgroup R of G. It is proved that the p-complements of N are nilpotent if |x ^G |=1 or m for every p-regular element x of N whose order is divisible by at most two distinct primes. Our result, therefore, gives some information concerning the nilpotence of some kind of subgroups of a group G.     

Finite groups with some pronormal subgroups

A subgroup H of finite group G is called pronormal in G if for every element x of G, H is conjugate to H ^x in 〈H, H ^x 〉. A finite group G is called PRN-group if every cyclic subgroup of G of prime order or order 4 is pronormal in G. In this paper, we find all PRN-groups and classify minimal non-PRN-groups (non-PRN-group all of whose proper subgroups are PRN-groups). At the end of the paper, we also classify the finite group G, all of whose second maximal subgroups are PRN-groups.     

On Finite Groups in Which Cyclic Subgroups of the Same Order are Conjugate

We consider finite groups G for which any two cyclic subgroups of the same order are conjugate in G. We prove various structure results and, in particular, that any such group has at most one non-abelian composition factor, and this is isomorphic to PSL(2, p ^m ), with m odd if p is odd, or to Sz(2^2m+1), or to one of the sporadic groups M ₁₁, M ₂₃, or J ₁.     

On complemented subgroups of finite groups

A subgroup H of a group G is said to be complemented in G if there exists a subgroup K of G such that G = HK and H ⋂ K = 1. In this paper we determine the structure of finite groups with some complemented primary subgroups, and obtain some new results about p-nilpotent groups.     

The Schur multiplier of p-groups with large derived subgroup

For any given p-group of order p ⁿ (n ≥ 4) with derived subgroup of order p ^n-2 we will show that the order of its Schur multiplier is less than |G ^'|/2 when p = 2 and |G ^'| in the other cases.     

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.     

Isomorphisms ofp-adic group rings

SupposeP is the ring ofp-adic integers,G is a finite group of orderp ⁿ , andPG is the group ring ofG overP. IfV _p (G) denotes the elements ofPG with coefficient sum one which are of order a power ofp, it is shown that the elements of any subgroupH ofV _p (G) are linearly independent overP, and if in additionH is of orderp ⁿ , thenPGPH. As a consequence, the lattice of normal subgroups ofG and the abelianization of the normal subgroups ofG are determined byPG.