Naturalmente que si deseamos que el subgrupo trivial {e} sea un subgrupo