Calcola il gruppo fondamentale di $ X = \{(w,z) \in \mathbb{C}^2 \| w^5 = z^2, z \ne 0 \}. $
Osserviamo che il gruppo cercato è un sottogruppo di $ \Pi_1(\mathbb{C}^* \times \mathbb{C}^* ) \cong \mathbb{Z} \times \mathbb{Z} $.
Consideriamo il rivestimento dato (per ogni n)dalla mappa $ p_n : \mathbb{C}^* \rightarrow \mathbb{C}^* $ che manda $ z \mapsto z^n $, per $ n= 2 , n=5. $ Entrambi i rivestimenti sono suriettivi, quindi $ Im(p_2) = Im(p_5) = \mathbb{C}^* $. Posso ragionare '' sulle due componenti'' in questo modo. Dato z, determino la sua immagine tramite $ p_2 $, e devo trovare i $ w \in \mathbb{C}^* $ che siano la controimmagine di $ p_2(z) $ tramite $ p_5. $, analogamente, dato $ w $, determino la sua immagine tramite $ p_5 $, e devo cercare i $ z \in \mathbb{C}^* $ che ne siano la controimmagine tramite $ p_2 $.
Poichè le mappe indotte a livello di gruppi fondamentali mi dicono che $ (p_2)_* (\Pi_1(\mathbb{C}^*, z_0)) \cong 2\mathbb{Z}, (p_5)_* (\Pi_1(\mathbb{C}^*, w_0)) \cong 5\mathbb{Z} $, in breve (risparmio i dettagli) avrei $ \Pi_1(X) \cong 2\mathbb{Z} \times 5\mathbb{Z} $. E' giusto?
