On the products of ℙ-subnormal subgroups of finite groups

A subgroup H of a finite group G is called ℙ-subnormal in G whenever H either coincides with G or is connected to G by a chain of subgroups of prime indices. If every Sylow subgroup of G is ℙ-subnormal in G then G is called a w-supersoluble group. We obtain some properties of ℙ-subnormal subgroups and the groups that are products of two ℙ-subnormal subgroups, in particular, of ℙ-subnormal w-supersoluble subgroups.     

Groups whose all subgroups are ascendant or self-normalizing

This paper studies groups G whose all subgroups are either ascendant or self-normalizing. We characterize the structure of such G in case they are locally finite. If G is a hyperabelian group and has the property, we show that every subgroup of G is in fact ascendant provided G is locally nilpotent or non-periodic. We also restrict our study replacing ascendant subgroups by permutable subgroups, which of course are ascendant [Stonehewer S.E., Permutable subgroups of infinite groups, Math. Z., 1972, 125(1), 1–16].     

Contractions of infrainvariant systems of subgroups

We create a method which allows an arbitrary group G with an infrainvariant system ℒ(G) of subgroups to be embedded in a group G* with an infrainvariant system ℒ(G*) of subgroups, so that G _α^* ∩G ∈ ℒ(G) for every subgroup G _α^* ∩G ∈ ℒ(G*) and each factor B/A of a jump of subgroups in ℒ(G*) is isomorphic to a factor of a jump in ℒ(G), or to any specified group H. Using this method, we state new results on right-ordered groups. In particular, it is proved that every Conrad right-ordered group is embedded with preservation of order in a Conrad right-ordered group of Hahn type (i.e., a right-ordered group whose factors of jumps of convex subgroups are order isomorphic to the additive group ℝ); every right-ordered Smirnov group is embedded in a right-ordered Smirnov group of Hahn type; a new proof is given for the Holland–McCleary theorem on embedding every linearly ordered group in a linearly ordered group of Hahn type.     

On Complementability of Nonmetacyclic Subgroups in Finite A-Groups

We study groups G that satisfy the following conditions: (i) G is a finite solvable group with nonprimary metacyclic second subgroup and (ii) all Sylow subgroups of the group G are elementary Abelian subgroups. We describe the structure of groups of this type with complementable nonmetacyclic subgroups.     

<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).     

A covering subgroup system for the class of <Emphasis Type="Italic">p</Emphasis>-nilpotent groups

Let ℱ be a class of groups and let G be a finite group. We call a set Σ of subgroups of G a covering subgroup system of G for ℱ (or directly an ℱ-covering subgroup system of G) if G ∈ ℱ whenever every subgroup in Σ is in ℱ. We give some covering subgroup systems for the class of all p-nilpotent groups.     

Group cocycles and the ring of affiliated operators

In this article we study cocycles of discrete countable groups with values in ℓ ² G and the ring of affiliated operators UG\mathcal{U}G. We clarify properties of the first cohomology of a group G with coefficients in ℓ ² G and answer several questions from De Cornulier et al. (Transform. Groups 13(1):125–147, 2008). Moreover, we obtain strong results about the existence of free subgroups and the subgroup structure, provided the group has a positive first ℓ ²-Betti number. We give numerous applications and examples of groups which satisfy our assumptions.     

Groups with weak maximality condition for nonnilpotent subgroups

