The word problem for an Adian inverse semigroup given by the presentation Inv⟨a,b∣a=banb⟩Inv⟨a,b∣a=banb⟩, where n≥1n≥1, is decidable.
生成讲解博客的中文版本
生成AI智能校验的中文版本