Dimension subgroups and<Emphasis Type="Italic">p</Emphasis>-th powers in<Emphasis Type="Italic">p</Emphasis>-groups

We prove that if the nilpotence class of ap-group is strictly less thanp ^kthen every product ofp ^k-thpowers can be written as thep-th power of an element. Scoppola and Shalev have proven the same thing for groups of class strictly less thanp ^k−p ^k−1. They also provide an example which proves that ours is the best possible result. This is a generalization of the well known fact that in groups of class strictly less thanp every product ofp-powers is again ap-th power. Along the way we prove results of independent interest on dimension subgroups ofp-groups.     

Essential dimension of finite <Emphasis Type="Italic">p</Emphasis>-groups

We prove that the essential dimension and p-dimension of a p-group G over a field F containing a primitive p-th root of unity is equal to the least dimension of a faithful representation of G over F. Mathematics Subject Classification (2000) 20G15; 14C35     

Existence of Z-cyclic 3PDTWh(<Emphasis Type="Italic">p</Emphasis>) for Prime <Emphasis Type="Italic">p</Emphasis> ≡ 1 (mod 4)

A directed triplewhist tournament on p players over Z _p is said to have the three-person property if no two games in the tournament have three common players. We briefly denote such a design as a 3PDTWh(p). In this paper, we investigate the existence of a Z-cyclic 3PDTWh(p) for any prime p ≡ 1 (mod 4) and show that such a design exists whenever p ≡ 5, 9, 13 (mod 16) and p ≥ 29. This result is obtained by applying Weil’s theorem. In addition, we also prove that a Z-cyclic 3PDTWh(p) exists whenever p ≡ 1 (mod 16) and p < 10, 000 except possibly for p = 257, 769. Gennian Ge’s Research was supported by National Natural Science Foundation of China under Grant No. 10471127, Zhejiang Provincial Natural Science Foundation of China under Grant No. R604001, and the Scientific Research Foundation for the Returned Overseas Chinese Scholars, State Education Ministry.     

<Emphasis Type="Italic">p</Emphasis>-Ideals in <Emphasis Type="Italic">p</Emphasis>-Regular Semirings

In this paper, we introduce p-ideals in semirings. A new form of regularity, which is compatible with p-ideals, is defined. Our aim is to explore the possibilities of establishing an ideal theory in semirings, going alongside the existing literature of semiring theory.AMS Subject Classification (2000): Primary 16Y60     

On perfect <Emphasis Type="Italic">p</Emphasis>-ary codes of length <Emphasis Type="Italic">p</Emphasis> + 1

Let p be a prime number and assume p ≥ 5. We will use a result of L. Redéi to prove, that every perfect 1-error correcting code C of length p + 1 over an alphabet of cardinality p, such that C has a rank equal to p and a kernel of dimension p − 2, will be equivalent to some Hamming code H. Further, C can be obtained from H, by the permutation of the symbols, in just one coordinate position.      

Minimal length elements of Thompson’s groups <Emphasis Type="Italic">F</Emphasis>(<Emphasis Type="Italic">p</Emphasis>)

We describe a method for determining the minimal length of elements in the generalized Thompson’s groups F(p). We compute the length of an element by constructing a tree pair diagram for the element, classifying the nodes of the tree and summing associated weights from the pairs of node classifications. We use this method to effectively find minimal length representatives of an element.      

On cyclic <Emphasis Type="Italic">p</Emphasis>-gonal Riemann surfaces with several <Emphasis Type="Italic">p</Emphasis>-gonal morphisms

Let p be a prime number, p > 2. A closed Riemann surface which can be realized as a p-sheeted covering of the Riemann sphere is called p-gonal, and such a covering is called a p-gonal morphism. If the p-gonal morphism is a cyclic regular covering, the Riemann surface is called a cyclic p-gonal Riemann surface. Accola showed that if the genus is greater than (p − 1)² the p-gonal morphism is unique. Using the characterization of p-gonality by means of Fuchsian groups we show that there exists a uniparametric family of cyclic p-gonal Riemann surfaces of genus (p − 1)² which admit two p-gonal morphisms. In this work we show that these uniparametric families are connected spaces and that each of them is the Riemann sphere without three points. We study the Hurwitz space of pairs (X, f), where X is a Riemann surface in one of the above families and f is a p-gonal morphism, and we obtain that each of these Hurwitz spaces is a Riemann sphere without four points.     

The finite <Emphasis Type="Italic">p</Emphasis>-groups with <Emphasis Type="Italic">p</Emphasis> conjugacy classes of non-normal subgroups

Let ν(G) be the number of conjugacy classes of non-normal subgroups of a finite group G. The finite groups for which ν(G) ≤ 2 were determined by Dedekind and by Schmidt in the early times of group theory. On the other hand, if G is a finite p-group, La Haye and Rhemtulla have proved that either ν(G) ≤ 1 or ν(G) ≥ p. In this note, we determine all finite p-groups satisfying ν(G) = p for p > 2.     

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.     

<Emphasis Type="Italic">G</Emphasis>-covering subgroup systems for the classes of supersoluble and nilpotent groups

LetF be a class of groups andG a group. We call a set Σ of subgroups ofG aG-covering subgroup system for the classF (or directly aF-covering subgroup system ofG) ifG ∈F whenever every subgroup in Σ is inF. In this paper, we provide some nontrivial sets of subgroups of a finite groupG which are simultaneouslyG-covering subgroup systems for the classes of supersoluble and nilpotent groups. Research of the first author is supported by the NNSF of China (Grant No. 10171086) and QLGCF of Jiangsu Province and a Croucher Fellowship of Hong Kong. Research of the second author is partially supported by a UGC (HK) grant #2060176 (2001/2002).     

