We prove a one-to-one correspondence between the operadic ideals of the operad \As\As and TT-ideals. As a consequence, we show that \As\As is noetherian and that every proper operadic ideal of \ias\ias is generated by a single element.
生成讲解博客的中文版本
生成AI智能校验的中文版本