Abstract isomorphisms of quasiminimal groups

A connected solvable algebraic group is called minimal if its center is trivial and it has no proper connected subgroups with trivial center. We show that abstract isomorphisms of minimal groups defined over fields of characteristic zero are standard. Supported by RFFR grants Nos. 96-01-01678 and 96-01-01675, and by the State Committee for Higher Education of Russia, grant No. 2. Translated fromAlgebra i Logika, Vol. 35, No. 5, pp. 567–586, September–October, 1996.     

Extension by zero of functions of several variables

We obtain sufficient conditions on a domainG ⊂ ℝn for functions defined onG to be extendable by zero to the entire space ℝn with smoothness preserved in an integral norm. Translated fromMatematicheskie Zametki, Vol. 64, No. 3, pp. 351–365, September, 1998. This research was supported by the Russian Foundation for Basic Research under grant No. 96-01-00243 and by program “Leading Science Schools” under grant No. 96-15-96102.     

Conformal type and isoperimetric dimension of Riemannian manifolds

The notion of conformal isoperimetric dimension is introduced. For Riemannian manifolds, connections between its conformal isoperimetric dimension and its conformal type are established. Translated fromMatematicheskie Zametki, Vol. 63, No. 3, pp. 379–385, March, 1998. The authors are greatly indebted to N. A. Zorich for her help in preparing the computer version of this paper. This research was partially supported by the Russian Foundation for Basic Research under grants No. 96-01-01218 and No. 96-01-00901.     

The polynomial growth of colength of varieties of Lie algebras

It is proved that the colength of every API-variety of Lie algebras grows polynomially, and we give a number of examples in which the colength grows more rapidly than any polynomial function does. These indicate that for many of the important varieties of Lie algebras, such as varieties of solvable algebras of derived length 3, varieties generated by some infinite-dimensional simple algebras of Cartan type, or by certain Katz-Mudi algebras, the growth of colength will be superpolynomial. Supported by RFFR grants No. 96-01-00146 and No. 96-15-96050. Translated fromAlgebra i Logika, Vol. 38, No. 2, pp. 161–175, March–April, 1999.     

Locally nilpotent groups with the minimal condition on centralizers

It is proved that locally nilpotent groups with the minimal condition on centralizers are hypercentral, and that the Fitting subgroup of a group with the minimal condition on centralizers of normal subgroups is nilpotent. Supported by RFFR grant No. 96-01-00358. Translated fromAlgebra i Logika, Vol. 37, No. 3, pp. 270–278, May–June, 1998.     

Lower central series of sylow 2-subgroups of symplectic and orthogonal groups over ℤ2 m

Lower central series are constructed for 2-subgroups of orthogonal and symplectic groups over the ring of residue classes of integers modulo 2^m, treated as exceptional in the previous accounts. Nilpotency classes are found out. Supported by RFFR grant No. 96-01-00409, and by the Krasnoyarsk Foundation for Sciences, grant No. 5f0107. Translated fromAlgebra i Logika, Vol. 37, No. 4, pp. 413–431, July–August, 1998.     

Groups with finitely many linear orders

It is proved that there exist orderable groups having exactly 6 and 14 distinct linear orders. For any natural number k, we construct examples of orderable groups on which 2(4k+3) linear orders are defined. Supported by RFFR grant No. 96-01-00088. Translated fromAlgebra i Logika, Vol. 38, No. 2, pp. 176–200, March–April, 1999.     

Element orders in coverings of symmetric and alternating groups

We prove that if the factor group H=G/N of a finite group G is isomorphic to a symmetric or alternating group of degree m, where m≥5 and N≠1, then G has an element whose order is distinct from any element’s order in H. Supported by RFFR grant No. 96-01-01893. Translated fromAlgebra i Logika, Vol. 38, No. 3, pp. 296–315, May–June, 1999.     

Universal Horn classes and antivarieties of algebraic systems

We define and study universal Horn classes dual to varieties in both the syntactic and the semantic sense. Such classes, which we call antivarieties, appear naturally, e.g., in graph theory and in formal language theory. The basic results are the characterization theorem for antivarieties, the theorem on cores in axiomatizable color-families, and the decidability theorem for universal theories of families of interpretations of formal languages. Supported by RFFR grants Nos. 99-01-000485 and 96-01-00097, and also by DFG grant No. 436113/2670. Translated fromAlgebra i Logika, Vol. 39, No. 1, pp. 3–22, January–February, 2000.     

Completion of Linearly Ordered Groups

We give examples of linearly ordered groups that are not embeddable in divisible orderable. In the first example, the group does not embed in any divisible group with strictly isolated unity. In the second example, the group in question is an O*-group, and in the third, it is a group with a central system of convex subgroups. To my teacher A. I. Kokorin Supported by RFBR grant Nos. 96-01-00358, 99-01-00335, and 03-01-00320. __________ Translated from Algebra i Logika, Vol. 44, No. 6, pp. 664–681, November–December, 2005.     

Superintuitionistic logics and the projective beth property

