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.     

Locally Finite Groups with All Subgroups Normal-by-(Finite Rank)

A group is said to have finite (special) rank ≤ sif all of its finitely generated subgroups can be generated byselements. LetGbe a locally finite group and suppose thatH/H_Ghas finite rank for all subgroupsHofG, whereH_Gdenotes the normal core ofHinG. We prove that thenGhas an abelian normal subgroup whose quotient is of finite rank (Theorem 5). If, in addition, there is a finite numberrbounding all of the ranks ofH/H_G, thenGhas an abelian subgroup whose quotient is of finite rank bounded in terms ofronly (Theorem 4). These results are based on analogous theorems on locally finitep-groups, in which case the groupGis also abelian-by-finite (Theorems 2 and 3).     

On modules over integer-valued group rings of locally soluble groups with rank restrictions imposed on subgroups

We study a \mathbbZG \mathbb{Z}G -module A such that \mathbbZ \mathbb{Z} is the ring of integer numbers, the group G has an infinite sectional p-rank (or an infinite 0-rank), C _G (A) = 1, A is not a minimax \mathbbZ \mathbb{Z} -module, and, for any proper subgroup H of infinite sectional p-rank (or infinite 0-rank, respectively), the quotient module A/C _A (H) is a minimax \mathbbZ \mathbb{Z} -module. It is shown that if the group G is locally soluble, then it is soluble. Some properties of soluble groups of this kind are discussed.     

On finite groups whose derived subgroup has bounded rank

Let G be a finite group with derived subgroup of rank r. We prove that |G: Z ₂(G)| ≤ |G′|^2r . Motivated by the results of I. M. Isaacs in [5] we show that if G is capable then |G: Z(G)| ≤ |G′|^4r . This answers a question of L. Pyber. We prove that if G is a capable p-group then the rank of G/Z(G) is bounded above in terms of the rank of G′.     

Torsion-free constructive nilpotent <Emphasis Type="Italic">R</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-groups

We consider a torsion-free nilpotent R _p -group, the p-rank of whose quotient by the commutant is equal to 1 and either the rank of the center by the commutant is infinite or the rank of the group by the commutant is finite. We prove that the group is constructivizable if and only if it is isomorphic to the central extension of some divisible torsion-free constructive abelian group by some torsion-free constructive abelian R _p -group with a computably enumerable basis and a computable system of commutators. We obtain similar criteria for groups of that type as well as divisible groups to be positively defined. We also obtain sufficient conditions for the constructivizability of positively defined groups.     

Simple groups of finite morley rank and Tits buildings

Theorem A:If ℬ is an infinite Moufang polygon of finite Morley rank, then ℬ is either the projective plane, the symplectic quadrangle, or the split Cayley hexagon over some algebraically closed field. In particular, ℬ is an algebraic polygon. It follows that any infinite simple group of finite Morley rank with a spherical MoufangBN-pair of Tits rank 2 is eitherPSL ₃(K),PSp ₄(K) orG ₂(K) for some algebraically closed fieldK. Spherical irreducible buildings of Tits rank ≥ 3 are uniquely determined by their rank 2 residues (i.e. polygons). Using Theorem A we show Theorem B:If G is an infinite simple group of finite Morley rank with a spherical Moufang BN-pair of Tits rank ≥ 2, then G is (interpretably) isomorphic to a simple algebraic group over an algebraically closed field. Theorem C:Let K be an infinite field, and let G(K) denote the group of K-rational points of an isotropic adjoint absolutely simple K-algebraic group G of K-rank ≥ 2. Then G(K) has finite Morley rank if and only if the field K is algebraically closed. We also obtain a result aboutBN-pairs in splitK-algebraic groups: such aBN-pair always contains the root groups. Furthermore, we give a proof that the sets of points, lines and flags of any ℵ₁-categorical polygon have Morley degree 1. Partially sponsored by the Edmund Landau Center for Research in Mathematical Analysis, supported by the Minerva Foundation (Germany). Supported by the Minerva Foundation (Germany). Research Director at the Fund for Scientific Research-Flanders (Belgium).     

Fields interpretable in rosy theories

We are working in a monster model ℭ of a rosy theory T. We prove the following theorems, generalizing the appropriate results from the finite Morley rank case and o-minimal structures. If R is a ⋁-definable integral domain of positive, finite U^t-rank, then its field of fractions is interpretable in ℭ. If A and M are infinite, definable, abelian groups such that A acts definably and faithfully on M as a group of automorphisms, M is A-minimal and U^t(M) is finite, then there is an infinite field interpretable in ℭ. If G is an infinite, solvable but non nilpotent-by-finite, definable group of finite U^t-rank and T has NIP, then there is an infinite field interpretable in 〈G, ·〉.     

On infinite tournaments with regular automorphism groups

Atournament regular representation (TRR) of an abstract groupG is a tournamentT whose automorphism group is isomorphic toG and is a regular permutation group on the vertices ofT. L. Babai and W. Imrich have shown that every finite group of odd order exceptZ ₃ ×Z ₃ admits a TRR. In the present paper we give several sufficient conditions for an infinite groupG with no element of order 2 to admit a TRR. Among these are the following: (1)G is a cyclic extension byZ of a finitely generated group; (2)G is a cyclic extension byZ _2n+1 of any group admitting a TRR; (3)G is a finitely generated abelian group; (4)G is a countably generated abelian group whose torsion subgroup is finite.     

