Riguardando le soluzioni di un vecchio esercizio (sto rifacendo tutte le serie di esercizi), la mia soluzione differisce da quella del prof, e secondo me la sua è sbagliata.
Sia \( G \) un gruppo e \( X,Y \) due \( G\)-insiemi (a sinsitra), sia \( \varphi : (X,\odot) \rightarrow (Y,\otimes) \) un morfismo di \(G\) insiemi. Dimostra che se \( \varphi \) è biietiva allora l'applicazione inversa \( \varphi^{-1} : Y \rightarrow X \) è un morfismo di \(G\)-insiemi.
La mia versione:
Visto che \( \varphi \) è un morfismo di \(G \) insiemi abbiamo \( \forall g\in G, \forall x \in X \) risulta \( \phi(g \odot x)=g \otimes \varphi(x) \). Sia \( g \in G \) e \( y \in Y\)
Inoltre \( g \otimes y = g \otimes y \Leftrightarrow \varphi( \varphi^{-1}(g\otimes y))=g \otimes \varphi( \varphi^{-1}(y)) \)
Inoltre visto che \( \varphi \) è un morfismo dei G-insiemi abbiamo che
\( g \otimes \varphi( \varphi^{-1}(y)) = \varphi(g \odot \varphi^{-1}(y)) \)
Dunque \( \varphi^{-1}(g \otimes y) = g \odot \varphi^{-1}(y) \)
La soluzione del prof:
Sia \( g \in G \) e \( x \in X \), dobbiamo dimostrare che \( \varphi^{-1}(gx)=g \varphi^{-1}(x) \)
\( gx = gx \Leftrightarrow \varphi( \varphi^{-1}(gx))=g\varphi( \varphi^{-1}(x)) \)
Inoltre visto che \( \varphi \) è un morfismo dei G-insiemi abbiamo che
\( g\varphi( \varphi^{-1}(x)) = \varphi(g\varphi^{-1}(x)) \)
Dunque \( \varphi^{-1}(gx) = g \varphi^{-1}(x) \)
Ma l'applicazione inversa \( \varphi^{-1} \) non prende \( y \in Y \) ??