Gröbner bases for *-algebars and faithful operator representations

Stanislav Popovych, Kyrylo Vynogradov

Sufficient conditions for existence of a faithful representation of a *-algebra in terms of its Göbner basis is presented. Proposed construction of faithful representation is appli…