We prove that if the neutral component in a finitely-generated associative algebra graded by a finite group has a Shirshov base, then so does the whole algebra.
生成讲解博客的中文版本
生成AI智能校验的中文版本