On products of two nilpotent subgroups of a finite group

LetG be a finite group with an abelian Sylow 2-subgroup. LetA be a nilpotent subgroup ofG of maximal order satisfying class (A)≦k, wherek is a fixed integer larger than 1. Suppose thatA normalizes a nilpotent subgroupB ofG of odd order. ThenAB is nilpotent. Consequently, ifF(G) is of odd order andA is a nilpotent subgroup ofG of maximal order, thenF(G)?A.     

Finite soluble groups containing an element of prime order whose centralizer is small

In [2] we proved that ifG is a finite group containing an involution whose centralizer has order bounded by some numberm, thenG contains a nilpotent subgroup of class at most two and index bounded in terms ofm. One of the steps in the proof of that result was to show that ifG is soluble, then ¦G/F(G) ¦ is bounded by a function ofm, where F (G) is the Fitting subgroup ofG. We now show that, in this part of the argument, the involution can be replaced by an arbitrary element of prime order.     

A new characterization of frobenius complements

LetH, G be finite groups such thatH acts onG and each non-trivial element ofH fixes at mostf elements ofG. It is shown that, ifG is sufficiently large, thenH has the structure of a Frobenius complement. This result depends on the classification of finite simple groups. We conclude that, ifG is a finite group andA ⊆G is any non-cyclic abelian subgroup, then the order ofG is bounded above in terms of the maximal order of a centralizerC _G(a) for 1≠a ∈A.     

Growth of homogenous spaces,density of discrete subgroups and Kazhdan's property (T)

Summary LetG be a semisimple Lie group with finite center and no compact factors. We show that ifH is a closed unimodular subgroup ofG such thatG/H has subexponential volume growth, thenH is Zariski dense inG. Moreover, ifG has Kazhdan's property (T) thenG/H must have finite volume. We extend these results to semisimple groups over a local field.Oblatum 5-VII-1991 & 2-I-1992This work was supported by an NSF Postdoctoral Research Fellowship     

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

In this paper it is proved that ifp is a prime dividing the order of a groupG with (|G|,p − 1) = 1 andP a Sylowp-subgroup ofG, thenG isp-nilpotent if every subgroup ofP ∩G ^N of orderp is permutable inN _G (P) and whenp = 2 either every cyclic subgroup ofP ∩G ^N of order 4 is permutable inN _G (P) orP is quaternion-free. Some applications of this result are given. The research of the first author is supported by a grant of Shanxi University and a research grant of Shanxi Province, PR China. The research of the second author is partially supported by a UGC(HK) grant #2160126 (1999/2000).     

Derived subgroups of fixed points

LetA be an elementary abelianq-group acting on a finiteq′-groupG. We show that ifA has rank at least 3, then properties ofC _G(a)′, 1 ≠a ∈A restrict the structure ofG′. In particular, we consider exponent, order, rank and number of generators. This author was supported by the NSF. This author was supported by CNP_q-Brazil.     

Groups whose subgroups have small automizers

IfH is a subgroup of a groupG, theautomizer ofH inG is the group of all automorphisms ofH induced by elements of its normalizerN _G (H). the subgroupH is said to havesmall automizer ifAut _G (H)=Inn(H), i.e. ifN _G (H)=HC _G (H). This article is devoted to the study of groups for which many subgroups have small automizer. In Memoriam Valeria Fedri R. Brandl wishes to express his sincerest thanks for the warm hospitality offered by the Department of Mathematics of the University of Napoli “Federico II” for the time of writing this paper.     

Elementary abelian operator groups

Letp be a prime,n a positive integer. Suppose thatG is a finite solvablep'-group acted on by an elementary abelianp-groupA. We prove that ifC _G (ϕ) is of nilpotent length at mostn for every nontrivial element ϕ ofA and |A|≥p ⁿ⁺¹ thenG is of nilpotent length at mostn+1.     

Some finite nonsolvable groups characterized by their solvable subgroups

LetG be a finite nonsolvable group andH a proper subgroup ofG. In this paper we determine the structure ofG ifG satisfies one of the following conditions:

(g, f)-factorizations orthogonal to a subgraph in graphs

LetG be a graph with vertex setV (G) and edge setE (G), and letg andf be two integer-valued functions defined on V(G) such thatg(x)⩽(x) for every vertexx ofV(G). It was conjectured that ifG is an (mg +m - 1,mf -m+1)-graph andH a subgraph ofG withm edges, thenG has a (g,f)-factorization orthogonal toH. This conjecture is proved affirmatively. Project supported by the National Natural Science Foundation of China.     

Finite dimensional representations and subgroup actions on homogeneous spaces

LetH be an ℝ-subgroup of a ℚ-algebraic groupG. We study the connection between the dynamics of the subgroup action ofH onG/G _ℤ and the representation-theoretic properties ofH being observable and epimorphic inG. We show that ifH is a ℚ-subgroup thenH is observable inG if and only if a certainH orbit is closed inG/G _ℤ; that ifH is epimorphic inG then the action ofH onG/G _ℤ is minimal, and that the converse holds whenH is a ℚ-subgroup ofG; and that ifH is a ℚ-subgroup ofG then the closure of the orbit underH of the identity coset image inG/G _ℤ is the orbit of the same point under the observable envelope ofH inG. Thus in subgroup actions on homogeneous spaces, closures of ‘rational orbits’ (orbits in which everything which can be defined over ℚ, is defined over ℚ) are always submanifolds.     

