Dersom er et ideal, kan vi observere at er kjernen til projeksjonsavbildningen til faktorringen /.