Cómo puedo mostrar que un % de campo K, en el álgebra libre en % % de generadores de 2% #%, las dos caras ideal K⟨x,y⟩$$\big\langle\!\big\langle xy^ix\;\big|\;i\in\mathbb{N}\big\rangle\!\big\rangle =\bigg\{\sum_{i}g_ixy^ixh_i \;\bigg|\; i\in\mathbb{N},\, g_i,h_i\in K\langle x,y\rangle\bigg\}f_1,\ldots,f_k\!\in\! ¿K\langle x, y\rangle, si esto es incluso cierto?
Si no, ¿qué otros generadores del ideal debo tomar?
¿Es un simple conjunto de generadores de un ideal que no es finito generado?
