Elementary Abelian <Emphasis Type="Italic">p</Emphasis>-groups of rank greater than or equal to 4<Emphasis Type="Italic">p</Emphasis>−2 are not CI-groups

In this paper we prove that an elementary Abelian p-group of rank 4p−2 is not a CI⁽²⁾-group, i.e. there exists a 2-closed transitive permutation group containing two non-conjugate regular elementary Abelian p-subgroups of rank 4p−2, see Hirasaka and Muzychuk (J. Comb. Theory Ser. A 94(2), 339–362, 2001). It was shown in Hirasaka and Muzychuk (loc cit) and Muzychuk (Discrete Math. 264(1–3), 167–185, 2003) that this is related to the problem of determining whether an elementary Abelian p-group of rank n is a CI-group. As a strengthening of this result we prove that an elementary Abelian p-group E of rank greater or equal to 4p−2 is not a CI-group, i.e. there exist two isomorphic Cayley digraphs over E whose corresponding connection sets are not conjugate in Aut E. This research was supported by a fellowship from the Pacific Institute for the Mathematical Sciences.     

Poles of Intertwining Operators via Endoscopy; the Connection with Prehomogeneous Vector Spaces With an Appendix, `Basic Endoscopic Data', by Diana Shelstad To the Memory of Magdy Assem

In this paper, we determine the residues at poles of standard intertwining operators for parabolically induced representations of an arbitrary connected reductive quansisplit algebraic group over a p-acid field whenever the unipotent radical of the parabolic subgroup is Abelian. We then interpret these residues by means of the theory of endoscopy.     

Extensions and the Induced Characters of Cyclic p-Groups

For a prime p, we denote by B_n the cyclic group of order pⁿ. Let φ be a faithful irreducible character of B_n, where p is an odd prime. We study the p-group G containing B_n such that the induced character φ^G is also irreducible. The purpose of this article is to determine the subgroup N_G(N_G(B_n)) of G under the hypothesis [N_G(B_n):B_n]⁴ ≦ pⁿ.     

Minimal Non—Commutative n—Insertive Rings

Let n be an integer with |n| > 1. If p is the smallest prime factor of |n|, we prove that a minimal non-commutative n-insertive ring contains n ⁴ elements and these rings have five (2p+4) isomorphic classes for p = 2 (p ≠ 2). This research is supported by the National Natural Science Foundation of China, and the Scientific Research Foundation for “Bai-Qian-Wan” Project, Fujian Province of China     

On Hypercentral Groups G With |G:G n |<∞

In 1960, Baumslag, following up on work of Cernikov for the 1940s, proved that a hypercentral p-group G with G = G ^p is a divisible Abelian group. In this article, we provide an interesting generalization of this 45 year old result: If a hypercentral p-group G satisfies |G:G ^p |<∞ (of course, it contains G = G ^p ), there exists a normal divisible Abelian subgroup D such that |G:D|<∞.     

Primary abelian <Emphasis Type="Italic">n</Emphasis>-Σ-groups

We prove the following theorem: Any abelian p-group is an n-Σ-group which is a strong ω-elongation of a totally projective group by a p ^ω+n -projective group precisely when it is totally projective. In particular, each p-torsion p ^ω+n -projective n-Σ-group is a direct sum of countable p-groups of length not exceeding ω + n and vice versa. These two claims generalize our recent results in [6] and [7]. Published in Lietuvos Matematikos Rinkinys, Vol. 47, No. 2, pp. 155–162, April–June, 2007.     

A “Generalized Trace Formula” for Bell numbers

The nth Bell number B_n is the number of ways to partition a set of n elements into nonempty subsets. We generalize the “trace formula” of Barsky and Benzaghou [1], which asserts that for an odd prime p and an appropriate constant τ_p, the relation B_n=-Tr(^n-1-τ_p)B_τp holds in , where is a root of and is the trace form. We deduce some new interesting congruences for the Bell numbers, generalizing miscellaneous well-known results including those of Radoux [4].     

The minimality of the map \frac{x}{\|{x}\|} for weighted energy

In this paper, we investigate the minimality of the map from the Euclidean unit ball Bⁿ to its boundary 핊ⁿ⁻¹ for weighted energy functionals of the type E_p,f = ∫_Bⁿ f(r)‖∇ u‖^p dx, where f is a non-negative function. We prove that in each of the two following cases:

Maximal Orders of Abelian Subgroups in Finite Chevalley Groups

In the present paper, for any finite group G of Lie type (except for ² F ₄(q)), the order a(G) of its large Abelian subgroup is either found or estimated from above and from below (the latter is done for the groups F ₄ (q), E ₆ (q), E ₇ (q), E ₈ (q), and ² E ₆(q ²)). In the groups for which the number a(G) has been found exactly, any large Abelian subgroup coincides with a large unipotent or a large semisimple Abelian subgroup. For the groups F ₄ (q), E ₆ (q), E ₇ (q), E ₈ (q), and ² E ₆(q ²)), it is shown that if an Abelian subgroup contains a noncentral semisimple element, then its order is less than the order of an Abelian unipotent group. Hence in these groups the large Abelian subgroups are unipotent, and in order to find the value of a(G) for them, it is necessary to find the orders of the large unipotent Abelian subgroups. Thus it is proved that in a finite group of Lie type (except for ² F ₄(q))) any large Abelian subgroup is either a large unipotent or a large semisimple Abelian subgroup.     

On the exponential map of borei subgroups in a semi-simple lie group

Let G be a connected, complex, semi-simple Lie group Let g be an element in G. Let B be a Borel subgroup of G and g in B. Let m and n be the least positive integers such that the element g^m lies on a one-parameter subgroup in G and the element gⁿ lies on a one-parameter subgroup in B. We denote these integers by ind _G (g) and ind _B (g). In this note we prove the conjecture ind _G (g) = ind _B (g), if g is regular.     

A Theorem on Discrete,Torsion Free Subgroups of Isom H <Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

Let H ⁿ be the hyperbolic n-space with n⩾ 2. Suppose that Γ H ⁿ is a discrete, torsion free subgroup and a is a point in the domain of discontinuity Ω (Γ). Let p be the projection map from H ⁿ to the quotient manifold M=H ⁿ/Γ. In this paper we prove that there exists an open neighborhood U of a in H ⁿ∪ Ω (Γ) such that p is an isometry on U∩ H ⁿ.Mathematics Subject Classification (2000). primary: 51M10; secondary: 22E40, 57M50.     

Weakly Outer Inner Functions

An inner function I in the unit ball B_nB_nⁿ is said to be weakly outer if the closed subspace I H ^p(B ⁿ) is weakly dense in the Hardy space H^p(B ⁿ), 0n for all n1. We also investigate inner functions I such that the subspace IH^p(B ⁿ) is not weakly dense in H^p(B ⁿ).     

Generating Random Vectors in (ℤ/<Emphasis Type="Italic">p</Emphasis>ℤ)<Superscript><Emphasis Type="Italic">d</Emphasis></Superscript> via an Affine Random Process

This paper considers some random processes of the form X _n+1=T X _n +B _n (mod p) where B _n and X _n are random variables over (ℤ/pℤ) ^d and T is a fixed d×d integer matrix which is invertible over the complex numbers. For a particular distribution for B _n , this paper improves results of Asci to show that if T has no complex eigenvalues of length 1, then for integers p relatively prime to det (T), order (log p)² steps suffice to make X _n close to uniformly distributed where X ₀ is the zero vector. This paper also shows that if T has a complex eigenvalue which is a root of unity, then order p ^b steps are needed for X _n to get close to uniformly distributed for some positive value b≤2 which may depend on T and X ₀ is the zero vector.     

Solvable Subgroups of Out(F n ) are Virtually Abelian

Let F _n be the free group of rank n, let Aut(F _n ) be its automorphism group and let Out(F _n ) be its outer automorphism group. We show that every solvable subgroup of Out(F _n ) has a finite index subgroup that is finitely generated and free Abelian. We also show that every Abelian subgroup of Out(F _n ) has a finite index subgroup that lifts to Aut(F _n ).     

<Emphasis Type="Italic">W</Emphasis><Superscript>1,<Emphasis Type="Italic">p</Emphasis></Superscript>(R<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>)-boundedness for maximal functions

In this paper, we get W ^1,p (R ⁿ )-boundedness for tangential maximal function and nontangential maximal function, which improves J.Kinnunen, P.Lindqvist and Tananka’s results. Supported by the key Academic Discipline of Zhejiang Province of China under Grant No.2005 and the Zhejiang Provincial Natural Science Foundation of China.     

Discrete characterization of the Paley-Wiener space with several variables

In this paper, we obtain a characterization of the Paley-Wiener space with several variables, which is denoted byB _{π, p} (R ⁿ ), 1≤p<∞, i.e., for 1<p<∞,B _{π, p} (R ⁿ ) is isomorphic tol _p (Z ⁿ ), and forp=1,B _{π, 1} (R ⁿ ) is isomorphic to the discrete Hardy space with several variables, which is denoted byH(Z ⁿ ). This project is supported by the National Natural Science Foundation of China (19671012) and Doctoral Programme Institution of Higher Education Foundation of Chinese Educational Committee and supported by Youth Foundation of Sichuan.     

On ascending and subnormal subgroups of infinite factorized groups

We consider an almost hyper-Abellan group G of a finite Abelian sectional rank that is the product of two subgroups A and B. We prove that every subgroup H that belongs to the intersection A ∩ B and is ascending both in A and B is also an ascending subgroup in the group G. We also show that, in the general case, this statement is not true. Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 49, No. 6, pp. 842–848, June, 1997.     

On Macbeath-Singerman symmetries of Belyi surfaces with PSL(2,p) as a group of automorphisms

The famous theorem of Belyi states that the compact Riemann surface X can be defined over the number field if and only if X can be uniformized by a finite index subgroup Γ of a Fuchsian triangle group Λ. As a result such surfaces are now called Belyi surfaces. The groups PSL(2,q),q=p ⁿ are known to act as the groups of automorphisms on such surfaces. Certain aspects of such actions have been extensively studied in the literature. In this paper, we deal with symmetries. Singerman showed, using acertain result of Macbeath, that such surfaces admit a symmetry which we shall call in this paper the Macbeath-Singerman symmetry. A classical theorem by Harnack states that the set of fixed points of a symmetry of a Riemann surface X of genus g consists of k disjoint Jordan curves called ovals for some k ranging between 0 and g+1. In this paper we show that given an odd prime p, a Macbetah-Singerman symmetry of Belyi surface with PSL(2,p) as a group of automorphisms has at most     

Invariants of modular groups

For a faithful linear representation of a finite group G over a field of characteristic p, we study the ring of invariants. We especially study the polynomial and Cohen–Macaulay properties of the invariant ring. We first show that certain quotient rings of the invariant ring are polynomial rings by which we prove that the Hilbert ideal conjecture is true for a class of groups. In particular, we prove that the conjecture is true for vector invariant rings of Abelian reflection p-groups. Then we study the relationships between the invariant ring of G and that of a subgroup of G. Finally, we study the invariant rings of affine groups and show that, over a finite field, if an affine group contains all translations then the invariant ring is isomorphic to the invariant ring of a linear group.     

A Graham-Sloane Type Construction for s-Surjective Matrices

We give a construction of (n–s)-surjective matrices with n columns over using Abelian groups and additive s-bases. In particular we show that the minimum number of rows ms _q(n,n–s) in such a matrix is at most s ^s q ^n–s for all q, n and s.