Definición 1.6: Se llama grupo a un monoide formula_24 cuando todos sus elementos son invertibles, es decir, cuando para todo formula_40 de formula_24 existe formula_70 de formula_24 tal que