Groups acting on finite dimensional spaces with finite stabilizers

It is shown that every H -group G of type admits a finite dimensional G-CW-complex X with finite stabilizers and with the additional property that for each finite subgroup H, the fixed point subspace X ^H is contractible. This establishes conjecture (5.1.2) of [9]. The construction of X involves joining a family of spaces parametrized by the poset of non-trivial finite subgroups of G and ultimately relies on the theorem of Cornick and Kropholler that if M is a -module which is projective as a -module for all finite then M has finite projective dimension. Received: April 30, 1997     

Orbits of the Actions of Odd-Order Solvable Groups

Suppose that V is a finite faithful irreducible G-module where G is a finite solvable group of odd order. We prove if the action is quasi-primitive, then either F(G) is abelian or G has at least 212 regular orbits on V. As an application, we prove that when V is a finite faithful completely reducible G-module for a solvable group G of odd order, then there exists v ∈ V such that C _G (v) ? F ₂(G) (where F ₂(G) is the 2nd ascending Fitting subgroup of G). We also generalize a result of Espuelas and Navarro. Let G be a group of odd order and let H be a Hall π-subgroup of G. Let V be a faithful G-module over a finite field of characteristic 2, then there exists v ∈ V such that C _H (v) ? O _π(G).     

On P𝔉-Supplemented subgroups of finite groups

Let 𝔉 be a class of groups and G a finite group. A maximal subgroup M of G is called 𝔉-abnormal provided G∕M_G?𝔉. Let K<H be subgroup of G. Then we say that (K,H) is an 𝔉-abnormal pair of G provided K is a maximal 𝔉-abnormal subgroup of H. Let A be a subgroup of G. Then we say that A is 𝔉-quasipermutable in G provided A either covers or avoids every 𝔉-abnormal pair of G. In this paper, we consider some applications of 𝔉-quasipermutable subgroups.     

A Note on Projective and Flat Dimensions and the Bieri-Neumann-Strebel-Renz Σ-Invariants

Let G be a finitely generated group, and A a ?[G]-module of flat dimension n such that the homological invariant Σ ⁿ (G, A) is not empty. We show that A has projective dimension n as a ?[G]-module. In particular, if G is a group of homological dimension hd(G) = n such that the homological invariant Σ ⁿ (G, ?) is not empty, then G has cohomological dimension cd(G) = n. We show that if G is a finitely generated soluble group, the converse is true subject to taking a subgroup of finite index, i.e., the equality cd (G) = hd(G) implies that there is a subgroup H of finite index in G such that Σ^∞(H, ?) ≠ ?.     

Relatively Free Nilpotent Torsion-Free Groups and Their Lie Algebras

Let K be a field of characteristic zero. For a torsion-free finitely generated nilpotent group G, we naturally associate four finite dimensional nilpotent Lie algebras over K, ? _K (G), grad^(?)(? _K (G)), grad^(g)(exp ? _K (G)), and L _K (G). Let 𝔗 _c be a torsion-free variety of nilpotent groups of class at most c. For a positive integer n, with n ≥ 2, let F _n (𝔗 _c ) be the relatively free group of rank n in 𝔗 _c . We prove that ? _K (F _n (𝔗 _c )) is relatively free in some variety of nilpotent Lie algebras, and ? _K (F _n (𝔗 _c )) ? L _K (F _n (𝔗 _c )) ? grad^(?)(? _K (F _n (𝔗 _c ))) ? grad^(g)(exp ? _K (F _n (𝔗 _c ))) as Lie algebras in a natural way. Furthermore, F _n (𝔗 _c ) is a Magnus nilpotent group. Let G ₁ and G ₂ be torsion-free finitely generated nilpotent groups which are quasi-isometric. We prove that if G ₁ and G ₂ are relatively free of finite rank, then they are isomorphic. Let L be a relatively free nilpotent Lie algebra over ? of finite rank freely generated by a set X. Give on L the structure of a group R, say, by means of the Baker–Campbell–Hausdorff formula, and let H be the subgroup of R generated by the set X. We show that H is relatively free in some variety of nilpotent groups; freely generated by the set X, H is Magnus and L ? ?_?(H) ? L _?(H) as Lie algebras. For relatively free residually torsion-free nilpotent groups, we prove that ? _K and L _K are isomorphic as Lie algebras. We also give an example of a finitely generated Magnus nilpotent group G, not relatively free, such that ?_?(G) is not isomorphic to L _?(G) as Lie algebras.     

