On Residually Finite Groups with Engel-like Conditions

Let m, n be positive integers. Suppose that G is a residually finite group in which for every element x ∈ G there exists a positive integer q = q(x) ≤ m such that x^q is left n-Engel. We show that G is locally virtually nilpotent. Further, let w be a multilinear commutator and G a residually finite group in which for every product of at most 896 w-values x there exists a positive integer q = q(x) dividing m such that x^q is left n-Engel. Then w(G) is locally virtually nilpotent.     

An application of the regularity lemma in generalized Ramsey theory

Given graphs G and H, an edge coloring of G is called an (H,q)‐coloring if the edges of every copy of H ? G together receive at least q colors. Let r(G,H,q) denote the minimum number of colors in a (H,q)‐coloring of G. In 9 Erd?s and Gyárfás studied r(K_n,K_p,q) if p and q are fixed and n tends to infinity. They determined for every fixed p the smallest q (denoted by q_lin) for which r(K_n,K_p,q) is linear in n and the smallest q (denoted by q_quad) for which r(K_n,K_p,q) is quadratic in n. They raised the problem of determining the smallest q for which we have . In this paper by using the Regularity Lemma we show that if , then we have . © 2003 Wiley Periodicals, Inc. J Graph Theory 44: 39–49, 2003     

On q-n-gonal Klein Surfaces

We consider proper Klein surfaces X of algebraic genus p ≥ 2, having an automorphism φ of prime order n with quotient space X/（φ） of algebraic genus q. These Klein surfaces axe called q-n-gonal surfaces and they are n-sheeted covers of surfaces of algebraic genus q. In this paper we extend the results of the already studied cases n ≤ 3 to this more general situation. Given p ≥ 2, we obtain, for each prime n, the （admissible） values q for which there exists a q-n-gonal surface of algebraic genus p. Furthermore, for each p and for each admissible q, it is possible to check all topological types of q-n-gonal surfaces with algebraic genus p. Several examples are given： q-pentagonal surfaces and q-n-gonal bordered surfaces with topological genus g = 0, 1.     

Analytic cohomology groups in top degrees of Zariski open sets in {\mathbb{P}^n}

We show that if A is a closed analytic subset of \mathbbPⁿ{\mathbb{P}^n} of pure codimension q then Hⁱ(\mathbbPⁿ\ A,F){H^i(\mathbb{P}^n{\setminus} A,{\mathcal F})} are finite dimensional for every coherent algebraic sheaf F{{\mathcal F}} and every i 3 n-[\fracn-1q]{i\geq n-\left[\frac{n-1}{q}\right]} . If n-1 3 2q we show that H^n-2(\mathbbPⁿ\ A,F)=0{n-1\geq 2q\,{\rm we show that}\, H^{n-2}(\mathbb{P}^n{\setminus} A,{\mathcal F})=0} .     

Ovoids and spreads of finite classical polar spaces

LetP be a finite classical polar space of rankr, r2. An ovoidO ofP is a pointset ofP, which has exactly one point in common with every totally isotropic subspace of rankr. It is proved that the polar spaceW _n (q) arising from a symplectic polarity ofPG(n, q), n odd andn > 3, that the polar spaceQ(2n, q) arising from a non-singular quadric inPG(2n, q), n > 2 andq even, that the polar space Q^–(2n + 1,q) arising from a non-singular elliptic quadric inPG(2n + 1,q), n > 1, and that the polar spaceH(n,q ²) arising from a non-singular Hermitian variety inPG(n, q ²)n even andn > 2, have no ovoids.LetS be a generalized hexagon of ordern (1). IfV is a pointset of order n³ + 1 ofS, such that every two points are at distance 6, thenV is called an ovoid ofS. IfH(q) is the classical generalized hexagon arising fromG ₂ (q), then it is proved thatH(q) has an ovoid iffQ(6, q) has an ovoid. There follows thatQ(6, q), q=3^2h+1, has an ovoid, and thatH(q), q even, has no ovoid.A regular system of orderm onH(3,q ²) is a subsetK of the lineset ofH(3,q ²), such that through every point ofH(3,q ²) there arem (> 0) lines ofK. B. Segre shows that, ifK exists, thenm=q + 1 or (q + l)/2.If m=(q + l)/2,K is called a hemisystem. The last part of the paper gives a very short proof of Segre's result. Finally it is shown how to construct the 4-(11, 5, 1) design out of the hemisystem with 56 lines (q=3).     

Die Invarianten Einer Klasse Projektiver Hjelmslev-Ebenen

Associated with every finite PH-plane (projective Hjelmslev plane)H is a pair of integer invariants (t,r): r denotes the order of the projective plane paired withH, t² the number of points in each neighborhood ofH. A pair (t,r) of positive integers is called a Lenz-pair if there exist orders r=q₂,...,q_n of projective planes such that t=q₂q₃...q_n and, for each i>2, either (a) q_i+1=q_i or (b) q_{i + 1} = (q₂q₃...q_i)(r + 1)–1 holds. A special Lenz-pair is a Lenz-pair for which every q_i is a prime power. Our major result asserts that the invariants of a finite, regular, minimally uniform PH-plane are always a Lenz-pair. In the converse direction, we prove that every special Lenz-pair may be realized as the invariant pair of some finite, regular, minimally uniform PH-plane.

