Irreducible structurable bimodules for algebras generated by skew-symmetric elements

Irreducible bimodules over finite-dimensional central structurable algebras generated by skew-symmetric elements are described. Supported by IFFR grant No. RB 6000, and by the State Committee for Higher Education of Russia, grant No. 8. Translated fromAlgebra i Logika, Vol. 35, No. 6, pp. 719–745, November–December, 1996.     

Globalizing local actions of coalgebras

It is proved that any continuous weakly invertible local measuring of an algebra with a coalgebra extends to the global measuring of a quotient algebra. Also, any twisted measuring with an invertible cocycle is shown to be weakly invertible, and sufficient conditions are specified for pointed and connected algebras to have continuous measurings. Supported by RFFR grant No. 95-01-01356a and by ISF grants Nos. RPS 000 and RPS 300. Translated fromAlgebra i Logika, Vol. 35, No. 2, pp. 190–213, March–April, 1996.     

The Kantor-Koecher-Tits construction for Jordan coalgebras

The relationship between Jordan and Lie coalgebras is established. We prove that from any Jordan coalgebra 〈L(A), Δ〉, it is possible to construct a Lie coalgebra 〈L(A), Δ_L〉. Moreover, any dual algebra of the coalgebra 〈L(A), Δ_L〉 corresponds to a Lie algebra that can be determined from the dual algebra for (A, Δ), following the Kantor-Koecher-Tits process. The structure of subcoalgebras and coideals of the coalgebra 〈L(A), Δ_L〉 is characterized. Supported by ISF grant No. RB 6000. Translated fromAlgebra i Logika, Vol. 35, No. 2, pp. 173–189, March–April, 1996.     

Isomorphism types of Rogers semilattices for families from different levels of the arithmetical hierarchy

We investigate differences in isomorphism types for Rogers semilattices of computable numberings of families of sets lying in different levels of the arithmetical hierarchy. Supported by RFBR grant No. 05-01-00819 and by INTAS grant No. 00-499. Supported by NSFC grant No. 60310213. __________ Translated from Algebra i Logika, Vol. 45, No. 6, pp. 637–654, November–December, 2006.     

Automatic recognition of interpolation in modal calculi

We deal with some issues on automatic recognition of interpolation properties in modal calculi extending the logics S5 and S4.3. Supported by RFBR grant No. 06-01-00358 and by INTAS grant No. 04-77-7080. __________ Translated from Algebra i Logika, Vol. 46, No. 1, pp. 103–119, January–February, 2007.     

The Chevalley and Costant theorems for Mal’tsev algebras

Centers of universal envelopes for Mal’tsev algebras are explored. It is proved that the center of the universal envelope for a finite-dimensional semisimple Mal’tsev algebra over a field of characteristic 0 is a ring of polynomials in a finite number of variables equal to the dimension of its Cartan subalgebra, and that universal enveloping algebra is a free module over its center. Centers of universal enveloping algebras are computed for some Mal’tsev algebras of small dimensions. Supported by FAPESP grant No. 04/08537-4 and by SO RAN grant No. 1.9. Supported by FAPESP grant Nos. 05/60142-7, 05/60337-2 and by CNPq grant No. 304991/2006-6. __________ Translated from Algebra i Logika, Vol. 46, No. 5, pp. 560–584, September–October, 2007.     

Freedom from the interpolation property for tense calculi associated with Ershov spaces

We study into the question whether calculi associated with Ershov topological spaces possess Craig’s interpolation property. Supported by RFBR grant No. 06-01-00358, by INTAS grant No. 04-77-7080, and by the Council for Grants (under RF President) and State Aid of Fundamental Science Schools, project NSh-4787.2006.1. __________ Translated from Algebra i Logika, Vol. 46, No. 6, pp. 745–762, November–December, 2007.     

Simple Filippov superalgebras of type B(m, n)

This account is a first step toward a classification of finite-dimensional simple Filippov superalgebras over an algebraically closed field of characteristic 0. Here, n-ary Filippov superalgebras with nonzero even and odd parts are treated for the case n ⩾ 3. Supported by RFBR (grant No. 05-01-00230) and by SB RAS (Integration project No. 1.9 and Young Researchers Support grant No. 29). __________ Translated from Algebra i Logika, Vol. 47, No. 2, pp. 240–261, March–April, 2008.     

Cosemisimple Coextensions and Homological Dimension of Smash Coproducts

Let H be a finite dimensional cosemisimple Hopf algebra, C a left H-comodule coalgebra and let C = C/C（H^＊）^＋ be the quotient coalgebra and the smash coproduct of C and H. It is shown that if C/C is a eosemisimple coextension and C is an injective right C-comodule, then gl. dim（the smash coproduct of C and H） = gl. dim（C） = gl. dim（C）, where gl. dim（C） denotes the global dimension of coalgebra C.     

Fuzzy logics with modalities

