Jabarkan Matriks dari Kohimpunan

Misalkan  adalah kelompok matriks perkalian,

Untuk elemen tetap dari  pertimbangkan kohimpunan kiri

Artinya, koset kiri terdiri dari semua matriks di  yang memiliki entri kiri atas yang sama. Subgrup ini  normal di , tetapi subgrup