The narrow class groups of the ℤ<Subscript>17</Subscript>- and ℤ<Subscript>19</Subscript>-extensions over the rational field

Let p be either 17 or 19, let ℤ _p denote the ring of p-adic integers, and let l be a prime number which is a primitive root modulo p ². We shall prove, with the help of a computer, that the l-class group of the ℤ _p -extension over the rational field is trivial. We shall also prove the triviality of the narrow 2-class group of the same ℤ _p -extension.     

On the measurability of the conic sections’ family in the projective space<Emphasis FontCategory="NonProportional">P</Emphasis><Subscript>3</Subscript><Subscript>3</Subscript>

In this paper we prove that the non degenerate conic sections’ family in the projective spaceP ₃ is measurable.     

New Lower Bounds for the Number of (≤ k)-Edges and the Rectilinear Crossing Number of K<Subscript>n</Subscript>

We provide a new lower bound on the number of (≤ k)-edges of a set of n points in the plane in general position. We show that for the number of (≤ k)-edges is at least

Density of the Medvedev lattice of Π<Superscript>0</Superscript><Subscript>1</Subscript> classes

The partial ordering of Medvedev reducibility restricted to the family of ⁰₁ classes is shown to be dense. For two disjoint computably enumerable sets, the class of separating sets is an important example of a ⁰₁ class, which we call a ``c.e. separating class'. We show that there are no non-trivial meets for c.e. separating classes, but that the density theorem holds in the sublattice generated by the c.e. separating classes. Mathematics Subject Classification (2000): 03D30, 03D25     

On the <Emphasis Type="Italic">ω</Emphasis><Subscript>1</Subscript> limits of subsets of the real line

We point out that it is consistent with ZFC that 2 ^ω > ℵ₁ and every subset of ℝ is the ω ₁ limit of a sequence of G _δ sets in ℝ. We prove also that assuming cov ( ) > ℵ₁, not every set in ℝ is the ω ₁ limit of a sequence of measurable sets. This solves two problems of T. Natkaniec and J. Wesołowska.      

GL<Subscript>2</Subscript>(ℂ)-orbits of binary forms

In the present paper we study the orbits of action of the group GL₂(ℂ) on the space of binary forms. The main result of the paper is the proof of the criterion which divides the GL₂(ℂ)-orbits of binary forms.     

Katriel’s Operators for Products of Conjugacy Classes of S<Subscript>n</Subscript>

We define a family of differential operators indexed with fixed point free partitions. When these differential operators act on normalized power sum symmetric functions q(x), the coefficients in the decomposition of this action in the basis q(x) are precisely those of the decomposition of products of corresponding conjugacy classes of the symmetric group S_n. The existence of such operators provides a rigorous definition of Katriels elementary operator representation of conjugacy classes and allows to prove the conjectures he made on their properties.Work partially supported by a grant from the Natural Sciences and Engineering Research Council of Canada.Work partially supported by ECs Research Training Network Algebraic Combinatorics in Europe (grant HPRN-CT-2001-00272).     

On complexity reduction of Σ<Subscript>1</Subscript> formulas

 For a fixed q  ℕ and a given Σ₁ definition φ(d,x), where d is a parameter, we construct a model M of 1 Δ₀ + ? exp and a non standard d  M such that in M either φ has no witness smaller than d or phgr; is equivalent to a formula ϕ(d,x) having no more than q alternations of blocks of quantifiers. Received: 29 September 1998 / Revised version: 7 November 2001 Published online: 10 October 2002 RID="⋆" ID="⋆" Research supported in part by The State Committee for Scientific Research (Poland), KBN, grant number 2 PO3A 018 13. RID="⋆" ID="⋆" Research supported in part by The State Committee for Scientific Research (Poland), KBN, grant number 2 PO3A 018 13.     

On the quantifier complexity of Δ<Subscript> n+1</Subscript> (T)– induction

