A modo de ejemplo, sean "G" y "H" dos copias del grupo cíclico de orden dos, "C": "G" = {1,"g"}, "H" = {1,"h"}.