We explore the basic fuzzy logic BL as well as propositional fuzzy logics with modalities □ and ◊ and a total accessibility relation. Formulations and proofs are given to replacement theorems for BL. A basic calculus of modal fuzzy logic is introduced. For this calculus and its extensions, we prove replacement and deduction theorems. Supported by RFBR grant No. 06-01-00358, by INTAS grant No. 04-77-7080, and by the Council for Grants (under RF President) and State Aid of Fundamental Science Schools, project NSh-4787.2006.1. __________ Translated from Algebra i Logika, Vol. 45, No. 6, pp. 731–757, November–December, 2006.     

Asymptotics ast → ∞ of the solutions of nonlinear equations with nonsmall initial perturbations

A new method is proposed for finding asymptotics ast → ∞ of the solutions of the Cauchy problem for nonlinear evolution equations with nonsmall initial data. Translated fromMatematicheskie Zametki, Vol. 59, No. 6, pp. 855–864, June, 1996. This research was supported by the Russian Foundation for Basic Research under grant No. 93-011-134 and by the International Science Foundation under grant No. BX000.     

Recognition of simple groups U 3(Q) by element orders

An exhaustive solution is given to the recognition-by-spectrum problem for finite, simple, three-dimensional unitary groups. For every such group, the number of non-isomorphic, finite, isospectral groups is determined. In particular, a new counterexample to Problem 13.63 in the Kourovka Notebook is furnished. Supported by RFBR grant No. 05-01-00797, and by SB RAS Young Researchers Support grant No. 29 and Integration Project No. 2006.1.2. __________ Translated from Algebra i Logika, Vol. 45, No. 2, pp. 185–202, March–April, 2006.     

Recognition of finite groups by the prime graph

We obtain the first example of an infinite series of finite simple groups that are uniquely determined by their prime graph in the class of all finite groups. We also show that there exist almost simple groups for which the number of finite groups with the same prime graph is equal to 2. Supported by RFBR grant No. 05-01-00797, and by SB RAS Young Researchers Support grant No. 29 and Integration project No. 2006.1.2. __________ Translated from Algebra i Logika, Vol. 45, No. 4, pp. 390–408, July–August, 2006.     

The Word Problem for Polynilpotent Groups with a Single Primitive Defining Relation

It is shown that polynilpotent groups with a single primitive defining relation have a decidable word problem. Supported by RFBR grant No. 05-01-00292. __________ Translated from Algebra i Logika, Vol. 45, No. 1, pp. 28–43, January–February, 2006.     

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.     

Lattices embeddable in subsemigroup lattices. II. Cancellative semigroups

Repnitskii proved that any lattice embeds in a subsemigroup lattice of some commutative, cancellative, idempotent free semigroup with unique roots. In that proof, use is made of a result by Bredikhin and Schein stating that any lattice embeds in a suborder lattice of suitable partial order. Here, we present a direct proof of Repnitskii’s result which is independent of Bredikhin-Schein’s, thus giving the answer to the question posed by Shevrin and Ovsyannikov. Supported by INTAS grant No. 03-51-4110; RF Ministry of Education grant No. E02-1.0-32; Council for Grants (under RF President) and State Aid of Fundamental Science Schools, project NSh-2112.2003.1; a grant from the Russian Science Support Foundation; SB RAS Young Researchers Support project No. 11. __________ Translated from Algebra i Logika, Vol. 45, No. 4, pp. 436–446, July–August, 2006.     

Δ-spaces

We introduce the notion of a Δ-space and argue that a complete subcategory of the categoryTOP ₀of all topological T₀-spaces, defined by Δ-spaces, is a subdirectly closed subcategory ofTOP ₀that contains many of the known denotational semantic categories of topological spaces as subdirectly closed subcategories. As a consequence, the affirmative answer is given to Scott’s question which inquires whether the category of bifinite domains is a complete subdirectly closed subcategory ofEQU. Supported jointly by RFFR grant No. 96-0-00976 and by DFG grant No. 436-11312670. Translated fromAlgebra i Logika, Vol. 38, No. 6, pp. 667–679, November–December, 1999.     

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.     

The Beth property and interpolation in lattice-based algebras and logics

We deal with logics based on lattices with an additional unary operation. Interrelations of different versions of interpolation, the Beth property, and amalgamation, as they bear on modal logics and varieties of modal algebras, superintuitionistic logics and varieties of Heyting algebras, positive logics and varieties of implicative lattices, have been studied in many works. Sometimes these relations can and sometimes cannot be extended to the logics without implication considered in the paper. Supported by INTAS (grant No. 04-77-7080) and by RFBR (grant No. 06-01-00358). Supported by INTAS grant No. 04-77-7080. __________ Translated from Algebra i Logika, Vol. 47, No. 3, pp. 307–334, May–June, 2008.     

Some properties of autostable models

Established are (1) a nonuniform criterion for the stability of models in terms of enumeration reducibility of constructivizations; (2) a criterion for the autostability of certain particular classes of models close to algebraic number fields; (3) a uniform autostability of each 1-constructive model that is autostable. Supported by RFFR grant No. 096-01-01525 and by ISF grant NQ 6000. Translated fromAlgebra i Logika, Vol. 35, No. 6, pp. 685–698, November–December, 1996.