Gröbner-Shirshov Basis for Complex Reflection Group

Abstract

The aim of this paper is to obtain a (non-commutative) Gröbner-Shirshov basis for the braid group associated with the complex reflection group $G_{24}$. This gives us an opportunity to get normal forms of the elements of group $G_{24}$, which represent a new and effective algorithm to solve the word problem over it.

Keywords

• Braid group,Gröbner-Shirshov basis,presentation,word problem

References

1. [1] Adian, S. I., Durnev, V. G., Decision problems for groups and semigroups, Russian Math. Surveys Vol:55, No.2 (2000), 207-296.
2. [2] Ateş, F., Çevik, A. S. , Karpuz, E. G., Gr¨obner-Shirshov basis for the singular part of the Brauer semigroup, Turkish Journal of Math. Vol:42 (2018), 1338-1347.
3. [3] Ateş, F., Karpuz, E. G., Kocapinar, C. Çevik, A. S., Gr¨obner-Shirshov bases of some monoids, Discrete Math. Vol:311 (2011), 1064-1071.
4. [4] Bergman, G. M., The diamond lemma for ring theory, Adv. Math. Vol:29 (1978), 178-218.
5. [5] Bessis, D., Michel, J., Explicit presentations for exceptional Braid groups, Experimental Math. Vol:13, No.3 (2004), 257-266.
6. [6] Bokut, L. A., Imbedding into simple associative algebras, Algebra and Logic Vol:15 (1976), 117-142.
7. [7] Bokut, L. A., Vesnin, A., Gr¨obner-Shirshov bases for some Braid groups, Journal of Symbolic Comput. Vol:41 (2006), 357-371.
8. [8] Bokut, L. A., Gr¨obner-Shirshov basis for the Braid group in the Birman-Ko-Lee generators, Journal Algebra Vol:321 (2009), 361-376.

9. [9] Bokut, L. A., Gr¨obner-Shirshov basis for the Braid group in the Artin-Garside generators, Journal of Symbolic Comput. Vol:43 (2008), 397-405.
10. [10] Buchberger, B., An Algorithm for Finding a Basis for the Residue Class Ring of a Zero-Dimensional Ideal, Ph.D. Thesis, University of Innsbruck, 1965.
11. [11] Chen, Y., Zhong, C., Gröbner-Shirshov bases for HNN extentions of groups and for the Alternating group, Comm. in Algebra Vol:36 (2008), 94-103.
12. [12] Cohen, A.M., Finite complex reflection groups, Ann. Scient. E0 c. Norm. Sup. 4e Se0 rie. Vol:9 (1976), 379-436.
13. [13] Howlett, R.B., Shi, J.Y., On regularity of finite reflection groups, Manuscripta Mathematica Vol:102, No.3 (2000), 325-333.
14. [14] Karpuz, E. G., Gr¨obner-Shirshov bases of some semigroup constructions, Algebra Colloquium Vol:22, No.1 (2015), 35-46.
15. [15] Karpuz, E. G., Ates¸, F., C¸ evik, A. S., Gr¨obner-Shirshov bases of some weyl groups, Rocky Mountain Journal of Math. Vol:45, No.4 (2015), 1165-1175.
16. [16] Karpuz, E. G., C¸ evik, A. S., Ates¸, F., Koppitz, J., Gr¨obner-Shirshov bases and embedding of a semigroup in a group, Adv. Studies Contemp. Math. vol:25, No.4 (2015), 537-545.
17. [17] Karpuz, E. G., Ates¸, F., Urlu, N., C¸ evik, A. S., Cang¨ul, I.N., A Note on the Gr¨obner-Shirshov bases over ad-hoc extensions of groups, Filomat Vol:30, No.4 (2016), 1037-1043.
18. [18] Kocapinar, C., Karpuz, E.G., Ates¸, F., C¸ evik, A.S., Gr¨obner-Shirshov bases of the generalized Bruck-Reilly -extension, Algebra Colloquium Vol:19(Spec 1) (2012), 813-820.
19. [19] Shephard, G. C., Todd, J. A., Finite unitary reflection groups, Canad. J. Math. Vol:6 (1954), 274-304.
20. [20] Shi, J.Y., Certain imprimitive reflection groups and their generic versions, Trans. Am. Math. Soc. Vol:354 (2002), 2115-2129.
21. [21] Shi, J.Y., Simple root systems and presentations for certain complex reflection groups, Comm. in Algebra Vol:33 (2005), 1765-1783.
22. [22] Shirshov, A. I., Some algorithmic problems for Lie algebras, Siberian Math. J. Vol:3 (1962), 292-296.