Sea G un grupo abeliano, $G \setminus \{g\}$ sea un grupo $\forall g \in G$ . $$\phi_g : G \rightarrow G \setminus \{g\}, \phi(x) := \begin{cases} e & x = g \\ x & \text{otherwise}\end{cases}$$ $\phi$ debería ser un homomorfismo de grupo, según mis notas. Pero, ¿es esto realmente cierto?
$a \cdot g = c \Rightarrow \phi(ag) = \phi(c) = c, \phi(a) \phi(g) = \phi(a) e = \phi(a) = a \neq c$ .
¿Me he perdido algo? ¿Tiene esto algo que ver con que G sea un grupo abeliano?