Elementene i en faktorgruppen / er restklasser som generelt inneholder flere element av modergruppen . Hvert element i blir dermed knyttet til en bestemt restklasse, det vil si til et element i faktorgruppen. Dette er derfor i alminnelighet en homomorfisk avbildning fra til .