Speciality:
01.01.06 (Mathematical logic, algebra, and number theory)
Birth date:
7.07.1937
Keywords: algebraic systems; lattices connected with algebraic systems; varieties and quasivarieties of algebraic systems.
Subject:
The main results relate to the theory of quasivarieties of unars (i.e. algebras with one unary operation). It was proved that any finitely generated unar has an independent basis of quasi-identities. Besides, this basis is finite if the unar is finite. An algorithm to construct an independent basis of quasi-identities of any finitely generated unar was proposed. It was shown that there exists the continuum of quasivarieties of unars having no an independent basis of quasi-identities. Let $L(1)$ be the lattice of all quasivarieties of unars. We described all atoms of this lattice. It was shown that a free lattice on $\aleph_0$ generators can be embedded into the lattice $L(1)$. We gave necessary and sufficient conditions for a lattice $L(M)$ of all subquasivarieties of a quasivariety $M$ of unars to be distributive, semidistributive, Boolean, complemented, pseudocomplemented or Stone. It was proved that the set of all quasivarieties of unars is a semigroop with respect to Mal'cev multiplication. It was described the center of this semigroop and constructed a basis of identities holding in this semigroop and containing one variable.
Main publications:
Kartashov V. K. Kvazimnogoobraziya unarov // Matem. zametki, 1980, 27(1), 7–20.
Kartashov V. K. Kvazimnogoobraziya unarov s konechnym chislom tsiklov // Algebra i logika, 1980, 19(2), 173–193.
Kartashov V. K. O reshetkakh kvazimnogoobrazii unarov // Sib. matem. zhurn., 1985, 26(3), 49–62.
Kartashov V. K. Stroenie distributivnykh reshetok kvazimnogoobrazii unarov // Sb. trudov mezhdunar. algebraich. seminara, posvyasch. pamyati L .A. Skornyakova "Universalnaya algebra i ee prilozheniya", 2000, 90–99.
Kartashov V. K. O guppoidakh kvazimnogoobrazii unarnykh algebr // Sb. trudov mezhdunar. algebraich. seminara, posvyasch. pamyati L. A. Skornyakova "Universalnaya algebra i ee prilozheniya", 2000, 100–113.