Fields with vanishing K2. Torsion in H1(X,K2) and Ch2(x)

This paper describes fields F of nonzero characteristic with the property that for all finite extensions E/F K₂E=0. We consider a somewhat wider class of fields which includes finite and separably closed fields. For smooth projective varieties X over such a field we show that the groups H¹(X, K₂){} and H²(X_et, (2)), NH³(X_et, (2)) and Ch²(X){} are isomorphic. These results are applied to describe the groups SK₁ of a smooth affine curve over such a field.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 116, pp. 108–118, 1982.     

Finitely Valued f-Modules, An Addendum

In an -group M with an appropriate operator set it is shown that the -value set (M) can be embedded in the value set (M). This embedding is an isomorphism if and only if each convex -subgroup is an -subgroup. If (M) has a.c.c. and M is either representable or finitely valued, then the two value sets are identical. More generally, these results hold for two related operator sets ₁ and ₂ and the corresponding -value sets and . If R is a unital -ring, then each unital -module over R is an f-module and has exactly when R is an f-ring in which 1 is a strong order unit.     

The Residue of p(N) Modulo Small Primes

For primes we obtain a simple formula for p(N) (mod ) as a weighted sum over -square affine partitions of N. When {3,5,7,11}, the weights are explicit divisor functions. The Ramanujan congruences modulo 5, 7, 11, 25, 49, and 121 follow immediately from these formulae.     

The Eta Invariant and the Real Connective K-Theory of the Classifying Space for Quaternion Groups

We express the real connective K-theory groups o_4k–1(B Q ) ofthe quaternion group Q of order = 2 ^j 8 in terms of therepresentation theory of Q by showing o_4k–1(B Q ) = Sp(S ^4k+3/Q )where is any fixed point free representation of Q in U(2k + 2).     

On the uniform (C, 1)-summability of Fourier series and integrability of series with respect to multiplicative orthonormal systems

H (G), f(g)H (G) , (, 1)- OHMC G. , OHMC, A. H. . , . , OHMC, lim supp _n=, , ,n .. . , 117 234 . . -      

Problem of the extremal decomposition of a closed plane

One considers the problem of the maximum of the product of powers of conformal radii of nonoverlapping domains in the following formulation. Let A=a₁, ..., a_n and B=(b₁, ..., b_m be systems of distinguished points in ¯C and let ={₁,..., _m} be a system of positive numbers. ByU(D,b ) we denote the reduced modulus of the simply connected domain D relative to the pointb D. Find the maximum of the sum in the familyD of all systems of nonoverlapping simply connected domains D_j, j=1, ..., m, satisfying the following condition: the domain D_j does not contain points b_i B, different from b_j, and some collection A_j, for each domain, of points from A, _j=1 ^m A _j =A. The solution of this problem is obtained by the simultaneous use of the method of variation and of the method of the moduli of families of curves and is given by Theorem 1 of the present paper. As consequences of Theorem 1 one obtains Theorems 2 and 3, strengthening the corresponding results of a previous paper of the author.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 144, pp. 149–154, 1985.     

Application of fields formed by the Gauss periods to the investigation of cyclic diophantine equations

The question of the nonsolvability of the equation in rational integersx ₀,x ₁,...,x _t,z satisfying certain additional conditions is investigated. Two cases are considered: 1) is a regular prime number and 0 < t < – 1; 2) is an irregular prime number, =fe+1 (f is prime), > c₀ (f, t) and does not divide the Bernoulli numbers .Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 67, pp. 201–222, 1977.     

First-order theories for pure Prolog programs with negation

The standard theory of logic programming is not applicable to Prolog programs even not to pure code. Modifying the theory to take account of reality more is the motivation of this article. For this purpose we introduce the -completion and the inductive extension of a logic program. Both are first-order theories in a language with operators for success, failure and termination of goals. The -completion of a logic program is a sound and complete axiomatization of the Prolog depth-first search under certain natural conditions; the inductive extension of the -completion is a suitable theory for proving termination and equivalence of pure Prolog programs with negation.Sponsored by the Alexander von Humboldt Foundation, Germany     

Morera type theorems on the unit disc

, . . : , , , , .     

Application of spherical functions to a certain problem in the theory of quadratic forms