On Finite Quasi-ℱ-Groups

Let G be a finite group and ? a saturated formation of finite groups. We say that G is quasi-?-group if for every ?-eccentric chief factor H/K of G and every x ∈ G, x induces an inner automorphism on H/K. In particular, we have the concepts of quasisoluble, quasisupersoluble, quasimetanilpotent groups, and so on. In this article, we obtain some results about the quasi-?-groups and use them to give the conditions under which a group is quasisoluble, quasimetanilpotent, or quasisupersoluble.     

When Are Covers Relative to Two Classes Isomorphic

Let ?₁ ? ?₂ be classes of right R-modules, we introduce ?₁-covering modules and projective modules relative to ?₂ to characterize the relations between the existences of ?₁-covers, ?₂-covers and the classes ?₁, ?₂. As corollaries, every module in ? _n is an ?-covering module if and only if every flat cover is an ? _n -cover for each right module if and only if R is a von Neumann regular ring whenever wD(R) < ∞; every flat right R-module is projective relative to 𝒫 if and only if every flat cover is a projective cover for each right module if and only if R is right perfect.     

On Stability of Gorenstein Categories

We show that an iteration of the procedure used to define the Gorenstein projective modules over a ring R yields exactly the Gorenstein projective modules. Specifically, given an exact sequence of Gorenstein projective left R-modules G = … → G ₁ → G ₀ → G ⁰ → G ¹ → … such that the complex Hom _R (G, H) is exact for each projective left R-module H, the module Im(G ₀ → G ⁰) is Gorenstein projective. We also get similar results for Gorenstein flat left R-modules when R is a right coherent ring. As applications, we obtain the corresponding results for Gorenstein complexes.     

Modules over group rings of soluble groups with a certain condition of maximality

Let A be an R G-module, where R is an integral domain and G is a soluble group. Suppose that C _G (A) = 1 and A/C _A (G) is not a noetherian R-module. Let L _nnd(G) be the family of all subgroups H of G such that A/C _A (H) is not a noetherian R-module. In this paper we study the structure of those G for which L _nnd(G) satisfies the maximal condition.     

Weak Cayley Table Groups II: Alternating Groups and Finite Coxeter Groups

A weak Cayley table isomorphism is a bijection φ: G → H of groups such that φ(xy) ～ φ(x)φ(y) for all x, y ∈ G. Here ～denotes conjugacy. When G = H the set of all weak Cayley table isomorphisms φ: G → G forms a group 𝒲(G) that contains the automorphism group Aut(G) and the inverse map I: G → G, x → x ^?1. Let 𝒲₀(G) = ?Aut(G), I? ≤ 𝒲(G) and say that G has trivial weak Cayley table group if 𝒲(G) = 𝒲₀(G). We show that all finite irreducible Coxeter groups (except possibly E ₈) have trivial weak Cayley table group, as well as most alternating groups. We also consider some sporadic simple groups.     

Galois Structure of K-Groups of Rings of Integers

N/Kbe a Galois extension of number fields with finite Galois group G.We describe a new approach for constructing invariants of the G-module structure of the K groups of the ring of integers of N in the Grothendieck group of finitely generated projective Z[G]modules. In various cases we can relate these classes, and their function field counterparts, to the root number class of Fröhlich and Cassou-Noguès.     

Profinite groups, profinite completions and a conjecture of Moore

