Finite groups in whichp′-classes haveq′-length

IfG is a finite group in which every element ofp′-order centralizes aq-Sylow subgroup ofG, wherep andq are distinct primes, it is shown thatO ^q′ (G) is solvable,l _q (G)≤1 andl _p (O ^q′ (G)) ≤2. Further, the structure ofG is determined to some extent. Work partially supported by MURST research program “Teoria dei gruppi ed applicazioni”.     

Verifying Huppert’s Conjecture for PSp<Subscript>4</Subscript>(<Emphasis Type="Italic">q</Emphasis>) when <Emphasis Type="Italic">q</Emphasis> > 7

Let G denote a finite group and cd (G) the set of irreducible character degrees of G. Bertram Huppert conjectured that if H is a finite nonabelian simple group such that cd (G) = cd (H), then G ≅ H × A, where A is an abelian group. Huppert verified the conjecture for PSp₄(q) when q = 3, 4, 5, or 7. In this paper, we extend Huppert’s results and verify the conjecture for PSp₄(q) for all q. This demonstrates progress toward the goal of verifying the conjecture for all nonabelian simple groups of Lie type of rank two.     

Compact deformations of Fuchsian groups

A conformal map Φ on the unit disk is called a compact deformation of a Fuchsian groupG if Φ has a quasiconformal extension to the planeh which conjugatesG to a Kleinian group G′ and the dilatation ofh is compactly supported moduloG. We show that for such deformations δ = dim(∧(G′)) = dim(∧_c(G′)) (if δ ≥1) and the image of ∧_e = ∧ ∧_c is contained in a countable union of rectifiable curves and has zero length iffG is divergence type. The first author is partially supported by NSF Grant DMS 01-03626. The second author is partially supported by NSF grant DMS-99-71311.     

<Emphasis Type="Italic">G</Emphasis>-compactness and groups

Lascar described E _KP as a composition of E _L and the topological closure of E _L (Casanovas et al. in J Math Log 1(2):305–319). We generalize this result to some other pairs of equivalence relations. Motivated by an attempt to construct a new example of a non-G-compact theory, we consider the following example. Assume G is a group definable in a structure M. We define a structure M′ consisting of M and X as two sorts, where X is an affine copy of G and in M′ we have the structure of M and the action of G on X. We prove that the Lascar group of M′ is a semi-direct product of the Lascar group of M and G/G _L . We discuss the relationship between G-compactness of M and M′. This example may yield new examples of non-G-compact theories. The first author is supported by the Polish Goverment grant N N201 384134. The second author is supported by the Polish Goverment grant N201 032 32/2231.     

On normal two-dimensional double point singularities

Letq be a plane curve singularity and letp be the corresponding normal two-dimensional double point singularity. Let Γ and Γ₁ be the topological types of the minimal and of the canonical resolutions ofp respectively. An algorithm is given for finding the equisingular type ofq in terms of Γ₁. An algorithm is also given for finding all Γ₁ corresponding to a given Γ. There is at most one such Γ₁ in case Γ has no 1-cycles. This research was partially supported by the National Science Foundation. The author also is an Alfred P. Sloan Research Fellow.     

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

Quotients of the congruence kernels of SL2 over arithmetic dedekind domains

LetC=C(C, P, k) be the coordinate ring of the affine curve obtained by removing a closed pointP from a (suitable) projective curveC over afinite fieldk. Let SL₂ (C,q) be the principal congruence subgroup of SL₂(C) andU ₂(C,q) be the subgroup generated by the all unipotent matrices in SL₂(C,q), whereq is aC-ideal. In this paper we prove that, for all but finitely manyq, the quotient SL₂(C,q)/U ₂(C,q) is a free group of finite,unbounded rank. LetC(SL₂(A)) be the congruence kernel of SL₂(A), whereA is an arithmetic Dedekind domain with only finitely many units. (e.g.A=C or ℤ) and letG be any finitely generated group. From the above (and previous results) we deduce that the profinite completion ofG,Ĝ, is a homonorphic image ofC(SL₂(A)). This is related to previous results of Lubotzky and Mel'nikov.     

The theory of stationary point processes