The problem regarding the number of integral points on multidimensional ellipsoids is investigated with the aid of modular forms. In the paper we consider the simplest special case of the following problem: one considers a multidimensional sphere and as a domain on it one selects a cap. The precise result is formulated in the following manner: let r(n) be the number of the representations of n by a sum of squares, 0n₁, 2 n; the expression for K(A), 4, is given in the paper. It is also shown that one can refine somewhat the results on the distribution of integral points on multidimensional ellipsoids, obtained by A. V. Malyshev by the circular method, remaining within the framework of the same methods.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 144, pp. 38–45, 1985.We express our gratitude to M. A. skopina for a consultatin regarding the theory of multiple fourier series     

Converse theorems for multidimensional Kantorovich operators

L _p [0, l]. . . - .

---

---

Supported by National Science Foundation, Zhejiang Provincial Science Foundation of China, and Alexander von Humboldt Foundation of Germany.     

On optimality of spline interpolation for recovery of differentiable functions

W _p ^r (1p<) , . - r -1. =1 r-2.     

Imbedding of countable periodic groups into simple 2-generated periodic groups

We prove a theorem on the isomorphic imbedding of an arbitrary countable periodic group H into a simple 2-generated periodic group G. In addition, we show that for any integers k 2 and 3 the group G contains a pair of generating elements whose orders are k and .Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 43, Nos. 7 and 8, pp. 980–986, July–August, 1991.     

Unique <Emphasis Type="Italic">a</Emphasis>-closure for some ℓ-groups of rational valued functions

Usually, an abelian -group, even an archimedean -group, has a relatively large infinity of distinct a-closures. Here, we find a reasonably large class with unique and perfectly describable a-closure, the class of archimedean -groups with weak unit which are -convex. ( is the group of rationals.) Any C(X, ) is -convex and its unique a-closure is the Alexandroff algebra of functions on X defined from the clopen sets; this is sometimes C(X).     

Right-ordered and free lattice-ordered groups

The free -groups over nilpotent groups are considered. The upper bound of -solvable length is found for an -group over a nilpotent group of finite rank; the lower bound of solvable length is given for a free -group over a finitely generated nilpotent group.Translated fromAlgebra i Logika, Vol. 34, No. 1, pp. 33–40, January–February, 1995.Supported by the Russian Foundation for Fundamental Research, grant No. 93-011-1524.     

Uniqueness of the Unconditional Basis of ?1 (?p) and ?p (?1), 0 < p < 1

We prove that the quasi-Banach spaces ₁ (_p) and _p (₁), 0 < p < 1 have a unique unconditional basis up to permutation     

L'indice de l'idéal de Stickelberger ℓ-adique

Sans résuméNotations un nombre premier 2. - v la valuation -adique telle quev ()=1 - _n le groupe des raciensn ^e de l'unité - f _k le conducteur d'un corps abélienk - f le conducteur d'un caractère de Dirichlet      

The Eta Invariant and the Connective K-Theory of the Classifying Space for Cyclic 2 Groups

We use the eta invariant to study the connective K-theory groups ko _m (B ) of the classifying space for the cyclic group where - 2 2.     

Numbers of Success-Runs of Specified Length Until Certain Stopping Time Rules and Generalized Binomial Distributions of Order k

A new distribution called a generalized binomial distribution of order k is defined and some properties are investigated. A class of enumeration schemes for success-runs of a specified length including non-overlapping and overlapping enumeration schemes is rigorously studied. For each nonnegative integer less than the specified length of the runs, an enumeration scheme called -overlapping way of counting is defined. Let k and be positive integers satisfying < k. Based on independent Bernoulli trials, it is shown that the number of (– 1)-overlapping occurrences of success-run of length k until the n-th overlapping occurrence of success-run of length follows the generalized binomial distribution of order (k–). In particular, the number of non-overlapping occurrences of success-run of length k until the n-th success follows the generalized binomial distribution of order (k– 1). The distribution remains unchanged essentially even if the underlying sequence is changed from the sequence of independent Bernoulli trials to a dependent sequence such as higher order Markov dependent trials. A practical example of the generalized binomial distribution of order k is also given.     

Finite Representability of ℓp in Quotients of Banach Spaces

A typical result of the paper states that if X is a Banach space with a basis and for some 1pq, the spaces _p and _q are finitely block representable in every block subspace of X, then every block subspace of X admits a block quotient Z such that for every r[p,q], the space _r is finitely block representable in Z. Results of a similar nature are also established for ^N _p-block-sequences and asymptotic spaces.