Todo grupo formula_1 tiene al menos dos subgrupos, a saber, formula_1 mismo y el grupo formula_18, llamado subgrupo trivial de formula_1, que sólo contiene a la identidad de formula_1.