Remarks on points of approximation of discrete subgroups of U(1,n; C)

In the study of a geometrically finite kleinian group, the properties of points of approximation are discussed (see [2]). We show that ifG is a discrete subgroup ofU(1, n; C) acting on the complex unit ballB ⁿ, then a point of approximation ofG has similar properties as in a kleinian group. In the case wheren>-2, however, an approach to a point of approximation is not necessarily non-tangential. We shall give an example of a point of approximation to which some orbit converges in the tangential direction. Dedicated to Professor Nobuyuki Suita on his sixtieth birthday     

On 2-sylow intersections

Letz be an involution in the finite groupG and suppose thatz belongs to the center of a Sylow subgroup ofG. Ifz belongs to a unique Sylow subgroup ofG and ifG is not a trivial intersection group, thenG is not a simple group.     

Groups with no infinite perfect subgroups and aspherical 2-complexes

The purpose of this paper is to generalize a theorem of J. F. Adams. He showed in [A] that ifX is a subcomplex of an aspherical 2-complex and the fundamental groupG ofX has no non-trivial perfect subgroups, thenX is aspherical. We weaken the hypothesis onG to “no infinite perfect subgroups”.     

On Isomorphisms of Finite Cayley Graphs

A Cayley graph Cay(G,S) of a groupGis called a CI-graph if wheneverTis another subset ofGfor which Cay(G,S) Cay(G,T), there exists an automorphism σ ofGsuch thatS^σ = T. For a positive integerm, the groupGis said to have them-CI property if all Cayley graphs ofGof valencymare CI-graphs; further, ifGhas thek-CI property for allk ≤ m, thenGis called anm-CI-group, and a |G|-CI-groupGis called a CI-group. In this paper, we prove that Ais not a 5-CI-group, that SL(2,5) is not a 6-CI-group, and that all finite 6-CI-groups are soluble. Then we show that a nonabelian simple group has the 4-CI property if and only if it is A₅, and that no nonabelian simple group has the 5-CI property. Also we give nine new examples of CI-groups of small order, which were found to be CI-groups with the assistance of a computer.     

Maximum set of edges no two covered by a clique

Leth(G) be the largest number of edges of the graphG. no two of which are contained in the same clique. ForG without isolated vertices it is proved that ifh(G)≦5, thenχ( )≦h(G), but ifh(G)=6 thenχ( ) can be arbitrarily large.     

On Codimension Growth of Finitely Generated Associative Algebras

LetAbe a PI-algebra over a fieldF. We study the asymptotic behavior of the sequence of codimensionsc_n(A) ofA. We show that ifAis finitely generated overFthenInv(A)=lim_n→∞ always exists and is an integer. We also obtain the following characterization of simple algebras:Ais finite dimensional central simple overFif and only ifInv(A)=dim=A.     

On invariant additive subgroups

Suppose thatR is a prime ring with the centerZ and the extended centroidC. An additive subgroupA ofR is said to be invariant under special automorphisms if (1+t)A(1+t)⁻¹ ⊆A for allt ∈R such thatt ²=0. Assume thatR possesses nontrivial idempotents. We prove: (1) If chR ≠ 2 or ifRC ≠C ₂, then any noncentral additive subgroup ofR invariant under special automorphisms contains a noncentral Lie ideal. (2) If chR=2,RC=C ₂ andC ≠ {0, 1}, then the following two conditions are equivalent: (i) any noncentral additive subgroup invariant under special automorphisms contains a noncentral Lie ideal; (ii) there isα ∈Z / {0} such thatα ² Z ⊆ {β ²:β ∈Z}.     

Some subgroups of semilinearly ordered groups

Let G be a semilinearly ordered group with a positive cone P. Denote byn(G) the greatest convex directed normal subgroup of G, byo(G) the greatest convex right-ordered subgroup of G, and byr(G) a set of all elements x of G such that x and x⁻¹ are comparable with any element of P^± (the collection of all group elements comparable with an identity element). Previously. it was proved thatr(G) is a convex right-ordered subgroup of G. andn(G) ⊆r(G) ⊆o(G). Here, we establish a new property ofr(G). and show that the inequalities in the given system of inclusions are, generally, strict. Supported by RFFR grant No. 99-01-00156. Translated fromAlgebra i Logika, Vol. 39, No. 4, pp. 465–479, July–August, 2000.     

Some remarks on subgroups determined by certain ideals in integral group rings

LetG be a group,ZG the integral group ring ofG andI(G) its augmentation ideal. Subgroups determined by certain ideals ofZG contained inI(G) are identified. For example, whenG=HK, whereH, K are normal subgroups ofG andH∩K⊆ζ(H), then the subgroups ofG determined byI(G)I(H)I(G), andI ³(G)I(H) are obtained. The subgroups of any groupG with normal subgroupH determined by (i)I ²(G)I(H)+I(G)I(H)I(G)+I(H)I²(G), whenH′⊆[H,G,G] and (ii)I(G)I(H)I(G) when degH ²(G/H′, T)≤1, are computed. the subgroup ofG determined byI ⁿ(G)+I(G)I(H) whenH is a normal subgroup ofG withG/H free Abelian is also obtained