Parabolic subgroups of Chevalley groups over a semilocal ring

Let G be the Chevalley group over a commutative semilocal ring R which is associated with a root system . The parabolic subgroups of G are described in the work. A system =() of ideals in R ( runs through all roots of the system ) is called a net of ideals in the commutative ring R if ₊ for all those roots and for which + is also a root. A net is called parabolic if =R for >0. The main theorem: under minor additional assumptions all parabolic subgroups of G are in bijective correspondence with all parabolic nets . The paper is related to two works of K. Suzuki in which the parabolic subgroups of G are described under more stringent conditions.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 75, pp. 43–58, 1978.     

Uniform boundedness of a family of set functions

Let be a ring of sets, X a normed space, : X ( ) a bounded family of triangular functions. The following generalized Nikodym theorem is established: the family {} is uniformly bounded on if and only if it is bounded on every sequence of pairwise disjoint sets of which the union is a part of some set in . An analogous criterion is established also for semiadditive functions. In addition, it is shown that uniform boundedness of a family of triangular functions is preserved in passing from a ring to the -ring it generates.Translated from Matematicheskie Zametki, Vol. 23, No. 6, pp. 855–861, June, 1978.     

Conjugacy classes of groups of bundle automorphisms

Let B be a space which admits a numerable covering {U : } with the property that every principal G-bundle over B is locally trivial with respect to the covering {U }; let G(p) be the space of all equivariant automorphisms of p. In this setting the groups G(p) can be viewed as subgroups of some common group which depends only on the covering {U } and G. We classify these groups G(p) up to conjugacy. In certain situations this leads to a characterization of the isomorphism classes of the groupsG(p).     

On cyclic biquadratic fields related to a problem of Hasse

In this note we shall prove that there exist infinitely many cyclic biquadratic fieldsK whose integral bases are neither {1, , ², } nor {1, , , ³) for any numbers , inK. Next, we shall construct infinitely many cyclic biquadratic fieldsK which have the index 1, but still have not the integral basis {1, , ², ³) for every inK. Finally we shall give a class of biquadratic fields for a problem of Hasse concerning an integral basis.     

Arrangement of subgroups

Suppose G is a group and D a subgroup. A system, of intermediate subgroups G and their normalizers is called a fan for D if for each intermediate sub group H (D HG) there exists a unique index such that. If there exists a fan for D, then D is called a fan subgroup of G. Examples of fans and fan subgroups are given. A standard fan is distinguished, for which all of the groups G are generated by sets of subgroups conjugate to D. The question of the uniqueness of a fan is discussed. It is proved that any pronormal subgroup is a fan subgroup, and some properties of its fan are noted.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 94, pp. 5–12, 1979.     

On the dispersion spectrum

A measure for the denseness of sequences (an) mod 1, irrational, is the dispersion constantD() introduced byH. Niederreiter. In this paper the smallest accumulation point ₁ of the set of theD() is determined and all those are explicitely given for whichD () < ₁ holds.     

Galois theory for the family of partial differential equationsΔ α ψ=0

Summary The partial differential fields most suited for the purpose of construction of Galois theory for the family (1) are endowed with the symmetric bilinear form (2iv) and are called -differential fields. In Section 1 are defined certain algebraic notions related to the symmetric bilinear form (2iv) and which are necessary for the construction of any Galois theory. Necessary and sufficient condition for the extension of the domain of the operator (this operator is not a derivation although it commutes with the partial derivations of the -differential field) from an -differential fieldK to a finitely generated -differential extension field is given in Theorem 1.Section 2 defines the notion of -differential mapping as linear mappings which preserve the symmetric bilinear form and commute with the partial derivations. The group properties of the set of -differential mappings are discussed and the Galois correspondence theorems set up for -differential fields.Section 3 sets up the notion of -Liouvillian extensions of -differential fields and briefly discusses the Galois groups associated with these -Liouvillian extension fields.Section 4 points to the procedure for the algebraic characterization of -simple--differential field extensions by elementary solutions of the partial differential equation _m =0.     

A relationship between the Mahler measure and the discriminant of algebraic numbers

In this note we show that in the well-known Dobrowolski estimate lnM() (ln lnd/ lnd)3,d , where is a nonzero algebraic number of degreed that is not a root of unity andM() is its Mahler measure, the parameterd can be replaced by the quantity=d/() ^1/d, where () is the modulus of the discriminant of. To this end, must satisfy the condition deg ^p=deg for any primep.Translated fromMatematicheskie Zametki, Vol. 59, No. 3, pp. 415–420, March, 1996.     

Inner functions and related spaces of pseudocontinuable functions

Let be an inner function, let C, ¦¦=1. Then the harmonic function [(+)]/(–)] is the Poisson integral of a singular measure D. N. Clark's known theorem enables us to identify in a natural manner the space H² H² with the space L² ( ).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 170, pp. 7–33, 1989.     

