Subgroups and Hulls of Specker Lattice-Ordered Groups

In this article, it will be shown that every -subgroup of a Specker -group has singular elements and that the class of -groups that are -subgroups of Specker -group form a torsion class. Methods of adjoining units and bases to Specker -groups are then studied with respect to the generalized Boolean algebra of singular elements, as is the strongly projectable hull of a Specker -group.     

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.     

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.     

A characterization of 2-trivial Banach spaces with unconditional basis

Let X be a Banach space with an unconditional basis such that each operator from X into ² is 2-absolutely summing. Then X is isomorphic either to c_o or to ¹ or to c_o¹.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 157, pp. 76–87, 1987.The author is grateful to I. A. Komarchev for a series of useful marks and for the permission to publish the proof of Lemma 1.     

A unifying theory of a posteriori finite element error control

Summary Residual-based a posteriori error estimates are derived within a unified setting for lowest-order conforming, nonconforming, and mixed finite element schemes. The various residuals are identified for all techniques and problems as the operator norm |||| of a linear functional of the formin the variable of a Sobolev space V. The main assumption is that the first-order finite element space is included in the kernel Ker of . As a consequence, any residual estimator that is a computable bound of |||| can be used within the proposed frame without further analysis for nonconforming or mixed FE schemes. Applications are given for the Laplace, Stokes, and Navier-Lamè equations.Supported by the DFG Research Center Matheon Mathematics for key technologies in Berlin.     

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.     

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.     

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.     

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.     

Euclidean Subspaces of the Complex Spaces ℓp n Constructed by Orbits of Finite Subgroups of SU(m)

A group representation method is used to construct minimal isometric embeddings ₂ ² into ₈ ¹⁰ and ₁₀ ¹² over C. The second of them yields a tight 5-design in C ². The corresponding angle set contains some irrational numbers.     

The Archimedean ℓ-group tensor product

We introduce a construction (inZ F-set theory) for the Archimedean -group tensor product. We relate this tensor product to the existing ones in the theory of Archimedean vector lattices and -groups.     

Central Limit Theorems for dependent variables. I

Summary This paper gives a flexible approach to proving the Central Limit Theorem (C.L.T.) for triangular arrays of dependent random variables (r.v.s) which satisfy a weak mixing condition called -mixing. Roughly speaking, an array of real r.v.s is said to be -mixing if linear combinations of its past and future are asymptotically independent. All the usual mixing conditions (such as strong mixing, absolute regularity, uniform mixing, -mixing and -mixing) are special cases of -mixing. Linear processes are shown to be -mixing under weak conditions. The main result makes no assumption of stationarity. A secondary result generalises a C.L.T. that Rosenblatt gave for strong mixing samples which are nearly second order stationary.     

Polarizations on Abelian Varieties and Self-dual ℓ-adic Representations of Inertia Groups

It is well known that every finite subgroup of GL _d (Q ) is conjugate to a subgroup of GL _d (Z ). However, this does not remain true if we replace general linear groups by symplectic groups. We say that G is a group of inertia type of G is a finite group which has a normal Sylow-p-subgroup with cyclic quotient. We show that if >d+1, and G is a subgroup of Sp _2d (Q ) of inertia type, then G is conjugate in GL _2d (Q ) to a subgroup of Sp _2d (Z ). We give examples which show that the bound is sharp. We apply these results to construct, for every odd prime , isogeny classes of Abelian varieties all of whose polarizations have degree divisible by ². We prove similar results for Euler characteristic of invertible sheaves on Abelian varieties over fields of positive characteristic.     

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     

Differential geometry of tensor product immersions II

In the first part of this series, we prove that the tensor product immersionf ₁ f _2k of2k isometric spherical immersions of a Riemannian manifoldM in Euclidean space is of-type with k and classify tensor product immersionsf ₁ f _2k which are ofk-type. In this article we investigate the tensor product immersionsf ₁ f _2k which are of (k+1)-type. Several classification theorems are obtained.     

Hulls for Various Kinds of α-Completeness in Archimedean Lattice-Ordered Groups

Within Archimedean -groups, and with an infinite cardinal or , we consider X-hulls where X stands for any of the following classes of -groups: -projectable; laterally -complete; boundedly laterally -complete; conditionally -complete; combinations of the preceding, together with divisibility and/or relative uniform completeness. All these hulls exist, and may be obtained by iterated adjunction of the required extra elements, within the essential hull. When the -groups is relatively -complemented one step in the iteration suffices for several crucial properties. We derive from the above a considerable number of equations involving combinations of these hull operators.     

On the Space of Sequences of p-Bounded Variation and Related Matrix Mappings

The difference sequence spaces (), c(), and c ₀() were studied by Kzmaz. The main purpose of the present paper is to introduce the space bv _p consisting of all sequences whose differences are in the space _p , and to fill up the gap in the existing literature. Moreover, it is proved that the space bv _p is the BK-space including the space _p . We also show that the spaces bv _p and _p are linearly isomorphic for 1 p . Furthermore, the basis and the -, -, and -duals of the space bv _p are determined and some inclusion relations are given. The last section of the paper is devoted to theorems on the characterization of the matrix classes (bv _p : ), (bv : _p ), and (bv _p : ₁), and the characterizations of some other matrix classes are obtained by means of a suitable relation.     

The Szlenk index and local ℓ<Subscript>1</Subscript>-indices

We introduce two new local ₁-indices of the same type as the Bourgain ₁-index; the ⁺₁-index and the ⁺₁-weakly null index. We show that the ⁺₁-weakly null index of a Banach space X is the same as the Szlenk index of X, provided X does not contain ₁. The ⁺₁-weakly null index has the same form as the Bourgain ₁-index: if it is countable it must take values for some <₁. The different ₁-indices are closely related and so knowing the Szlenk index of a Banach space helps us calculate its ₁-index, via the ⁺₁-weakly null index. We show that I(C(^{))=^1++1}.     

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     

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.