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.     

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 .     

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.     

On the Irreducibility of Commuting Varieties Associated with Involutions of Simple Lie Algebras

Let be a reductive Lie algebra over an algebraically closed field of characteristic zero and an arbitrary -grading. We consider the variety , which is called the commuting variety associated with the -grading. Earlier it was proved by the author that is irreducible, if the -grading is of maximal rank. Now we show that is irreducible for and (E₆,F₄). In the case of symmetric pairs of rank one, we show that the number of irreducible components of is equal to that of nonzero non--regular nilpotent G ₀-orbits in . We also discuss a general problem of the irreducibility of commuting varieties.     

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.     

Soluble Groups and Varieties of <Emphasis Type="Italic">l</Emphasis>-Groups

A sufficient condition is given under which factors of a system of normal convex subgroups of a linearly ordered (l.o.) group are Abelian. Also, a sufficient condition is specified subject to which factors of a system of normal convex subgroups of an l.o. group are contained in a group variety . In particular, for every soluble l.o. group G of solubility index n, n ⩾ 2, factors of a system of normal convex subgroups are soluble l.o. groups of solubility index at most n − 1. It is proved that the variety of all lattice-ordered groups, approximable by linearly ordered groups, does not coincide with a variety generated by all soluble l.o. groups. It is shown that if is any o-approximable variety of l-groups, and if every identity in the group signature is not identically true in , then contains free l.o. groups.Supported by FP “Universities of Russia” grant UR. 04. 01. 001.__________Translated from Algebra i Logika, Vol. 44, No. 3, pp. 355–367, May–June, 2005.     

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 .     

Degree Spectra of Relations on Boolean Algebras

We show that every computable relation on a computable Boolean algebra is either definable by a quantifier-free formula with constants from (in which case it is obviously intrinsically computable) or has infinite degree spectrum.     

Generalized Harish-Chandra Modules: A New Direction in the Structure Theory of Representations

Let be a reductive Lie algebra over C. We say that a -module M is a generalized Harish-Chandra module if, for some subalgebra , M is locally -finite and has finite -multiplicities. We believe that the problem of classifying all irreducible generalized Harish-Chandra modules could be tractable. In this paper, we review the recent success with the case when is a Cartan subalgebra. We also review the recent determination of which reductive in subalgebras are essential to a classification. Finally, we present in detail the emerging picture for the case when is a principal 3-dimensional subalgebra.     

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 .     

Homological Dimensions of the Algebra Formed by Entire Functions of Elements of a Nilpotent Lie Algebra

This note deals with homological characteristics of algebras of holomorphic functions of noncommuting variables generated by a finite-dimensional nilpotent Lie algebra . It is proved that the embedding of the universal enveloping algebra of into its Arens–Michael hull is an absolute localization in the sense of Taylor provided that      

Derangements and Tensor Powers of Adjoint Modules for \mathfrak{s}\mathfrak{l}_n

We obtain the decomposition of the tensor space as a module for , find an explicit formula for the multiplicities of its irreducible summands, and (when n 2k) describe the centralizer algebra = ( ) and its representations. The multiplicities of the irreducible summands are derangement numbers in several important instances, and the dimension of is given by the number of derangements of a set of 2k elements.     

Quasivariety Generated by Free Metabelian and 2-Nilpotent Groups

Let qG be a quasivariety generated by a group G and be a non-Abelian quasivariety of groups with a finite lattice of subquasivarieties. Suppose is contained in a quasivariety generated by the following two groups: a free 2-nilpotent group F₂( ₂) of rank 2 and a free metabelian (i.e., with an Abelian commutant) group F₂( ₂) of rank 2. It is proved that either = qF₂( ₂) or = qF₂( ₂) in this instance.__________Translated from Algebra i Logika, Vol. 44, No. 4, pp. 389–398, July–August, 2005.     

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 .     

Complétude des métriques lorentziennes de\mathbb{T}^2 et difféomorphismes du cercle

Let and the foliations by the null geodesics of some lorentzian metricg on the torus . We analyse how geodesic completeness properties ofg are related to the dynamics of and .     

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.     

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.