Esto está relacionado con un curso que estoy haciendo de teoría de la informática.
Dejemos que $\sum$ sea un alfabeto. Entonces el conjunto de todas las cadenas sobre $\sum$ , denotado como $\sum^*$ tiene la operación de concatenación (unir dos cadenas de texto de extremo a extremo). Es evidente que la concatenación es asociativa, $\sum^*$ es cerrado bajo concatenación, y el elemento de identidad es la cadena vacía. También estoy tomando un curso de álgebra moderna, así que naturalmente pregunto puede $\sum^*$ ¿se formará un grupo? Se cumplen tres de los cuatro axiomas de grupo.