In this paper we continue the study of the theories I _n+1 (T), initiated in [7]. We focus on the quantifier complexity of these fragments and theirs (non)finite axiomatization. A characterization is obtained for the class of theories such that I _n+1 (T) is _n+2 –axiomatizable. In particular, I _n+1 (I _n+1 ) gives an axiomatization of Th _n+2 (I _n+1 ) and is not finitely axiomatizable. This fact relates the fragment I _n+1 (I _n+1 ) to induction rule for _n+1 –formulas. Our arguments, involving a construction due to R. Kaye (see [9]), provide proofs of Parsons conservativeness theorem (see [16]) and (a weak version) of a result of L.D. Beklemishev on unnested applications of induction rules for _n+2 and _n+1 formulas (see [2]).Research partially supported by grant PB96–1345 (Spanish Goverment)Mathematics Subject Classification (2000): 03F30, 03H15     

Poincaré series of the multigraded algebras of <Emphasis Type="Italic">SL</Emphasis><Subscript>2</Subscript>-invariants

We deduce formulas for finding the Poincaré multiseries P( C_d,z₁,z₂, ?, z_n,t ) \mathcal{P}\left( {{\mathcal{C}_d},{z_1},{z_2}, \ldots, {z_n},t} \right) and P( I_d,z₁,z₂, ?, z_n ) \mathcal{P}\left( {{\mathcal{I}_d},{z_1},{z_2}, \ldots, {z_n}} \right) , where C_d {\mathcal{C}_d} and I_d {\mathcal{I}_d} , d = (d ₁, d ₂, . . . , d _n ), are multigraded algebras of joint covariants and joint invariants for n binary forms of degrees d ₁, d ₂, . . . , d _n .     

On ℤ<Subscript>2</Subscript>-graded identities of the super tensor product of <Emphasis Type="Italic">UT</Emphasis><Subscript>2</Subscript>(<Emphasis Type="Italic">F</Emphasis>) by the Grassmann algebra

Let F be a field of characteristic zero and E be the unitary Grassmann algebra generated over an infinite-dimensional F-vector space L. Denote by \(\mathcal{E} = \mathcal{E}^{(0)} \oplus \mathcal{E}^{(1)}\) an arbitrary ?₂-grading of E such that the subspace L is homogeneous. Given a superalgebra A = A ⁽⁰⁾ ⊕ A ⁽¹⁾, define the superalgebra \(A\hat \otimes \mathcal{E}\) by \(A\hat \otimes \mathcal{E} = (A^{(0)} \otimes \mathcal{E}^{(0)} ) \oplus (A^{(1)} \otimes \mathcal{E}^{(1)} )\). Note that when E is the canonical grading of E then \(A\hat \otimes \mathcal{E}\) is the Grassmann envelope of A. In this work we find bases of ?₂-graded identities and we describe the ?₂-graded codimension and cocharacter sequences for the superalgebras \(UT_2 (F)\hat \otimes \mathcal{E}\), when the algebra UT ₂(F) of 2 ×2 upper triangular matrices over F is endowed with its canonical grading.     

Approximation in <Emphasis Type="Italic">L</Emphasis><Subscript>2</Subscript> by Partial Integrals of the Multidimensional Fourier Transform over the Eigenfunctions of the Sturm–Liouville Operator

For approximations in the space L₂(?₊ ^d ) by partial integrals of the multidimensional Fourier transform over the eigenfunctions of the Sturm–Liouville operator, we prove the Jackson inequality with sharp constant and optimal argument in the modulus of continuity. The multidimensional weight that defines the Sturm–Liouville operator is the product of onedimensional weights. The one-dimensional weights can be, in particular, power and hyperbolic weights with various parameters. The optimality of the argument in the modulus of continuity is established by means of the multidimensional Gauss quadrature formula over zeros of an eigenfunction of the Sturm–Liouville operator. The obtained results are complete; they generalize a number of known results.     

Approximation in <Emphasis Type="Italic">L</Emphasis> <Subscript>2</Subscript> by partial integrals of the Fourier transform over the eigenfunctions of the Sturm–Liouville operator

For approximations in the space L₂(?₊) by partial integrals of the Fourier transform over the eigenfunctions of the Sturm–Liouville operator, we prove Jackson’s inequality with exact constant and optimal argument in the modulus of continuity. The optimality of the argument in the modulus of continuity is established using the Gauss quadrature formula on the half-line over the zeros of the eigenfunction of the Sturm–Liouville operator.     

