Salve a tutti, mi sono imbattuto in questo esercizio e vorrei gentilmente sapere se è svolto correttamente:
Siano $G_1(RR, +)$ il gruppo additivo dei numeri reali, e $G_2(RR^+, \cdot)$ il gruppo moltiplicativo dei numeri reali positivi.
Sia $f : x in G_1 -> 7^x in G_2$. Stabilire se $f$ è un omomorfismo.
Io ho proceduto così:
$f$ è un omomorfismo da $G_1$ a $G_2$ se $AA x,y in G_1, f(x+y) = f(x) \cdot f(y)$.
$f(x+y) = 7^(x+y)$ e $f(x) \cdot f(y) = 7^x \cdot 7^y = 7^(x+y) => f(x+y) = f(x) \cdot f(y)$.
Basta questo per stabilire che $f$ è un omomorfismo?
Ringrazio tutti in anticipo