It is proved that in superintuitionistic logics, the projective Beth property follows from the Craig interpolation property, but the converse does not hold. A criterion is found which allows us to reduce the problem asking whether the projective Beth property is valid in superintuitionistic logics to suitable properties of varieties of pseudoboolean algebras. It is shown that the principle of variable separation follows from the projective Beth property. On the other hand, the interpolation property in a logic L implies the projective Beth property in Δ(L). Supported by RFFR grants No. 96-01-01552 and No. 99-01-00600. Translated fromAlgebra i Logika, Vol. 38, No. 6, pp. 680–696, November–December, 1999.     

Groups of formal power series are fully orderable

We construct an example of a fully orderable group that is not locally solvable. It is also shown that a free group is embedded in a fully orderable group. To meet these ends, use is made of a group of invertible formal power series with zero free term under composition. Supported by RFFR grant No. 96-01-00088. Translated fromAlgebra i Logika, Vol. 37, No. 3, pp. 301–319, May–June, 1998.     

Nil-elements of index 2 in Mal’tsev algebras

It is proved that a Mal'tsev algebra over an associative commutative ring with 1, which contains 1/6 and is generated by a finite tuple of nil-elements of index 2, is nilpotent, and that an ideal of the Mal'tsev algebra over a field of characteristic 0, generated by nil-elements of index 2, is locally solvable. Supported by RFFR grant No. 96-01-01511. Translated fromAlgebra i Logika, Vol. 37, No. 3, pp. 358–373, May–June, 1998.     

Fields of representatives of commutative local rings and maximal scalar fields of finite-dimensional algebras

The structure of scalar fields for a directly indecomposable finite-dimensional algebra treated as a ring is studied. Scalar fields are assumed similar if their action on a ring is identical modulo an annihilator. The criterion for a class of maximal scalar fields to be unique under a similitude relation is established. Supported by RFFR grant No. 96-01-01675, and by RF State Committee of Higher Education. Translated fromAlgebra i Logika, Vol. 37, No. 6, pp. 667–686, November–December, 1998.     

Weight of faces in plane maps

Precise upper bounds are obtained for the minimum weight of minor faces in normal plane maps and 3-polytopes with specified maximum vertex degree. Translated fromMatematicheskie Zametki, Vol. 64, No. 5, pp. 648–657, November, 1998. The research of the first named author was supported in part by the Visiting Fellowship Research Grant GR/K00561 from the Engineering and Physical Sciences Research Council and by the Russian Foundation for Basic Research under grant No. 96-01-01614 and No. 97-01-01075.     

Recurrence of the integral of a smooth conditionally periodic function

We prove that the integral of a smooth multifrequency conditionally periodic function with zero mean oscillates. Translated fromMatematicheskie Zametki, Vol. 63, No. 5, pp. 737–748, May, 1998. The author wishes to express his deep gratitude to S. V. Konyagin for fruitful discussions, verification of the results, and the correction of some misprints. This research was supported by the Russian Foundation for Basic Research under grants No. 96-01-00378 and No. 96-15-96072 and by the EFAKOD Foundation.     

Constructibility of Boolean algebras of elementary characteristic (1,0,1)

We deal with problems of finding a criterion of being strongly constructivizable for Boolean algebras. An example of a constructive but not strongly constructivizable Boolean algebra of characteristic (1, 0, 1) with a decidable set of atoms is constructed, and the construction is then generalized to the case of an arbitrary characteristic (k+1,0,1). Supported by the RFFR grant No. 96-01-01525. Translated fromAlgebra i Logika, Vol. 37, No. 5, pp. 499–521, September–October, 1998.     

Asymptotics of the parabolic Green function for an elliptic operator on a manifold with conical points

We construct the asymptotics ast→0 of the trace of the operator exp(−tP) for an elliptic operatorP on a manifold with conical points. Translated fromMatematicheskie Zametki, Vol. 63, No. 1, pp. 28–36, January, 1998. This research was supported by the Belarus Foundation for Basic Research under grant No. 96-01 00790.     

Integral characteristics in the inverse problem of magnetotelluric sounding

This article examines some aspects of the one-dimensional inverse problem of magnetotelluric sounding. A uniqueness theorem is proved in the presence ofS-surfaces. A numerical algorithm based on transformation formulas is proposed. This research was partially supported by Russian Foundation for Basic Research (grant No. 96-01-00410) and by the State Scientific-Technical Program “Future Information Technologies” (grant No. 0201.06.010). Translated from Chislennye Metody v Matematicheskoi Fizike, Moscow State University, pp. 53–66, 1998.     

Generating triples of involutions for lie-type groups over a finite field of odd characteristic. I

It is proved that a simple Lie-type group of rank l≤4 over a field of odd characteristic is generated by three involutions of which two are commuting. As a consequence, the following results obtains: G is generated by two elements one of which is an involution and the order of the other is at most 2h, where h is the Coxeter number of a root system associated with G. Supported by RFFR grant No. 94-01-01084. Translated fromAlgebra i Logika, Vol. 36, No. 1, pp. 77–96, January–February, 1997.