<Emphasis Type="Italic">E′</Emphasis> and its relation with vector-valued functions on<Emphasis Type="Italic">E</Emphasis>

We study the relation between different spaces of vector-valued polynomials and analytic functions over dual-isomorphic Banach spaces. Under conditions of regularity onE andF, we show that the spaces ofX-valuedn-homogeneous polynomials and analytic functions of bounded type onE andF are isomorphic wheneverX is a dual space. Also, we prove that many of the usual subspaces of polynomials and analytic functions onE andF are isomorphic without conditions on the involved spaces.     

On the prime graph of <Emphasis Type="Italic">PSL</Emphasis>(2, <Emphasis Type="Italic">p</Emphasis>) where <Emphasis Type="Italic">p</Emphasis> > 3 is a prime number

Let G be a finite group. We define the prime graph Γ(G) as follows. The vertices of Γ(G) are the primes dividing the order of G and two distinct vertices p, q are joined by an edge if there is an element in G of order pq. Recently M. Hagie [5] determined finite groups G satisfying Γ(G) = Γ(S), where S is a sporadic simple group. Let p > 3 be a prime number. In this paper we determine finite groups G such that Γ(G) = Γ(PSL(2, p)). As a consequence of our results we prove that if p > 11 is a prime number and p ≢ 1 (mod 12), then PSL(2, p) is uniquely determined by its prime graph and so these groups are characterizable by their prime graph. The third author was supported in part by a grant from IPM (No. 84200024).     

Group invariance and <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>-bounded operators

The Hilbert and Riesz transforms can be characterized up to scalar as the translation invariant operators that satisfy additionally certain relative invariance of conformal transformation groups. In this article, we initiate a systematic study of translation invariant operators from group theoretic viewpoints, and formalize a geometric condition that characterizes specific multiplier operators uniquely up to scalar by means of relative invariance of affine subgroups. After providing some interesting examples of multiplier operators having “large symmetry”, we classify which of these examples can be extended to continuous operators on L ^p (R ⁿ ) (1 < p < ∞). T. Kobayashi was partially supported by Grant-in-Aid for Scientific Research 18340037, Japan Society for the Promotion of Science. A. Nilsson was partially supported by Japan Society for the Promotion of Science.     

Topological properties of the multifunction space <Emphasis Type="Italic">L</Emphasis>(<Emphasis Type="Italic">X</Emphasis>) of cusco maps

A set-valued mapping F from a topological space X to a topological space Y is called a cusco map if F is upper semicontinuous and F(x) is a nonempty, compact and connected subset of Y for each x ∈ X. We denote by L(X), the space of all subsets F of X × ℝ such that F is the graph of a cusco map from the space X to the real line ℝ. In this paper, we study topological properties of L(X) endowed with the Vietoris topology. The second author is supported by the SPM fellowship awarded by the Council of Scientific and Industrial Research, India.     

Cohomology of local systems coming from<Emphasis Type="Italic">p</Emphasis>-adic hyperplane arrangements

For ap-adic hyperplane arrangement in a vector spaceV, we consider a local system of De Shalit on the Bruhat-Tits building ofPGL(V). We express this local system in terms of Orlik-Solomon algebras, and calculate its cohomology in the case where the arrangement is finite.     

<Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis>,<Emphasis Type="Italic">q</Emphasis></Subscript>-Cohomology and Normal Solvability

We consider some problems concerning the L _p,q -cohomology of Riemannian manifolds. In the first part, we study the question of the normal solvability of the operator of exterior derivation on a surface of revolution M considered as an unbounded linear operator acting from L_p^k (M) into L^k+1_q (M). In the second part, we prove that the first L _p,q-cohomology of the general Heisenberg group is nontrivial, provided that p < q. Received: 17 January 2006 Supported by INTAS (Grant 03–51–3251) and the State Maintenance Program for the Leading Scientific Schools of the Russian Federation (Grants NSh 311.2003.1, NSh 8526.2006.1).     

Embedding of non-commutative <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>-spaces: <Emphasis Type="Italic">p</Emphasis> < 1

If (N,t) ({\cal N},\tau) is a finite von Neumann algebra and if (M,n) ({\cal M},\nu) is an infinite von Neumann algebra, then L_p(M,n) L_{p}({\cal M},\nu) does not Banach embed in L_p(N,t) L_{p}({\cal N},\tau) for all p ? (0,1) p\in (0,1) . We also characterize subspaces of $ L_{p}({\cal N},\tau),\ 0< p <1 $ L_{p}({\cal N},\tau),\ 0< p <1 containing a copy of l_p.     

Lacunary Strong (<Emphasis Type="Italic">A</Emphasis><Subscript><Emphasis Type="Italic">σ</Emphasis></Subscript><Emphasis Type="Italic">, p</Emphasis>)-Convergence

The definition of lacunary strongly convergence is extended to the definition of lacunary strong (A _σ , p)-convergence with respect to invariant mean when A is an infinite matrix and p = (p _i ) is a strictly positive sequence. We study some properties and inclusion relations.     

<Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-mixed intersection bodies

In this paper the author first introduce a new concept of L _p -dual mixed volumes of star bodies which extends the classical dual mixed volumes. Moreover, we extend the notions of L _p intersection body to L _p -mixed intersection body. Inequalities for L _p -dual mixed volumes of L _p -mixed intersection bodies are established and the results established here provide new estimates for these type of inequalities. This work was supported by the Natural Science Foundation of Zhejiang Province of China (Grant No. Y605065) and the Foundation of the Education Department of Zhejiang Province of China (Grant No. 20050392)