Hola, Brian. Si
y
no conmutan, entonces no tiene por qué haber una descripción simple de
.
Lo que vos escribís en general no funciona, por ejemplo
no está en ninguno de esos dos conjuntos.
Lo que sucede en varios de los casos que aparecen en el curso, es que suele haber relaciones de conmutación entre los elementos. Por ejemplo, si vale
, entonces todo elemento de
lo vas a poder escribir de la forma
para ciertos enteros
. Eso sale (por ejemplo) usando el ejercicio 2 del práctico 2.
![a a](https://eva.fcien.udelar.edu.uy/filter/tex/pix.php/0cc175b9c0f1b6a831c399e269772661.gif)
![b b](https://eva.fcien.udelar.edu.uy/filter/tex/pix.php/92eb5ffee6ae2fec3ad71c777531578f.gif)
![\langle a,b \rangle \langle a,b \rangle](https://eva.fcien.udelar.edu.uy/filter/tex/pix.php/3191dedb6443466319a51714176487c2.gif)
Lo que vos escribís en general no funciona, por ejemplo
![aba aba](https://eva.fcien.udelar.edu.uy/filter/tex/pix.php/79af87723dc295f95bdb277a61189a2a.gif)
Lo que sucede en varios de los casos que aparecen en el curso, es que suele haber relaciones de conmutación entre los elementos. Por ejemplo, si vale
![ba=ab^3 ba=ab^3](https://eva.fcien.udelar.edu.uy/filter/tex/pix.php/a35f70b7be4d380faa04c17c17ced4be.gif)
![\langle a,b \rangle \langle a,b \rangle](https://eva.fcien.udelar.edu.uy/filter/tex/pix.php/3191dedb6443466319a51714176487c2.gif)
![a^nb^m a^nb^m](https://eva.fcien.udelar.edu.uy/filter/tex/pix.php/469246373329e3a6418e27ccc86f8c25.gif)
![n,m n,m](https://eva.fcien.udelar.edu.uy/filter/tex/pix.php/590edac6355206f468728f89920d6827.gif)