Claramente, "G"/"G" es isomorfo al grupo trivial (de un solo elemento), y "G"/{"e"} es isomorfo a "G".