Cualquier otro subgrupo de formula_1 disitinto de formula_1 y formula_18 se dice subgrupo propio de formula_1.