A group G satisfies the weak maximality condition for nonnilpotent subgroups [or, briefly, the Wmax-(nonnil) condition if G does not have infinite increasing chains {H _n | n ∈ ℕ} of nonnilpotent subgroups such that the indices |H _n+1: H _n | are infinite for each n ∈ ℕ. We study the structure of hypercentral groups satisfying the weak maximality condition for nonnilpotent subgroups. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 58, No. 8, pp. 1068–1083, August, 2006.     

Projective Resolutions for Modules over Infinite Groups

We define a notion of complexity for modules over group rings of infinite groups. This generalizes the notion of complexity for modules over group algebras of finite groups. We show that if M is a module over the group ring kG, where k is any ring and G is any group, and M has f-complexity (where f is some complexity function) over some set of finite index subgroups of G, then M has f-complexity over G (up to a direct summand). This generalizes the Alperin-Evens Theorem, which states that if the group G is finite then the complexity of M over G is the maximal complexity of M over an elementary abelian subgroup of G. We also show how we can use this generalization in order to construct projective resolutions for the integral special linear groups, SL(n, ℤ), where n ≥ 2.     

On a width of verbal subgroups of certain free constructions

We study into widths of verbal subgroups of HNN-extensions, and of groups with one defining relation. It is proved that if a group G^* is an HNN-extension and the connected subgroups in G^* are distinct from a base of the extension, then every verbal subgroup V(G^*) has infinite width relative to a finite proper set V of words. A similar statement is proven to hold for groups presented by one defining relation and ≥3 generators. to Yurii I. Merzlyakov dedicated Supported by RFFR grant No. 93-01-01513. Translated fromAlgebra i Logika, Vol. 36, No. 5, pp. 494–517, September–October, 1997.     

Designs from the Group PSL2(q), q Even

Let q be a power of 2 greater than 2 and consider the group G = PSL₂(q). We choose the maximal subgroups of G isomorphic to the dihedral groups D_2(q+1) and D_2(q-1) and present the primitive action of G on the right cosets of these two subgroups. We will find the orbits of the point stabilizer in each case and in the case of D_2(q-1) we will prove there is an orbit Δ of the point stabilizer G_ω, such that Δ ≠ {ω } and whose orbiting under G gives a 1-design with the automorphism group isomorphic to the symmetric group      

JSJ-Decompositions of finitely presented groups and complexes of groups

A JSJ-splitting of a group G over a certain class of subgroups is a graph of groups decomposition of G which describes all possible decompositions of G as an amalgamated product or an HNN extension over subgroups lying in the given class. Such decompositions originated in 3-manifold topology. In this paper we generalize the JSJ-splitting constructions of Sela, Rips–Sela and Dunwoody–Sageev, and we construct a JSJ-splitting for any finitely presented group with respect to the class of all slender subgroups along which the group splits. Our approach relies on Haefliger’s theory of group actions on CAT(0) spaces. Submitted: October 2003 Revision: February 2005 Accepted: June 2005     

On totally inert simple groups

A subgroup H of a group G is inert if |H: H ∩ H ^g | is finite for all g ∈ G and a group G is totally inert if every subgroup H of G is inert. We investigate the structure of minimal normal subgroups of totally inert groups and show that infinite locally graded simple groups cannot be totally inert.     

Marked length rigidity for symmetric spaces

We give conditions under which a homomorphism between two Zariski dense subgroups of connected semisimple Lie groups G and G' without compact factors and with trivial center can be extended to a continuous isomorphism between G and G'. In particular we prove the marked length rigidity and the marked translation vector rigidity. This last result was motivated by a Margulis‚s question. Received: September 18, 2001     

A Boolean algebra of characteristic subgroups of a finite group

We construct a “natural” sublattice L(G) of the lattice of all of those subgroups of a finite group G that contain the Frattini subgroup F(G){\Phi(G)} . We show that L(G) is a Boolean algebra, and that its members are characteristic subgroups of G. If F(G){\Phi(G)} is trivial, then L(G) is exactly the set of direct factors U of G such that U and G/U have no common nontrivial homomorphic image.     

Groups with infinitely many types of fixed subgroups

It is a theorem of Shor that ifG is a word-hyperbolic group, then up to isomrphism, only finitely many groups appear as fixed subgroups of automorphisms ofG. We give an example of a groupG acting freely and cocompactly on a CAT(0) square complex such that infinitely many non-isomorphic groups appear as fixed subgroups of automorphisms ofG. Consequently, Shor’s finiteness result does not hold if the negative curvature condition is relaxed to either biautomaticity or nonpositive curvature. D. T. Wise was supported by grants from FCAR and NSERC.     

On weakly τ-quasinormal subgroups of finite groups

Let G be a finite group and H a subgroup of G. We say that: (1) H is τ-quasinormal in G if H permutes with all Sylow subgroups Q of G such that (|Q|, |H|) = 1 and (|H|, |Q ^G |) ≠ 1; (2) H is weakly τ-quasinormal in G if G has a subnormal subgroup T such that HT = G and T ∩ H ≦ H _τG , where H _τG is the subgroup generated by all those subgroups of H which are τ-quasinormal in G. Our main result here is the following. Let ℱ be a saturated formation containing all supersoluble groups and let X ≦ E be normal subgroups of a group G such that G/E ∈ ℱ. Suppose that every non-cyclic Sylow subgroup P of X has a subgroup D such that 1 < |D| < |P| and every subgroup H of P with order |H| = |D| and every cyclic subgroup of P with order 4 (if |D| = 2 and P is non-Abelian) not having a supersoluble supplement in G is weakly τ-quasinormal in G. If X is either E or F* (E), then G ∈ ℱ.     

A Remark on З-Permutability of Finite Groups

Let З be a complete set of Sylow subgroups of a finite group G, that is, З contains exactly one and only one Sylow p-subgroup of G for each prime p. A subgroup of a finite group G is said to be З-permutable if it permutes with every member of З. Recently, using the Classification of Finite Simple Groups, Heliel, Li and Li proved tile following result： If the cyclic subgroups of prime order or order 4 iif p = 2） of every member of З are З-permutable subgroups in G, then G is supersolvable. In this paper, we give an elementary proof of this theorem and generalize it in terms of formation.