Kelompok-kelompok kuota dan subkelompok bersama-sama membentuk cara untuk menggambarkan setiap kelompok dengan presentasinya: kelompok apapun adalah hasil dari kelompok bebas atas generator kelompok, yang dikumpulkan oleh sub kelompok hubungan. Kelompok dihedral D4, misalnya, dapat dihasilkan oleh dua elemen r dan f (misalnya, r = r1, rotasi yang tepat dan f = fv vertikal (atau lainnya), yang berarti bahwa setiap simetri kuadrat adalah komposisi terbatas dari kedua simetri ini atau inverses mereka. Bersama-sama dengan hubungan
Kelompok apa yang bisa menjadi hasil kelompok bebas atas generator kelompok?
kelompok apapun