Completion of an additive measure to a σ-additive measure by an extension of the space

For an algebra of subsets of a set X there is constructed a set and an algebra of its subsets so that the mapping is a one-to-one correspondence between and and for each additive measure on the measure on defined by the equation is countably additive.Translated from Matematicheskie Zametki, Vol. 3, No. 1, pp. 71–76, January, 1968.The author wishes to express his deep appreciation to S. V. Fomin, under whose guidance this paper was written.     

On periodic groups of automorphisms of extremal groups

It is proved that if a periodic group has an extremal normal divisor , determining a complete abelian factor group , then the center of the group contains a complete abelian subgroup , satisfying the relation and intersecting on a finite subgroup. It is also established with the aid of this proposition that every periodic group of automorphisms of an extremal group is a finite extension of a contained in it subgroup of inner automorphisms of the group .Translated from Matematicheskie Zametki, Vol. 4, No. 1, pp. 91–96, July, 1968.     

Some stability properties for analytic operator functions

Let be a connected, finite-dimensional, complex analytic manifold; let T() be an analytic function defined on , whose values are J-biexpanding operators on a J-space H. Let (A) denote the range of A. The following assertions are proved: 1. The lineals and do not depend on . 2. For arbitrary we have Translated from Matematicheskie Zametki, Vol. 20, No. 4, pp. 511–520, October, 1976.     

Joint Approximations of Distributions in Banach Spaces

For a given homogeneous elliptic partial differential operator with constant complex coefficients, two Banach spaces and of distributions in , and compact sets and in , we study joint approximations in the norms of the spaces and (the spaces of Whitney jet-distributions) by the solutions of the equation in neighborhoods of the set . We obtain a localization theorem, which, under certain conditions, allows one to reduce the above-cited approximation problem to the corresponding separate problems in each of the spaces.     

A new product of algebras and a type reduction theorem

A construction is defined which associates, to every algebra of a fixed but arbitrary finite similarity type, a groupoidF . The identities ofF are finitely based if and only if those of are, andF is finite if and only if is finite. Up to isomorphism,F has the same endomorphism monoid and subalgebra lattice as , but the congruence lattice ofF is the result of adjoining a new 1 to the congruence lattice of .F is functorial, preserves the satisfaction (and the non-satisfaction) of most Mal'cev conditions, and produces, by composition with the operation of forming the generated variety, an isomorphism of the lattice of varieties of fixed type to an interval in the lattice of varieties of groupoids.The construction makes use of a new product operation, applicable to two algebras of differing similarity types, which is introduced and studied in this paper.Research supported by National Science Foundation grant MCS-8103455.Presented by K. A. Baker.     

On causality in commutant lifting theorem. I

Two functionals (A) and for an operatorA were introduced in [11] for the study of causality in commutant lifting theory. In this paper we give sufficient and necessary conditions for in a special case. We prove that in this case , and we show by some examples related to nonlinear system control that is the best constant in our inequality.     

Absolute Continuity of the Spectrum of a Periodic Schrödinger Operator

We prove the absolute continuity of the spectrum of the Schrödinger operator in , , with periodic (with a common period lattice ) scalar and vector potentials for which either , , or the Fourier series of the vector potential converges absolutely, , where is an elementary cell of the lattice , for , and for , and the value of is sufficiently small, where and otherwise, , and .     

Nilpotent shifts on manifolds

On the lattice of manifolds of all algebras L we study the operator of nilpotent closure , where is a nilpotent manifold of -algebras. With a given system of identities defining, we construct a system ^*, giving the manifold It is proved that if does not contain , then the lattice of submanifolds of is the double of the lattice of submanifolds of. We describe the free and subdirect indecomposable manifolds of algebras . Let and A be adense retract of B. We denote by (B) the lattice of congruences on B. The theorem is proved: (B) is a complemented lattice if and only if (A) is a complemented lattice.Translated from Matematicheskie Zametki, Vol. 14, No. 5, pp. 703–712, November, 1973.     

Uniform Convergence of Trigonometric Series with Rarely Changing Coefficients

We consider the series and whose coefficients satisfy the condition for , where the sequence can be expressed as the union of a finite number of lacunary sequences. The following results are obtained. If as , then the series is uniformly convergent. If for all , then the sequence of partial sums of this series is uniformly bounded. If the series is convergent for and as , then this series is uniformly convergent. If the sequence of partial sums of the series for is bounded and for all , then the sequence of partial sums of this series is uniformly bounded. In these assertions, conditions on the rates of decrease of the coefficients of the series are also necessary if the sequence is lacunary. In the general case, they are not necessary.     

Prime ideal decomposition inF({}^m\sqrt \mu )

LetF be an algebraic number field and F such thatx ^m– is irreducible, wherem is an integer. Let be a prime ideal inF with . The prime decomposition of in is explicitly obtained in the following cases. Case 1: , (a,m) = 1 (where means , 0 ). Case 2:m lt, wherel is a prime andl 0 . Case 3:m 0 and every prime that dividesm also dividespf–1. It is not assumed that thev ^th roots of unity are inF for anyv 2.     

Exponential Stability of Semigroups Related to Operator Models in Mechanics