An axiomatic formulation is presented for point processes which may be interpreted as ordered sequences of points randomly located on the real line. Such concepts as forward recurrence times and number of points in intervals are defined and related in set-theoretic Note that for α∈A,G ^α may not coverG _α as a convex subgroup and so we cannot use Theorem 1.1 to prove this result. Moreover, all that we know about theG ^α/G_α is that each is an extension of a trivially ordered subgroup by a subgroup ofR. ItB is a plenary subset ofA, then there exists av-isomorphism μ ofG intoV(B, G ^β/G_β), but whether or not μ is ano-isomorphism is not known. Presently at Massachusetts Institute of Technology, Lexington, Mass., U.S.A. This work was supported by the National Aeronautics and Space Administration under research grant NsG-2-59     

Embeddings ofC(Δ) andL 1[0, 1] in Banach lattices

It is proved that ifE is a separable Banach lattice withE′ weakly sequentially complete,F is a Banach space andT:E→F is a bounded linear operator withT′F′ non-separable, then there is a subspaceG ofE, isomorphic toC(Δ), such thatT _G is an isomorphism, whereC(Δ) denotes the space of continuous real valued functions on the Cantor discontinuum. This generalizes an earlier result of the second-named author. A number of conditions are proved equivalent for a Banach latticeE to contain a subspace order isomorphic toC(Δ). Among them are the following:L ¹ is lattice isomorphic to a sublattice ofE′;C(Δ)′ is lattice isomorphic to a sublattice ofE′; E contains an order bounded sequence with no weak Cauchy subsequence;E has a separable closed sublatticeF such thatF′ does not have a weak order unit. The research of both authors was partially supported by the National Science Foundation, NSF Grant No MPS 71-02839 A04.     

Groups with strongly self-centralizing 3-centralizers

LetG be a finite group with a subgroupM which is the centralizer inG of each of its nonidentity elements and let 3 divide the order ofM. Such groups are classified under the assumption that eitherq=[N _G (M):M]=2^s;s≧0 ands ≠ 3 orq<8. This paper was written while the author was visiting the Department of Mathematics, University of Illinois, Urbana, Illinois 61801.     

Bands of invariantly extensible measures

Given two σ-algebrasU ⊂A, invariant under a fixed semigroupG of transformations, the following subsetC of the lattice coneM (U) _G ofG-invariant finite measures onU is shown to be (the positive part of) a band inM (U) _G : AG-invariant measure μ belongs toC iff the setexM Bμ) _G of extremalG-invariant extensions of μ toB is non-empty and eachG-invariant extensionv of μ admits a barycentric decompositionv=→v′ρ(dv′) with some representing probability ρ onexM U μ) _G .—Any band of extensible measures allows to study the corresponding extension problem locally.     

Vertices of simple modules and normal subgroups ofp-solvable groups

Let π be a set of prime numbers andG a finite π-separable group. Let θ be an irreducible π′-partial character of a normal subgroupN ofG and denote by I_π′ (G‖θ), the set of all irreducible π′-partial characters Φ ofG such that θ is a constituent of Φ_N. In this paper, we obtain some information about the vertices of the elements in I_π′ (G‖θ). As a consequence, we establish an analogue of Fong's theorem on defect groups of covering blocks, for the vertices of the simple modules (in characteristicsp) of a finitep-solvable group lying over a fixed simple module of a normal subgroup.     

The asymptotic number of acyclic digraphs. I

We obtain an asymptotic formula forA _n,q , the number of digraphs withn labeled vertices,q edges and no cycles. The derivation consists of two separate parts. In the first we analyze the generating function forA _n,q so as to obtain a central limit theorem for an associated probability distribution. In the second part we show combinatorially thatA _n,q is a smooth function ofq. By combining these results, we obtain the desired asymptotic formula. Research supported by NSF under grant MCS-8300414. Research supported by NSERC under grant A4067. Research supported by NSF under grant MCS-8302282. Research supported by the Australian Department of Science and Technology under the Queen Elizabeth II Fellowship Scheme, while this author was at the University of Newcastle, Australia.     

The computations of some Schur indices

Let χ be an irreducible character of a finite groupG. Letp=∞ or a prime. Letm _p (χ) denote the Schur index of χ overQ _p , the completion ofQ atp. It is shown that ifx is ap′-element ofG such that for all irreducible charactersX _u ofG thenm _p (χ)/vbχ(x). This result provides an effective tool in computing Schur indices of characters ofG from a knowledge of the character table ofG. For instance, one can read off Benard’s Theorem which states that every irreducible character of the Weyl groupsW(E _n), n=6,7,8 is afforded by a rational representation. Several other applications are given including a complete list of all local Schur indices of all irreducible characters of all sporadic simple groups and their covering groups (there is still an open question concerning one character of the double cover of Suz). This work was partly supported by NSF Grant MCS-8201333.     

