Cum verific dacă o mulțime finită este subgrup fără toate axiomele de la zero?
Într-un grup cunoscut, poți folosi criteriul: submulțimea este nevidă și, pentru orice a,b din ea, rămâne în ea.
Exemplu explicat
{-1,1} în grupul multiplicativ este nevidă, iar a/b este mereu -1 sau 1, deci este subgrup.
Greșeala de evitat
Criteriul presupune că operația și grupul ambient sunt deja stabilite.