In this paper, we consider equations of the form , where is a function with values in the Hilbert space , the operator B is symmetric, and the operator A is uniformly positive and self-adjoint in . The linear operator generating the C ₀-semigroup in the energy space is associated with this equation. We prove that this semigroup is exponentially stable if the operator B is uniformly positive and the operator A dominates B in the sense of quadratic forms.     

On the word problem and the conjugacy problem for groups of the formF/V(R)

LetF be a free group with at most countable system of free generators, letR be its normal subgroup recursively enumerable with respect to , and let be a variety of groups that differs from and for which the corresponding verbal subgroupV of the free group of countable rank is recursive. It is proved that the word problem inF/V(R) is solvable if and only if this problem is solvable inF/R, and if , then there exists anR such, that the conjugacy problem inF/R is solvable, but this problem is unsolvable inF/V(R) for any Abelian variety (all algorithmic problems are regarded with respect to the images of under the corresponding natural epimorphisms). Translated fromMatematicheskie Zametki, Vol. 61, No. 1, pp. 3–9, January, 1997. Translated by M. I. Anokhin     

Characterization of Normal Traces on Von Neumann Algebras by Inequalities for the Modulus

It is proved that if a normal semifinite weight on a von Neumann algebra satisfies the inequality for any selfadjoint operators in , then this weight is a trace. Several similar characterizations of traces among the normal semifinite weights are proved. In particular, Gardner's result on the characterization of traces by the inequality is refined and reinforced.     

Trajectory and Global Attractors of Three-Dimensional Navier--Stokes Systems

We construct the trajectory attractor of a three-dimensional Navier--Stokes system with exciting force . The set consists of a class of solutions to this system which are bounded in , defined on the positive semi-infinite interval of the time axis, and can be extended to the entire time axis so that they still remain bounded-in- solutions of the Navier--Stokes system. In this case any family of bounded-in- solutions of this system comes arbitrary close to the trajectory attractor . We prove that the solutions are continuous in t if they are treated in the space of functions ranging in . The restriction of the trajectory attractor to , , is called the global attractor of the Navier--Stokes system. We prove that the global attractor thus defined possesses properties typical of well-known global attractors of evolution equations. We also prove that as the trajectory attractors and the global attractors of the -order Galerkin approximations of the Navier--Stokes system converge to the trajectory and global attractors and , respectively. Similar problems are studied for the cases of an exciting force of the form depending on time and of an external force rapidly oscillating with respect to the spatial variables or with respect to time .     

On the Spectrum of Degenerate Operator Equations

We study the distribution in the complex plane of the spectrum of the operator , generated by the closure in of the operation originally defined on smooth functions with values in a Hilbert space satisfying the Dirichlet conditions . Here and A is a model operator acting in . Criterial conditions on the parameter for the eigenfunctions of the operator to form a complete and minimal system as well as a Riesz basis in the Hilbert space H are given.     

On the convergence of powers of interval matrices (2)

Summary Let be a real irreduciblen×n interval matrix. Then a necessary and sufficient condition is given for the sequence of the powers of an interval matrix to converge to a matrix which is not the null matrix. In addition a criterion for is proved to decide whether the limit matrix satisfies the condition of symmetry .     

A Helly-type theorem for simple polygons

Let be a family of simple polygons in the plane. If every three (not necessarily distinct) members of have a simply connected union and every two members of have a nonempty intersection, then {P:P in } . Applying the result to a finite family of orthogonally convex polygons, the set {C:C in } will be another orthogonally convex polygon, and, in certain circumstances, the dimension of this intersection can be determined.Supported in part by NSF grant DMS-9207019.     

(i)-Convergence and its application to a sequence of functions

Let , where A is a directed set containing cofinal chains — a generalized sequence in a complete chain. It is established that every such sequence contains a monotonic cofinal sub-sequence. For a monotonically increasing (decreasing) bounded sequence , by definition, we put . For an arbitrary sequence the (i)-limit is defined as the common (i)-limit of its monotonic cofinal sub-sequences. The properties of (i)-convergence and some of its applications to generalized sequences of mappings are discussed.Translated from Matematicheskie Zametki, Vol. 14, No. 6, pp. 809–820, December, 1973.     

Operators of fibered groups

Let (G, ) denote a finite groupG with fibration . The group Aut (G, ) of operators of (G, ) is closely related to the group of collineations of (G, ). In this paper we investigate the geometric properties imposed on (G, ) by requiring that Aut (G, )=AutG. We find that in many instances this algebraic property restricts the geometry to a very special form.Dedicated to Professor Helmut Karzel on the occasion of his 60th birthday.     

Notes on Brown-McCoy-radicals for Γ-near-rings

The Brown-McCoy radical is known to be an ideal-hereditary Kurosh-Amitsur radical in the variety of zerosymmetric near-rings. We define the Brown-McCoy and simplical radicals, and , respectively, for zerosymmetric -near-rings. Both and are ideal-hereditary Kurosh-Amitsur radicals in that variety. IfM is a zerosymmetric -near-ring with left operator near-ringL, it is shown that , with equality ifM has a strong left unity. is extended to the variety of arbitrary near-rings, and and are extended to the variety of arbitrary -near-rings, in a way that they remain Kurosh-Amitsur radicals. IfN is a near-ring andA N, then , with equality ifA if left invariant.