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.     

The property of having independent basis in semigroup varieties

There exist independently based semigroup varieties and , , such that has no cover in the interval [ ; ].Translated from Algebra i Logika, Vol. 44, No. 1, pp. 81–96, January–February, 2005.     

Primitive systems of elements in the variety\mathfrak{A}\mathfrak{N}_2 and some locally finite varieties of groupsand some locally finite varieties of groups

Part of any basis of a relatively free group in the variety is called a primitive system of elements. We provide a criterion of being primitive for , where is a variety of Abelian groups satisfying x^m=1, and a variety generated by a finite group. Let be a variety of nilpotent groups of class ≤c. It is proved that, for the group , the property of being primitive for an element g is stronger than the condition of being unimodular on a vector composed of values of Fox derivatives in the ring . The group is not residually finite whenever a system of elements is primitive. Supported by RFFR grant No. 96-01-01948. Translated fromAlgebra i Logika, Vol. 37, No. 6, pp. 687–699, November–December, 1998.     

Unilateral <Emphasis Type="Italic">o</Emphasis>-Groups

For a big number of varieties of groups close to Engelian, it is proved that a variety of lattice-ordered groups generated by all linearly ordered groups in the class does not coincide with the variety of all o-approximable lattice-ordered groups. Supported by FP “Universities of Russia” grant No. UR.04.01.001. __________ Translated from Algebra i Logika, Vol. 45, No. 1, pp. 20–27, January–February, 2006.     

The Reduced Minimum Modulus in <Emphasis>C</Emphasis><Superscript>*</Superscript>-Algebras

We define the reduced minimum modulus of a nonzero element a in a unital C ^*-algebra by . We prove that . Applying this result to and its closed two side ideal , we get that dist , and for any if RR = 0, where and is the quotient homomorphism and . These results generalize corresponding results in Hilbert spaces.     

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 .     

Isometries and direct decompositions of pseudo MV-algebras

In the paper isometries in pseudo MV-algebras are investigated. It is shown that for every isometry f in a pseudo MV-algebra = (A, ⊕, ⁻, ^∼, 0, 1) there exists an internal direct decomposition of with commutative such that and for each x ∈ A. On the other hand, if is an internal direct decomposition of a pseudo MV-algebra = (A, ⊕, ⁻, ^∼, 0, 1) with commutative, then the mapping g: A → A defined by is an isometry in and .      

Special finite-dimensional monocomposition algebras

Special monocomposition algebras introduced in [1] are studied. Using their properties, we prove that any nondegenerate monocomposition algebra ,dim ≥ 3, with unity contains no proper ideal of dimension ≤8. This implies that if 3≤dim ≤ 9, then is a central simple algebra. Translated fromAlgebra i Logika, Vol. 35, No. 2, pp. 125–144, March–April, 1996.     

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.     

Quasi-uniform completions of partially ordered spaces

In this paper we define partially ordered quasi-uniform spaces (X, , ≤) (PO-quasi-uniform spaces) as those space with a biconvex quasi-uniformity on the poset (X, ≤) and give a construction of a (transitive) biconvex compatible quasi-uniformity on a partially ordered topological space when its topology satisfies certain natural conditions. We also show that under certain conditions on the topology of a PO-quasi-uniform space (X, , ≤), the bicompletion of (X, ) is also a PO-quasi-uniform space ( , ⪯) with a partial order ⪯ on that extends ≤ in a natural way.      

Holomorphic automorphisms and collective compactness in J*-algebras of operator

Let G be the Banach-Lie group of all holomorphic automorphisms of the open unit ball in a J^*-algebra of operators. Let be the family of all collectively compact subsets W contained in . We show that the subgroup F ⊂ G of all those g ∈ G that preserve the family is a closed Lie subgroup of G and characterize its Banach-Lie algebra. We make a detailed study of F when is a Cartan factor.      

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.     

Categories with homotopy determine a closed model structure

In a category with homotopy (Definition 1.1), one can define a natural concept of (co)fibrations and weak equivalences (Sec. 2) such that some properties of a closed model category hold. If is a complete and cocomplete category (with respect to finite limits) with simplicial homotopy (Definition 1.3), one achieves a full closed model structure in (Theorem 4.6). For each category with homotopy , there exists a category with simplicial homotopy (see Sec. 5) (the simplicial envelope of ). If is already a complete category with simplicial homotopy, then is Quillen equivalent to (Theorem 5.9). __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 41, Topology and Its Applications, 2006.     

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.     

Test Rank for Some Free Polynilpotent Groups

We prove a theorem on possible test rank values for groups of the form . It is shown that test rank of a free polynilpotent group is equal to or , for any and every collection of classes. Moreover, for and .     

A family of transitive modular Lie superalgebras with depth one

The embedding theorem is established for Z-graded transitive modular Lie superalgebras g=(?)satisfying the conditions: (i)g0(?)(g-1)and g0-module g-1 is isomorphic to the natural(?)(g-1)-module; (ii)dim g1=2/3n(2n~2 1),where n=1/2dim g-1. In particular,it is proved that the finite-dimensional simple modular Lie superalgebras satisfying the conditions above are isomorphic to the odd Hamiltonian superalgebras.The restricted Lie superalgebras are also considered.     

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 .     

Quantum duality in quantum deformations

In accordance with the quantum duality principle, the twisted algebra is equivalent to the quantum group and has two preferred bases: one inherited from the universal enveloping algebra and the other generated by coordinate functions of the dual Lie group . We show howthe transformation can be explicitly obtained for any simple Lie algebra and a factorable chain of extended Jordanian twists. In the algebra , we introduce a natural vector grading , compatible with the adjoint representation of the algebra. Passing to the dual-group coordinates allows essentially simplifying the costructure of the deformed Hopf algebra , considered as a quantum group . The transformation can be used to construct new solutions of the twist equations. We construct a parameterized family of extended Jordanian deformations and study it in terms of ; we find new realizations of the parabolic twist. Dedicated to the birthday of my teacher, Yurii Novozhilov __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 148, No. 1, pp. 112–125, July, 2006.     

The Löwenheim—Skolem—Mal'tsev Theorem for ℍ\mathbb{F}-Structures

We deal with the problem asking whether hereditarily finite superstructures have elementary extensions of the form . In so doing, we settle the question whether a theory for some hereditarily finite superstructure have models of arbitrarily large cardinality. A Hanf number is shown to exist, and we provide an exact bound for the countable case.