En todo todo grupo existen al menos dos subgrupos invariantes: el subgrupo {e} que contiene sól un elemento - la unidad "e"- y el subrupo que coincide con G.