Olá!
Muito obrigada pela resposta!
Poderia, então, por favor, dar uma olhadinha no que eu escreveria?
"Verifique se

definida sobre E é associativa, comutativa, se admite elemento neutro e, neste caso, calcule os elementos simetrizáveis. calcule também os elementos regulares."
(a)

- associativa e comutativa - ok;
- verificando se admite elemento neutro;
Observemos que

e que

. Logo

satisfaz as condições de elemento neutro de uma operação e, portanto, é o elemento neutro dessa operação.
- verificando se há elementos simetrizáveis e, caso tenha, vamos determinar o conjunto dos simetrizáveis;
Observemos que esta operação é munida de elementos simetrizáveis, uma vez que o elemento neutro satisfaz suas condições e, os elementos da forma

são os simétricos dos

, uma vez que

. Logo, o conjunto dos simetrizáveis para esta operação em E é dado por

.
- obtendo o conjunto dos elementos regulares;
Como esta operação é associativa e tem elemento neutro, segue, por um resultado, que

. Além disso, observemos que os elementos regulares são da forma

, uma vez que


, onde

. Logo,

é o conjunto dos elementos regulares de E na operação em questão.
Está certo? O que acha?