On galois descent for Hochschild and cyclic homology

LetG be a finite group acting by automorphisms on an algebraS over some commutative ringk. We show that if the action ofG restricted to the center ofS is Galois in the sense of [C-H-R], thenHH _*(S ^G)≊HH _* (S) ^G. An analogous result holds for cyclic homology, provided the order ofG is invertible ink. The author was supported in part by a grant from the NSF.     

Group algebras with almost maximal lie nilpotency index

LetK G be a non-commutative Lie nilpotent group algebra of a groupG over a fieldK. It is known that the Lie nilpotency index ofKG is at most |G′|+1, where |G′| is the order of the commutator subgroup ofG. In [4] the groupsG for which this index is maximal were determined. Here we list theG’s for which it assumes the next highest possible value. The present paper is a part of the PhD dissertation of the author.     

Selmer groups of abelian varieties in extensions of function fields

Let k be a field of characteristic q, a smooth geometrically connected curve defined over k with function field . Let A/K be a non-constant abelian variety defined over K of dimension d. We assume that q = 0 or >  2d + 1. Let p ≠ q be a prime number and a finite geometrically Galois and étale cover defined over k with function field . Let (τ′, B′) be the K′/k-trace of A/K. We give an upper bound for the -corank of the Selmer group Sel _p (A × _K K′), defined in terms of the p-descent map. As a consequence, we get an upper bound for the -rank of the Lang–Néron group A(K′)/τ′B′(k). In the case of a geometric tower of curves whose Galois group is isomorphic to , we give sufficient conditions for the Lang–Néron group of A to be uniformly bounded along the tower. This work was partially supported by CNPq research grant 305731/2006-8.     

Irreducible disconnected systems in groups

LetG be an arbitrary group with a subgroupA. The subdegrees of (A, G) are the indices [A:A ∪A ⁹] (wheregεG). Equivalent definitions of that concept are given in [IP] and [K]. IfA is not normal inG and all the subdegrees of (A, G) are finite, we attach to (A, G) the common divisor graph Γ: its vertices are the non-unit subdegrees of (A, G), and two different subdegrees are joined by an edge iff they arenot coprime. It is proved in [IP] that Γ has at most two connected components. Assume that Γ is disconnected. LetD denote the subdegree set of (A, G) and letD ₁ be the set of all the subdegrees in the component of Γ containing min(D−{1}). We proved [K, Theorem A] that ifA is stable inG (a property which holds whenA or [G:A] is finite), then the setH={g ε G| [A:A ∪A ^g ] εD ₁ ∪ {1}} is a subgroup ofG. In this case we say thatA<H<G is a disconnected system (briefly: a system). In the current paper we deal with some fundamental types of systems. A systemA<H<G is irreducible if there does not exist 1<N△G such thatAN<H andAN/N<H/N<G/N is a system. Theorem A gives restrictions on the finite nilpotent normal subgroups ofG, whenG possesses an irreducible system. In particular, ifG is finite then Fit(G) is aq-group for a certain primeq. We deal also with general systems. Corollary (4.2) gives information about the structure of a finite groupG which possesses a system. Theorem B says that for any systemA<H<G,N _G (N _G (A))=N _G (A). Theorem C and Corollary C’ generalize a result of Praeger [P, Theorem 2]. The content of this paper corresponds to a part of the author’s Ph.D. thesis carried out at Tel Aviv University under the supervision of Prof. Marcel Herzog.     

Quasirecognition by the set of element orders of the groups E 6( q ) and 2 E 6( q )

We prove that if L is one of the simple groups E ₆(q) and ² E ₆(q) and G is some finite group with the same spectrum as L, then the commutant of G/F(G) is isomorphic to L and the quotient G/G′ is a cyclic {2,3}-group. Original Russian Text Copyright ? 2007 Kondrat’ev A. S. The author was supported by the Russian Foundation for Basic Research (Grant 04-01-00463) and the RFBR-NSFC (Grant 05-01-39000). __________ Translated from Sibirskiĭ Matematicheskiĭ Zhurnal, Vol. 48, No. 6, pp. 1250–1271, November–December, 2007.     

A measuring argument for finite permutation groups

LetG be a finite transitive permutation group on a finite setS. LetA be a nonempty subset ofS and denote the pointwise stabilizer ofA inG byC _G (A). Our main result is the following inequality: [G :C _G (A)]≥|G|^|A|/|S|. This paper is a part of the author’s Ph.D. thesis research, carried out at Tel Aviv University under the supervision of Professor Marcel Herzog.