Source: https://deserti.perso.math.cnrs.fr/cours/M1/td_produit_semi_direct.pdf