A class of non-Moufang Bol loops isomorphic to all their loop isotopes

For any two primes, , such that< and divides–1, it is shown that there exists a non-Moufang Bol loop of order ² which is isomorphic to each of its loop isotopes.     

C1,α-Solutions to a Class of Nonlinear Fluids in the 2D Stationary Dirichlet Problem

The existence of C ^1,-solutions of the nonlinear system that describes plane stationary flow of a class of non-Newtonian fluids is proved. In particular, this class includes various power-type models. It is assumed that the nonlinear operator has the p-potential structure, and the Dirichlet problem is considered. In the case of p > 3/2, the global C ^1,-solution is constructed. In the case of p > 6/5, a solution that possesses interior C ^1,-regularity is obtained. Bibliography: 24 titles.     

Fredholm integro-differential equation

We consider numerical solution of an integro-differential equation with nonsmooth initspaial values. Unique solvability in Sobolev spaceW ₂ (0, 1), =1,2, is proved. We establish the rate of convergence of the approximate solution to the exact solution in fractional spacesW ₂ ⁺¹ , 01, with approximation order O(h ^++1/2 ) for 01/2 andO(h ⁺¹ |ln h|1/2, for 1/2 #x2264;1.Translated from Vychislitel'naya i Prikladnaya Matematika, No. 64, pp. 8–16, 1988.     

Growth of length of sequential derivation transformed into natural one

We consider the (&, )-fragment of the intuitionistic propositional calculus. It is proved that under the standard transformation of a Gentzen derivation into a natural derivation(), the length of (())2^2·length( ). There is constructed a sequence of Gentzen derivations of length _i, for which the length of (( _i))2^{1/3·length(i}), which shows that the upper bound obtained is not too weak.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 88, pp. 192–196, 1979.     

Designs and partial geometries over finite fields

Let be a finite field, and let (, B) be a nontrivial 2-(n, k, 1)-design over . Then each point induces a (k–1)-spread S on /. (, B) is said to be a geometric design if S is a geometric spread on / for each . In this paper, we prove that there are no geometric designs over any finite field .Research partially supported by NSF grant DMS-8703229.     

Sum of Divisors in a Ring of Gaussian Integers

We construct an asymptotic formula for a sum function for _a (), where _a () is the sum of the ath powers of the norms of divisors of the Gaussian integer on an arithmetic progression ₀ (mod ) and in a narrow sector ₁ arg < ₂. For this purpose, we use a representation of _a (n) in the form of a series in the Ramanujan sums.     

Maximum of the fourth diameter in the family of continua with prescribed capacity

We obtain a complete solution of the problem of the maximum of the fourth diameter in the family of continua with capacity 1. Let E(o, eⁱ, e^–i). 0<i, e^–i; H(=cap E(o, eⁱ, e^–i). Let C() be the common point of three analytic arcs which form E(o, eⁱ, e^–i). One shows that the indicated maximum is realized by the continuum ={z:H(₀)z ²E(o, eⁱ, e^–i)} where ₀, o<₀z eⁱ z+C ( is a real and C is a complex constant). One finds the value of the required maximum. The paper contains a brief exposition of the proof of this result.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 59, pp. 60–79, 1976.     

Sur la convergence presque sure,au sens de Cesaro d'ordre α, 0<α<1, de variables aléatoires indepéndantes et identiquement distribuées

Summary We prove the following theorem: «Given 0<1, the (C, )-means of a sequence of i.i.d. random variables X _n converge a.s. iff E|X _n|^1/<.» For 1/2<1 and 0<<1/2 this result is essentially known. We give here a proof of the case =1/2; an important tool is a theorem of Hsu and Robbins [5].     

Bounding the diameter of a distance regular graph by a function ofk d

Let be a distance regular graph with diameterd, and _d () the set of vertices at distanced from. is said to be thin if the induced subgraph on _d () is a union of cliques for every vertex. We show that the diameterd is bounded above by a function depending only onk _d, which is the cardinality of _d (), if is not thin. We also investigate thin distance regular graphs witha _d 0.     

On the positive definiteness of n ↦ epnα for α close to 2

For >2, let Q ⁺() be the infimum of those q>0 for which the function n e^pn is positive definite on N ₀ for every pq. We shall prove that Q ⁺()0 as 2.     

Conjugate functions of several variables in the class Lip α

It is known that if a function f of a single variable belongs to the class Lip (, C(T)) (0<<1), then its conjugate function also belongs to the same class; in other words, the class Lip (, C(T)) (0<<1) is invariant with respect to the operator of conjugation acting in it. In the two-dimensional case the class Lip (, C(T²)) (0<<1) is no longer invariant with respect to conjugate functions of two variables. Here a final result elucidating the full character of violation of invariance of the class Lip (, C(T^N)) (0<<1) with respect to the multidimensional conjugation operator acting in it is established.Translated from Matematicheskie Zametki, Vol. 23, No. 3, pp. 361–372, March, 1978.