Equational Theories for Classes of Finite Semigroups

It is proved that there exists an infinite sequence of finitely based semigroup varieties such that, for all i, an equational theory for and for the class of all finite semigroups in is undecidable while an equational theory for and for the class of all finite semigroups in is decidable. An infinite sequence of finitely based semigroup varieties is constructed so that, for all i, an equational theory for and for the class of all finite semigroups in is decidable whicle an equational theory for and for the class of all finite semigroups in is not.     

Convex Subgroups of Partially Right-Ordered Groups

We study into the question of whether a partial order can be induced from a partially right-ordered group onto a space of right cosets of w.r.t. some subgroup of . Examples are constructed showing that the condition of being convex for in is insufficient for this. A necessary and sufficient condition (in terms of a subgroup and a positive cone of ) is specified under which an order of can be induced onto . Sufficient conditions are also given. We establish properties of the class of partially right-ordered groups for which is partially ordered for every convex subgroup , and properties of the class of groups such that is partially ordered for every partial right order on and every subgroup that is convex under .     

Levi Classes Generated by Nilpotent Groups

Let be a class of all groups G for which the normal closure (x) ^G of every element x belongs to a class . is a Levi class generated by . Let and ₀ be classes of finitely generated nilpotent groups and of torsion-free, finitely generated, nilpotent groups, respectively. We prove that and , and so and . It is shown that quasivarieties and are closed under free products, and that each contains at most one maximal proper subquasivariety. It is also proved that is closed under free products if so is .     

Frobenius Groups Generated by Quadratic Elements

An automorphism of a group X is said to be quadratic if there exist integers and such that for any . If is a Frobenius group then an element is said to be quadratic if induces, by conjugation in the core of , a quadratic automorphism. By definition, a group H acts on a group F freely if for and only with or . It is proved that a Frobenius group generated by two quadratic elements is finite and its core is commutative. In particular, any Frobenius group generated by two elements of order at most 4 is finite. Also we argue that a Frobenius group with finitely generated soluble core is finite. The results mentioned are used to show that a group acting freely on an Abelian group is finite if it is generated by elements of order 3, and the order of a product of every two elements of order 3 in is finite.     

Automorphisms of Aschbacher Graphs

If a regular graph of valence and diameter has vertices, then , which was proved by Moore (cf. [1]). Graphs for which this non-strict inequality turns into an equality are called Moore graphs. Such have an odd girth equal to . The simplest example of a Moore graph is furnished by a -triangle. Damerell proved that a Moore graph of valence has diameter 2. In this case , the graph is strongly regular with and , and the valence is equal to 3 (Peterson's graph), to 7 (Hoffman–Singleton's graph), or to 57. The first two graphs are of rank 3. Whether a Moore graph of valence exists is not known; yet, Aschbacher proved that the Moore graph with will not be a rank 3 graph. We call the Moore graph with the Aschbacher graph. Cameron showed that such cannot be vertex transitive. Here, we treat subgraphs of fixed points of Moore graph automorphisms and an automorphism group of the hypothetical Aschbacher graph for the case where that group contains an involution.     

The Lattice of Quasivarieties of Torsion-Free Metabelian Groups

Assume that a quasivariety of groups contains a non-Abelian free metabelian group and a non-Abelian free nilpotent group of class 2. It is proved that the lattice of quasivarieties contained in is infinite and non-modular.     

Symmetry of Sections in Fields of Formal Power Series and a Non-Standard Real Line

Let be a field of formal power series with real coefficients, whose supports are well ordered subsets of an Abelian group of cardinality strictly less than . For , we give criteria of a section being symmetric and of a symmetric section being Dedekind. It is proved that an -saturated non-standard real line is isomorphic to some field of the form . For , some consequences are inferred regarding symmetric sections, and the cofinality of banks of the sections.     

Varieties Defined by Permutations

We continue to study interrelations between permutative varieties and the cyclic varieties defined by cycles of the form . A criterion is given determining whether a cyclic variety is interpretable in . For a permutation without fixed elements, it is stated that a set of primes for which is interpretable in in the lattice is finite. It is also proved that for distinct primes , the Helly number of a type in coincides with dimension of the dual type and equals .     

A Question in the Theory of Totally Local Formations of Finite Groups

It is proved that all proper totally local subformations of a non one-generated totally local formation of finite groups are one-generated iff coincides with a formation of all soluble -groups, where ||=2.     

Factorizations of One-Generated Composition Formations

A non-empty formation of finite groups is said to be solubly saturated, or we call it a composition formation, if every finite group G having a normal subgroup N such that belongs to . An intersection of all composition formations containing a given group G is denoted cformG. Conditions are described under which has the form , where .     

Lattices of interpretability types of varieties

Let be the set of all primes, the field of all algebraic numbers, and Z the set of square-free natural numbers. We consider partially ordered sets of interpretability types such as , and , where AD is a variety of -divisible Abelian groups with unique taking of the pth root _p(x) for every p , is a variety of -modules over a normal field , contained in , and G_n is a variety of n-groupoids defined by a cyclic permutation (12 ...n). We prove that , and are distributive lattices, with and where ub and ub_f are lattices (w.r.t. inclusion) of all subsets of the set and of finite subsets of , respectively.Deceased.__________Translated from Algebra i Logika, Vol. 44, No. 2, pp. 198–210, March–April, 2005.     

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 .     

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 .     

Bernstein-Type Theorems and Uniqueness Theorems

Let be an entire function of finite type with respect to finite order and let be a subset of an open cone in a certain n-dimensional subspace (the smaller , the sparser ). We assume that this cone contains a ray 0} \right\}$$ " align="middle" border="0"> . It is shown that the radial indicator of at any point may be evaluated in terms of function values at points of the discrete subset . Moreover, if tends to zero fast enough as over , then this function vanishes identically. To prove these results, a special approximation technique is developed. In the last part of the paper, it is proved that, under certain conditions on and , which are close to exact conditions, the function bounded on is bounded on the ray.     

Simultaneous Preservation of Orthogonality of Polynomials by Linear Operators Arising from Dilation of Orthogonal Polynomial Systems

For an orthogonal polynomial system and a sequence of nonzero numbers,let be the linear operator defined on the linear spaceof all polynomials via for all .We investigate conditions on and under which can simultaneously preserve the orthogonality ofdifferent polynomial systems. As an application, we get that for , a generalized Laguerre polynomial system, no can simultaneously preserve the orthogonality of twoadditional Laguerre systems, and , where and . On the other hand, for ,the Chebyshev polynomial system and , simultaneously preserves the orthogonality of uncountablymany kernel polynomial systems associated with p. We study manyother examples of this type.     

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.     

Relatively Hyperimmune Relations on Structures

Let be a computable structure and let R be an additional relation on its domain. We establish a necessary and sufficient condition for the existence of an isomorphic copy of such that the image of R is h-simple (h-immune) relative to .     

A Constructive Proof of the Generalized Gelfand Isomorphism

Using an analog of the classical Frobenius recursion, we define the notion of a Frobenius -homomorphism. For , this is an ordinary ring homomorphism. We give a constructive proof of the following theorem. Let X be a compact Hausdorff space, the th symmetric power of X, and the algebra of continuous complex-valued functions on X with the sup-norm; then the evaluation map defined by the formula identifies the space with the space of all Frobenius -homomorphisms of the algebra into with the weak topology.