Almost fixed-point-free automorphisms of prime order

Let ϕ be an automorphism of prime order p of the group G with C _G (ϕ) finite of order n. We prove the following. If G is soluble of finite rank, then G has a nilpotent characteristic subgroup of finite index and class bounded in terms of p only. If G is a group with finite Hirsch number h, then G has a soluble characteristic subgroup of finite index in G with derived length bounded in terms of p and n only and a soluble characteristic subgroup of finite index in G whose index and derived length are bounded in terms of p, n and h only. Here a group has finite Hirsch number if it is poly (cyclic or locally finite). This is a stronger notion than that used in [Wehrfritz B.A.F., Almost fixed-point-free automorphisms of order 2, Rend. Circ. Mat. Palermo (in press)], where the case p = 2 is discussed.     

Generators of Simple Lie Algebras and the Lower Rank of Some Pro-P Groups

Abstract

Let  be a simple classical Lie algebra over a field F of characteristic p > 7. We show that > d () = 2, where d() is the number of generators of . Let G be a profinite group. We say that G has lower rank ≤ l, if there are {G _α} open subgroups which from a base for the topology at the identity and each G _α is generated (topologically) by no more than l elements. There is a standard way to associate a Lie algebra L(G) to a finitely generated (filtered) pro-p group G. Suppose L(G) ?  ? tF _p [t], where  is a simple Lie algebra over F _p , the field of p elements. We show that the lower rank of G is ≤ d () + 1. We also show that if  is simple classical of rank r and p > 7 or p 2r ² ? r, then the lower rank is actually 2.     

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.     

Linear groups with rank restrictions on the subgroups of infinite central dimension

The authors study linear groups of infinite central dimension and of infinite p-rank all of whose proper subgroups of infinite p-rank are of finite central dimension.     

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.     

Averaging sequences and abelian rank in amenable groups

We investigate the connection between the abelian rank of a countable amenable group and the existence of good averaging sequences (e.g., for the ergodic theorem). We show that if G is a group with finite abelian rank r(G), then 2^r(G) is a lower bound on the constant associated to a Tempel’man sequence, and if G is abelain there is a Tempel’man sequence in G with this constant. On the other hand, infinite rank precludes the existence of Tempel’man sequences and forces all tempered sequences to grow super-exponentially.     

Finite Groups with a Disconnected p -Regular Conjugacy Class Graph

Abstract

Let G be a finite p-solvable group for a fixed prime p. Attach to G a graph Γ _p (G) whose vertices are the non-central p-regular conjugacy classes of G and connect two vertices by an edge if their cardinalities have a common prime divisor. In this note we study the structure and arithmetical properties of the p-regular class sizes in p-solvable groups G having Γ _p (G) disconnected.     

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.     

SUBDIRECTLY IRREDUCIBLE LEFT SELF DISTRIBUTIVELY GENERATED ALGEBRAS

Abstract

Let F be a free profinite group of countably infinite rank and 𝒞(Δ) the class of all finite groups whose composition factors are in Δ for a non-empty class Δ of finite simple groups. Let R _Δ(F) be the intersection of all open normal subgroups N of F such that F/N is in 𝒞(Δ). Then we prove that, if 𝒩 is the class of finite groups which have no non-trivial 𝒞(Δ)-quotient, then R _Δ(F) is a pro-𝒩 group of countable rank and every finite 𝒩-embedding problem for R _Δ(F) is solvable.     

Rational and transcendental growth series for the higher Heisenberg groups

This paper considers growth series of 2-step nilpotent groups with infinite cyclic derived subgroup. Every such group G has a subgroup of finite index of the form H _n ×ℤ ^m , where H _n is the discrete Heisenberg group of length 2n+1. We call n the Heisenberg rank of G. We show that every group of this type has some finite generating set such that the corresponding growth series is rational. On the other hand, we prove that if G has Heisenberg rank n ≧ 2, then G possesses a finite generating set such that the corresponding growth series is a transcendental power series. Oblatum 1-III-1995 & 28-XII-1995     

Central Automorphisms and Inner Automorphisms in Finitely Generated Groups

Let G be a group and Aut_c(G) be the group of all central automorphisms of G. We know that in a finite p-group G, Aut_c(G) = Inn(G) if and only if Z(G) = G′ and Z(G) is cyclic. But we shown that we cannot extend this result for infinite groups. In fact, there exist finitely generated nilpotent groups of class 2 in which G′ =Z(G) is infinite cyclic and Inn(G) < C* = Aut_c(G). In this article, we characterize all finitely generated groups G for which the equality Aut_c(G) = Inn(G) holds.     

On a Problem of P. Hall about Groups Isomorphic to all their Non-Trivial Normal Subgroups

A scheme of construction of infinite groups, other than simplegroups, free groups of infinite rank and the infinite cyclicgroup, which are isomorphic to all their non-trivial normalsubgroups is presented. Some results about the automorphismgroups of simple infinite groups are also obtained. In particular,it is proved that there is an infinite group G of any sufficientlylarge prime exponent p (or which is torsion-free) all of whoseproper subgroups are cyclic, and such that the groups Aut Gand Out G are isomorphic. The proofs use the technique of gradeddiagrams developed by A. Yu. Ol'shanskii. 1991 Mathematics SubjectClassification: 20F05, 20F06.