Associativité et Commutativité : vérifier les deux sens Élément neutre : absurde ou équation (voir système si deux variables)

Fixer y

Caractérisation des sous groupes 2 Non: un des 3 axioms des sous groupes (neutre, sym, xy)

Toujours revenir au caractérisation 2

♤ -> ♧ 2Z

Déterminer un morphisme:

Analyse

• Existe, on veux savoir comment
• -> Soit x dans départ, qu'es ce que l'on peu réduire Synthèse
• Vérifier que ça marche