---

---

Ich danke der Alexander von Humboldt Stiftung für ihre Unterstützung während der Vorbereitung dieser Arbeit. Auch danke ich der University of Florida für die partielle Unterstützung durch ein Faculty Development Grant. Der Technischen Hochschule Darmstadt gilt mein Dank für die erwiesene Gastfreundschaft.     

Fischer Matrices of the Affine Groups

Let GL_n(q) be the general linear group and let H_n ; V_n(q) · GL_n(q) denote the affine group of V_n(q). In [1] and [4], we determined Fischer matrices for the conjugacy classes of GL_n(q) where n = 2, 3, 4 and we obtained the number of conjugacy classes and irreducible characters of H₂, H₃, and H₄. In this paper, we find the Fischer matrices of the affine group H_n for arbitrary n.AMS Subject Classification Primary 20C15 Secondary 20C33     

Avoider-Enforcer games

Let p and q be positive integers and let H be any hypergraph. In a (p,q,H) Avoider-Enforcer game two players, called Avoider and Enforcer, take turns selecting previously unclaimed vertices of H. Avoider selects p vertices per move and Enforcer selects q vertices per move. Avoider loses if he claims all the vertices of some hyperedge of H; otherwise Enforcer loses. We prove a sufficient condition for Avoider to win the (p,q,H) game. We then use this condition to show that Enforcer can win the (1,q) perfect matching game on K2n for every q?cn/logn for an appropriate constant c, and the (1,q) Hamilton cycle game on Kn for every q?cnloglogloglogn/lognlogloglogn for an appropriate constant c. We also determine exactly those values of q for which Enforcer can win the (1,q) connectivity game on Kn. This result is quite surprising as it substantially differs from its Maker-Breaker analog. Our method extends easily to improve a result of Lu [X. Lu, A note on biased and non-biased games, Discrete Appl. Math. 60 (1995) 285-291], regarding forcing an opponent to pack many pairwise edge disjoint spanning trees in his graph.     

On the spectral characterization of some unicyclic graphs

Let H(n;q,n₁,n₂) be a graph with n vertices containing a cycle C_q and two hanging paths P_n1 and P_n2 attached at the same vertex of the cycle. In this paper, we prove that except for the A-cospectral graphs H(12;6,1,5) and H(12;8,2,2), no two non-isomorphic graphs of the form H(n;q,n₁,n₂) are A-cospectral. It is proved that all graphs H(n;q,n₁,n₂) are determined by their L-spectra. And all graphs H(n;q,n₁,n₂) are proved to be determined by their Q-spectra, except for graphs with a being a positive even number and with b≥4 being an even number. Moreover, the Q-cospectral graphs with these two exceptions are given.     

The Second Cohomology of Simple SL 3-Modules

Let G be the simple, simply connected algebraic group SL ₃ defined over an algebraically closed field K of characteristic p > 0. In this article, we find H ²(G, V) for any irreducible G-module V. When p > 7, we also find H ²(G(q), V) for any irreducible G(q)-module V for the finite Chevalley groups G(q) = SL(3, q) where q is a power of p.     

Nilpotent Injectors in General Linear Groups

In a recent paper, A. Bialostocki (Israel J. Math.41 (1982), 261-273) has defined a nilpotent injector in an arbitrary finite group G to be a maximal nilpotent subgroup of G, containing a subgroup H of G of maximal order satisfying class (H) ≤2. In the present paper, the author determines the nilpotent injectors of GL(n, q) and shows that they form a unique conjugacy class of subgroups of GL(n, q). It is also proved that if n ≠ 2 or n = 2 and q ≠ 9 is not a Fermat prime >3, then the nilpotent injectors of GL(n, q) are the nilpotent subgroups of maximal order.     

The maximum element order in the groups related to the linear groups which is a multiple of the defining characteristic

Let n be a natural number and q be the power of a prime p. The general, special and projective special linear groups are denoted by GL_n(q), SL_n(q) and PSL_n(q), respectively. In this paper we find the maximum order of an element of the above groups which is a multiple of p.     

Harmonic morphisms from the classical compact semisimple Lie groups

In this article, we introduce a new method for manufacturing harmonic morphisms from semi-Riemannian manifolds. This is employed to yield a variety of new examples from the compact Lie groups SO(n), SU(n) and Sp(n) equipped with their standard Riemannian metrics. We develop a duality principle and show how this can be used to construct the first known examples of harmonic morphisms from the non-compact Lie groups , SU ^*(2n), , SO ^*(2n), SO(p, q), SU(p, q) and Sp(p, q) equipped with their standard dual semi-Riemannian metrics.      

Grassmannian Fixed Point Ratios