Inversion of integral of B-potential type with density from Φ<Subscript>γ</Subscript>

In [3], the inversion of an integral operator of potential type with constant characteristic generated by the many-dimensional generalized shift was obtained. In this paper, the author obtains a generalization of the results from [3] to the case of a shift of mixed type, i.e., on a part of the variable generalized shifts of integral nature adopted to deal with the Bessel singular differential operator act, whereas on the other part, the ordinary shift act. Also, it should be noted that in contrast to [3], the integral of B-potential type with homogeneous characteristic is considered in this paper. This generalization is attained by introducing general hypersingular integrals of the general form [8]. Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 57, Suzdal Conference–2006, Part 3, 2008.     

Dyadic Diaphony of Digital Nets Over ℤ<Subscript>2</Subscript>

The dyadic diaphony, introduced by Hellekalek and Leeb, is a quantitative measure for the irregularity of distribution of point sets in the unit-cube. In this paper we study the dyadic diaphony of digital nets over ℤ₂. We prove an upper bound for the dyadic diaphony of nets and show that the convergence order is best possible. This follows from a relation between the dyadic diaphony and the discrepancy. In order to investigate the case where the number of points is small compared to the dimension we introduce the limiting dyadic diaphony, which is defined as the limiting case where the dimension tends to infinity. We obtain a tight upper and lower bound and we compare this result with the limiting dyadic diaphony of a random sample.The first author is supported by the Australian Research Council under its Center of Excellence Program.The second author is supported by the Austrian Research Foundation (FWF), Project S 8305 and Project P17022-N12.     

Embeddings into the Medvedev and Muchnik lattices of Π<Superscript>0</Superscript><Subscript>1</Subscript> classes

Let _w and _M be the countable distributive lattices of Muchnik and Medvedev degrees of non-empty ₁⁰ subsets of 2, under Muchnik and Medvedev reducibility, respectively. We show that all countable distributive lattices are lattice-embeddable below any non-zero element of _w. We show that many countable distributive lattices are lattice-embeddable below any non-zero element of _M.Simpsons research was partially supported by NSF Grant DMS-0070718. We thank the anonymous referee for a careful reading of this paper and helpful comments.     

Jensen’s functional equation on the symmetric group S<Subscript>n</Subscript>

Two natural extensions of Jensen’s functional equation on the real line are the equations f(xy) + f(xy ⁻¹) =  2f(x) and f(xy) + f(y ⁻¹ x) =  2f(x), where f is a map from a multiplicative group G into an abelian additive group H. In a series of papers (see Ng in Aequationes Math 39:85–99, 1990; Ng in Aequationes Math 58:311–320, 1999; Ng in Aequationes Math 62:143–159, 2001), Ng solved these functional equations for the case where G is a free group and the linear group GL_n(R), R=\mathbbZ,\mathbbR{{GL_n(R), R=\mathbb{Z},\mathbb{R}}} , is a quadratically closed field or a finite field. He also mentioned, without a detailed proof, in the above papers and in (see Ng in Aequationes Math 70:131–153, 2005) that when G is the symmetric group S _n , the group of all solutions of these functional equations coincides with the group of all homomorphisms from (S _n , ·) to (H, + ). The aim of this paper is to give an elementary and direct proof of this fact.     

Containment of c<Subscript>0</Subscript> and ℓ<Subscript>1</Subscript> in π<Subscript>1</Subscript>(<Emphasis Type="Italic">E,F</Emphasis>)

Suppose π₁(E, F) is the space of all absolutely 1-summing operators between two Banach spacesE andF. We show that ifF has a copy of c₀, then π₁ (E, F) will have a copy of c₀, and under some conditions ifE has a copy of ℓ₁ then π₁ (E, F) would have a complemented copy of ℓ₁.     

On estimates for the Fourier-Bessel integral transform in the space <Emphasis Type="Italic">L</Emphasis><Subscript>2</Subscript>(ℝ<Subscript>+</Subscript>)

Two estimates useful in applications are proved for the Fourier-Bessel integral transform in L ₂(?₊) as applied to some classes of functions characterized by a generalized modulus of continuity.