Geodesic
Relative Gr\"obner--Shirshov bases for algebras and groups
Algebra i analiz, Tome 19 (2007) no. 6, pp. 1-21.

Voir la notice de l'article provenant de la source Math-Net.Ru

The notion of a relative Gröbner–Shirshov basis for algebras and groups is introduced. The relative composition lemma and relative (composition-)diamond lemma are established. In particular, it is shown that the relative normal forms of certain groups arising from Malcev's embedding problem are the irreducible normal forms of these groups with respect to their relative Gröbner–Shirshov bases. Other examples of such groups are given by showing that any group $G$ in a Tits system $(G,B,N,S)$ has a relative ($B$-)Gröbner–Shirshov basis such that the irreducible words are the Bruhat words $G$.
Keywords: Relative Gröbner–Shirshov bases, irreducible normal form, rewriting system, Tits systems, Malcev's problem. 
@article{AA_2007_19_6_a0,
     author = {L. A. Bokut' and K. P. Shum},
     title = {Relative {Gr\"obner--Shirshov} bases for algebras and groups},
     journal = {Algebra i analiz},
     pages = {1--21},
     publisher = {mathdoc},
     volume = {19},
     number = {6},
     year = {2007},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AA_2007_19_6_a0/}
}
TY  - JOUR
AU  - L. A. Bokut'
AU  - K. P. Shum
TI  - Relative Gr\"obner--Shirshov bases for algebras and groups
JO  - Algebra i analiz
PY  - 2007
SP  - 1
EP  - 21
VL  - 19
IS  - 6
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AA_2007_19_6_a0/
LA  - ru
ID  - AA_2007_19_6_a0
ER  - 
%0 Journal Article
%A L. A. Bokut'
%A K. P. Shum
%T Relative Gr\"obner--Shirshov bases for algebras and groups
%J Algebra i analiz
%D 2007
%P 1-21
%V 19
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AA_2007_19_6_a0/
%G ru
%F AA_2007_19_6_a0
L. A. Bokut'; K. P. Shum. Relative Gr\"obner--Shirshov bases for algebras and groups. Algebra i analiz, Tome 19 (2007) no. 6, pp. 1-21. http://geodesic.mathdoc.fr/item/AA_2007_19_6_a0/

[1] Adyan S. I.,, “Opredelyayuschie sootnosheniya i algoritmicheskie problemy dlya grupp i polugrupp”, Tr. Mat. in-ta AN SSSR, 85, 1966, 3–123

[2] Bourbaki N., Lie groups and Lie algebras. Chapters 4–6. Elements of Mathematics, Springer-Verlag, Berlin, 2002 | MR | Zbl

[3] Bowtell A., “On a question of Mal'cev”, J. Algebra, 7 (1967), 126–139 | DOI | MR | Zbl

[4] Bokut L. A., “Nekotorye primery kolets bez delitelei nulya”, Algebra i logika, 3:5–6 (1964), 5–28 | MR | Zbl

[5] Bokut L. A., “Faktorizatsionnye teoremy dlya nekotorykh klassov kolets bez delitelei nulya, I, II”, Algebra i logika, 4:4 (1965), 25–52 | MR | Zbl

[6] Bokut L. A., “O vlozhenii kolets v tela”, Dokl. AN SSSR, 175:4 (1967), 755–758 | MR | Zbl

[7] Bokut L. A., “Gruppy s otnositelnym standartnym bazisom”, Sib. matem. zhurn., 9:3 (1968), 499–521 | MR | Zbl

[8] Bokut L. A., “Gruppy chastnykh multiplikativnykh polugrupp nekotorykh kolets I, II, III”, Sib. matem. zhurn., 10:2 (1969), 246–286 | MR | Zbl

[9] Bokut L. A., “O probleme Maltseva”, Sib. matem. zhurn., 10:5 (1969), 965–1005 | MR | Zbl

[10] Bokut L. A., “Nerazreshimost problemy ravenstva i podalgebry konechno opredelennykh algebr Li”, Izv. AN SSSR. Ser. matem., 36:6 (1972), 1173–1219 | MR | Zbl

[11] Bokut L. A., “Vlozheniya v prostye assotsiativnye algebry”, Algebra i logika, 15:2 (1976), 117–142 | MR | Zbl

[12] Bokut' L. A., “Malcev's problem and groups with a normal form”, With the collaboration of D. J. Collins, Word Problems, Conf. on Decision Problems in Algebra, II (Oxford, 1976), Stud. Logic Found. Math., 95, North-Holland, Amsterdam–New York, 1980, 29–53 | MR

[13] Bokut L. A., “Vlozhenie kolets”, UMN, 42:4(256) (1987), 87–111 | MR | Zbl

[14] Bokut' L. A., “Abstract semigroups and groups of formal series of dependent variables”, Siberian Adv. Math., 6:3 (1996), 1–26 | MR | Zbl

[15] Bokut L. A., Kolesnikov P. S., “Bazisy Grebnera–Shirshova: ot zarozhdeniya do nashikh dnei”, Zap. nauchn. sem. POMI, 272, 2000, 26–67 | MR | Zbl

[16] Carter R., Simple groups of Lie type, Wiley Classical Library, Wiley-Intersci. Publ., John Wiley and Sons., Inc., New York, 1989 | MR | Zbl

[17] Cohn P. M., Free rings and their relations, 2nd ed., London Math. Soc. Monogr., 19, Acad. Press, Inc., London, 1985 | MR | Zbl

[18] Gerasimov V. N., “Obraschayuschie gomomorfizmy kolets”, Algebra i logika, 18:6 (1979), 648–663 | MR | Zbl

[19] Kaplansky I., “Problems in the theory of rings”, Report of a Conference on Linear Algebras, June, 1956, 502, National Academy of Sciences, National Research Council, Washington, 1957, 1–3 | MR

[20] Klein A. A., “Rings nonembeddable in fields with multiplicative semi-groups embeddable in groups”, J. Algebra, 7 (1967), 100–125 | DOI | MR | Zbl

[21] Lang S., $SL_2 (R)$, Grad. Texts in Math., 105, Springer-Verlag, New York, 1985 | Zbl

[22] Lazard D., “Gröbner bases, Gaussian elimination and resolution of systems of algebraic equations”, Computer Algebra (London, 1983), Lecture Notes in Comput. Sci., 162, Springer, Berlin, 1983, 146–156 | MR

[23] Malcev A. I., “On the immersion of an algebraic ring into a field”, Math. Ann., 113 (1937), 686–691 | DOI | MR

[24] Maltsev A. I., Izbrannye trudy. T. 1. Klassicheskaya algebra, Nauka, M., 1976

[25] Shirshov A. I., “Nekotorye algoritmicheskie problemy dlya algebr Li”, Sib. matem. zhurn., 3:2 (1962), 292–296 | Zbl

[26] van der Warden B. L., Modern algebra, V. 1, Frederick Ungar Pupl. Co., New York, 1949 | Zbl