We provide estimates for the fixed point ratios in the permutation representations of a finite classical group over a field of order q on k-subspaces of its natural n-dimensional module. For sufficiently large n, each element must either have a negligible ratio or act linearly with a large eigenspace. We obtain an asymptotic estimate in the latter case, which in most cases is q ^–dk where d is the codimension of the large eigenspace. The results here are tailored for our forthcoming proof of a conjecture of Guralnick and Thompson on composition factors of monodromy groups.     

A characterization of finite simple groups by the orders of solvable subgroups

Let G be a finite group and S be a finite simple group. In this paper, we prove that if G and S have the same sets of all orders of solvable subgroups, then G is isomorphic to S, or G and S are isomorphic to Bn(q), Cn(q), where n≥3 and q is odd. This gives a positive answer to the problem put forward by Abe and Iiyori.     

Partitions of finite vector spaces into subspaces

Let V_n(q) denote a vector space of dimension n over the field with q elements. A set of subspaces of V_n(q) is a partition of V_n(q) if every nonzero element of V_n(q) is contained in exactly one element of . Suppose there exists a partition of V_n(q) into x_i subspaces of dimension n_i, 1 ≤ i ≤ k. Then x₁, …, x_k satisfy the Diophantine equation . However, not every solution of the Diophantine equation corresponds to a partition of V_n(q). In this article, we show that there exists a partition of V_n(2) into x subspaces of dimension 3 and y subspaces of dimension 2 if and only if 7x + 3y = 2ⁿ ? 1 and y ≠ 1. In doing so, we introduce techniques useful in constructing further partitions. We also show that partitions of V_n(q) induce uniformly resolvable designs on qⁿ points. © 2007 Wiley Periodicals, Inc. J Combin Designs 16: 329–341, 2008     

Krull Dimension and Deviation in Certain Parafree Groups

Hanna Neumann asked whether it was possible for two non-isomorphic residually nilpotent finitely generated (fg) groups, one of them free, to share the lower central sequence. Baumslag answered the question in the affirmative and thus gave rise to parafree groups. A group G is termed parafree of rank n if it is residually nilpotent and shares the same lower central sequence with a free group of rank n. The deviation of a fg parafree group G of rank n is the difference μ(G) ? n, where μ(G) is the minimum possible number of generators of G.

Let G be fg; then Hom(G, SL ₂?) inherits the structure of an algebraic variety, denoted by R(G). If G is an n generated parafree group, then the deviation of G is 0 iff Dim(R(G)) = 3n. It is known that for n ≥ 2 there exist infinitely many parafree groups of rank n and deviation 1 with non-isomorphic representation varieties of dimension 3n. In this paper it is shown that given integers n ≥ 2 and k ≥ 1, there exists infinitely many parafree groups of rank n and deviation k with non-isomorphic representation varieties of dimension different from 3n; in particular, there exist infinitely many parafree groups G of rank n with Dim(R(G)) > q, where q ≥ 3n is an arbitrary integer.     

Parity patterns associated with lifts of Hecke groups

Let q be an odd prime, m a positive integer, and let Γ _m (q) be the group generated by two elements x and y subject to the relations x ^2m =y ^qm =1 and x ²=y ^q ; that is, Γ _m (q) is the free product of two cyclic groups of orders 2m respectively qm, amalgamated along their subgroups of order m. Our main result determines the parity behaviour of the generalized subgroup numbers of Γ _m (q) which were defined in Müller (Adv. Math. 153:118–154, 2000), and which count all the homomorphisms of index n subgroups of Γ _m (q) into a given finite group H, in the case when gcd (m,| H |)=1. This computation depends upon the solution of three counting problems in the Hecke group ℋ(q)=C ₂*C _q : (i) determination of the parity of the subgroup numbers of ℋ(q); (ii) determination of the parity of the number of index n subgroups of ℋ(q) which are isomorphic to a free product of copies of C ₂ and of C _∞; (iii) determination of the parity of the number of index n subgroups in ℋ(q) which are isomorphic to a free product of copies of C _q . The first problem has already been solved in Müller (Groups: Topological, Combinatorial and Arithmetic Aspects, LMS Lecture Notes Series, vol. 311, pp. 327–374, Cambridge University Press, Cambridge, 2004). The bulk of our paper deals with the solution of Problems (ii) and (iii). Research of C. Krattenthaler partially supported by the Austrian Science Foundation FWF, grant S9607-N13, in the framework of the National Research Network “Analytic Combinatorics and Probabilistic Number Theory”.     

Some Properties of Bell Groups

For any integer n ≠ 0,1, a group G is said to be “n-Bell” if it satisfies the identity [x ⁿ ,y] = [x,y ⁿ ]. It is known that if G is an n-Bell group, then the factor group G/Z ₂(G) has finite exponent dividing 12n ⁵(n ? 1)⁵. In this article we show that this bound can be improved. Moreover, we prove that every n-Bell group is n-nilpotent; consequently, using results of Baer on finite n-nilpotent groups, we give the structure of locally finite n-Bell groups. Finally, we are concerned with locally graded n-Bell groups for special values of n.