Geodesic
On free expansions and algorithmic problems in $R$-varieties of universal algebras
Sbornik. Mathematics, Tome 14 (1971) no. 3, pp. 297-328 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

A class of varieties of universal algebras is pointed out (and described by systems of quasi-identities) in which the algorithmic problems of word identity, isomorphism, and occurrence are definitely decidable and in which, as well, theorems on free algebras and free products of algebras hold which are analogous to the theorems of Nielsen–Schreier and Kurosh and certain corollaries of Grushko's grouptheoretic theorem. Bibliography: 17 titles. 
@article{SM_1971_14_3_a0,
     author = {M. M. Glukhov},
     title = {On free expansions and algorithmic problems in $R$-varieties of universal algebras},
     journal = {Sbornik. Mathematics},
     pages = {297--328},
     year = {1971},
     volume = {14},
     number = {3},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/SM_1971_14_3_a0/}
}
TY  - JOUR
AU  - M. M. Glukhov
TI  - On free expansions and algorithmic problems in $R$-varieties of universal algebras
JO  - Sbornik. Mathematics
PY  - 1971
SP  - 297
EP  - 328
VL  - 14
IS  - 3
UR  - http://geodesic.mathdoc.fr/item/SM_1971_14_3_a0/
LA  - en
ID  - SM_1971_14_3_a0
ER  - 
%0 Journal Article
%A M. M. Glukhov
%T On free expansions and algorithmic problems in $R$-varieties of universal algebras
%J Sbornik. Mathematics
%D 1971
%P 297-328
%V 14
%N 3
%U http://geodesic.mathdoc.fr/item/SM_1971_14_3_a0/
%G en
%F SM_1971_14_3_a0
M. M. Glukhov. On free expansions and algorithmic problems in $R$-varieties of universal algebras. Sbornik. Mathematics, Tome 14 (1971) no. 3, pp. 297-328. http://geodesic.mathdoc.fr/item/SM_1971_14_3_a0/

[1] P. Kon, Universalnaya algebra, Mir, Moskva, 1968 | MR

[2] A. G. Kurosh, Lektsii po obschei algebre, Fizmatgiz, Moskva, 1962 | MR

[3] A. I. Maltsev, Algebraicheskie sistemy, Nauka, Moskva, 1970 | MR | Zbl

[4] T. M. Baranovich, “Svobodnye razlozheniya v nekotorykh primitivnykh klassakh: universalnykh algebr”, Sib. matem. zh., VII:6 (1966), 1230–1249

[5] N. P. Belyakova, “Ob algoritmicheskikh problemakh dlya $n$-kvazigrupp”, I Vsesoyuzn. simp. po teorii kvazigrupp i ee prilozh. Rezyume soobschenii i dokladov, Sukhumi, 1968

[6] A. A. Gvaramiya, M. M. Glukhov, “Reshenie osnovnykh algoritmicheskikh problem v nekotorykh klassakh kvazigrupp s tozhdestvami”, Sib. matem. zh., X:2 (1969), 297–317

[7] M. M. Glukhov, “O svobodnom proizvedenii lup s konechnym chislom obrazuyuschikh”, Matem. issledovaniya, II:2 (1967), 84–95

[8] M. M. Glukhov, “$R$-mnogoobraziya kvazigrupp i lup”, Sb. statei “Teoriya kvazigrupp i ee prilozheniya”, Kishinev, 1970

[9] M. M. Glukhov, “O svobodnykh proizvedeniyakh i algoritmicheskikh problemakh v $R$-mnogoobraziyakh universalnykh algebr”, DAN SSSR, 193:3 (1970), 514–517 | Zbl

[10] G. Bates, “Free loops and nets and itheir generalisations”, Amer. J. Math., 69 (1947), 498–550 | DOI | MR

[11] T. Evans, “The wordprob'liem for abstract algebras”, J. Loud. Math. Soc., 26 (1951), 64–67 | DOI

[12] T. Evans, “On multiplicative sistems defined by generators and relations. I. Normal form Theorems”, Proc Cambridge Phil. Soc., 47 (1951), 637–649 | DOI | MR | Zbl

[13] T. Evans, “On multiplicative sistems defined by generators and relations. II. Monogenic loops”, Proc. Cambridge Phil. Soc., 49 (1953), 579–589 | DOI | MR | Zbl

[14] T. Evans, “The isomorphismproblem for some classes of multiplicative systems”, Trans. Amer. Math. Soc., 109 (1963), 303–312 | DOI | MR | Zbl

[15] M. Hall, “Projective planes”, Trans. Amer. Math. Soc., 54 (1943), 229–277 | DOI | MR | Zbl

[16] S. Meskin, “On some Schreier varietes of universal algebras”, J. Austral. Math. Soc., 10:3–4 (1969), 442–444 | DOI | MR | Zbl

[17] J. C. Spehner, “Groupoides partiels libres et produits libres de groupoides partiels”, C. R. Acad. Sci., 268:18 (1969), A1005–A1007 | MR