In this survey we give an exposition of the theory of Gröbner-Shirshov bases for associative algebras, Lie algebras, groups, semigroups, -algebras, operads, etc. We mention some new Composition-Diamond lemmas and applications.Keywords Gröbner basis · Gröbner-Shirshov basis · Composition-Diamond lemma · Congruence · Normal form · Braid group · Free semigroup · Chinese monoid · Plactic monoid · Associative algebra · Lie algebra · Lyndon-Shirshov basis · Lyndon-Shirshov word · PBW theorem · -algebra · Dialgebra · Semiring · Pre-Lie algebra · Rota-Baxter algebra · Category · ModuleSupported by the NNSF of China (11171118) The set of all associative Lyndon-Shirshov words in X NLSW(X)The set of all non-associative Lyndon-Shirshov words in X PBW theoremThe Poincare-Birkhoff-Witt theorem X * The free monoid generated byThe free commutative monoid generated by X X * *The set of all non-associative words (u) in X gp X |S The group generated by X with defining relations S sgp X |S The semigroup generated by X with defining relations S k A field K A commutative algebra over k with unity k X The free associative algebra over k generated by X k X |S The associative algebra over k with generators X and defining relations S S c
A Gröbner-Shirshov completion of S I d(S)The ideal generated by a set S sThe maximal word of a polynomial s with respect to some ordering <
Irr(S)The set of all monomials avoiding the subwords for all s ∈ S k [X ] The polynomial algebra over k generated by X Lie(X )The free Lie algebra over k generated by X Lie K (X )The free Lie algebra generated by X over a commutative algebra K