Let R be any ring (with 1), Γ a group and RΓ the corresponding group ring. Let H be a subgroup of Γ of finite index. Let M be an RΓ-module, whose restriction to RH is projective.Moore's conjecture (J. Pure Appl. Algebra 7(1976)287): Assume for every nontrivial element x in Γ, at least one of the following two conditions holds:

(M1)

〈x〉∩H≠{e} (in particular this holds if Γ is torsion free)

(M2)

ord(x) is finite and invertible in R.

Then M is projective as an RΓ-module.More generally, the conjecture has been formulated for crossed products R*Γ and even for strongly graded rings R(Γ). We prove the conjecture for new families of groups, in particular for groups whose profinite completion is torsion free.The conjecture can be formulated for profinite modules M over complete groups rings [[RΓ]] where R is a profinite ring and Γ a profinite group. We prove the conjecture for arbitrary profinite groups. This implies Serre's theorem on cohomological dimension of profinite groups.     

On one class of modules that are close to Noetherian

We consider an R G-module A over a commutative Noetherian ring R. Let G be a group having infinite section p-rank (or infinite 0-rank) such that C _G (A) = 1, A/C _A (G) is not a Noetherian R-module, but the quotient A/C _A (H) is a Noetherian R-module for every proper subgroup H of infinite section p-rank (or infinite 0-rank, respectively). In this paper, it is proved that if G is a locally soluble group, then G is soluble. Some properties of soluble groups of this type are also obtained.     

Constructing G-algebras

In this article we define G-algebras, that is, graded algebras on which a reductive group G, acts as gradation preserving automorphisms. Starting from a finite dimensional G-module V and the polynomial ring ?[V], it is shown how one constructs a sequence of projective varieties V_k such that each point of V_k corresponds to a graded algebra with the same decomposition up to degree k as a G-module. After some general theory, we apply this to the case that V is the n+1-dimensional permutation representation of S_n+1, the permutation group on n+1 letters.     

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.     

Noncyclic Graph of a Group

We associate a graph Γ _G to a nonlocally cyclic group G (called the noncyclic graph of G) as follows: take G\ Cyc(G) as vertex set, where Cyc(G) = {x ? G| 〈x, y〉 is cyclic for all y ? G}, and join two vertices if they do not generate a cyclic subgroup. We study the properties of this graph and we establish some graph theoretical properties (such as regularity) of this graph in terms of the group ones. We prove that the clique number of Γ _G is finite if and only if Γ _G has no infinite clique. We prove that if G is a finite nilpotent group and H is a group with Γ _G  ? Γ _H and |Cyc(G)| = |Cyc(H)| = 1, then H is a finite nilpotent group. We give some examples of groups G whose noncyclic graphs are “unique”, i.e., if Γ _G  ? Γ _H for some group H, then G ? H. In view of these examples, we conjecture that every finite nonabelian simple group has a unique noncyclic graph. Also we give some examples of finite noncyclic groups G with the property that if Γ _G  ? Γ _H for some group H, then |G| = |H|. These suggest the question whether the latter property holds for all finite noncyclic groups.     

Normal Restriction in Finite Groups

A subgroup H of a finite group G is called an NR ? subgroup (Normal Restriction) if whenever K ? H, then K ^G ∩ H = K, where K ^G is the normal closure of K in G. In this article, we will prove some sufficient conditions for the solvability of finite groups which possess many NR-subgroups. We also prove a criterion for the existence of a normal p-complement in finite groups.     

On p-chief factors and extensions of $ \mathbb{K} $ G-modules

The subject of this paper is the relationship between the set of chief factors of a finite group G and extensions of an irreducible \mathbbK \mathbb{K} G-module U ( \mathbbK \mathbb{K} a field). Let H / L be a p-chief factor of G. We prove that, if H / L is complemented in a vertex of U, then there is a short exact sequence of Ext-functors for the module U and any \mathbbK \mathbb{K} G-module V. In some special cases, we prove the converse, which is false in general. We also consider the intersection of the centralizers of all the extensions of U by an irreducible module and provide new bounds for this group.