Ciao a tutti,
sono rimasto bloccato nel dimostrare il seguente esercizio:
Dati due gruppi A e B, e sia $f: A \to B$ un isomorfismo, devo dimostrare che
se A commutativo $rArr$ B commutativo
Mi servirebbe un piccolo input per iniziare; nonostante so che si tratta di una tipica regola data per scontata, (la cui dimostrazione è sempre lasciata al lettore ) non riesco proprio ad impostarla.
Grazie anticipatamente a tutti.