Exemple : f surjection de A sur B
: 
f injection de A dans B :

image réciproque
:
Revoir
,
, ensembles finis, infinis et cardinal
Exemple : E ensemble fini à n éléments
est l’ensemble des parties de E à
éléments

Exemple : Formule du triangle de Pascal 
Méthodes de démonstration :
- formule du binôme de Newton


Revoir les groupes, anneaux, corps
Structures de référence :
- Groupes :
![{\displaystyle (\mathbb {R} ,+),(\mathbb {Z} ,+),(\mathbb {C} ,+),(\mathbb {Q} ,+),(\mathbb {R} ^{*},\times ),(\mathbb {Z} /n\mathbb {Z} ,+),({\mathfrak {M}}_{n}(\mathbb {R} ),+),(\mathbb {R} ^{\mathbb {R} },+),(\mathbb {U} _{n}=\{z\in \mathbb {C} /z^{n}=1\},\times ),({\mathcal {S}}_{n}=Bij([[1,n]],[[1,n]]),\circ )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/20dd442e9ca7799082ed7c6a511029141fd82a06)
- Corps : Quaternions
,
si p premier, ![{\displaystyle \mathbb {K} (X)=\{{\frac {P}{Q}}/P,Q\in \mathbb {K} [X]^{2},Q\neq 0\}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e342ac7370872d50656ce8e8b45ffe1d97c5777)
K-algèbre (K corps commutatif)
- bases...
- division euclidienne
![{\displaystyle \forall (A,B)\in \mathbb {K} [X]^{2},B\neq 0,\exists !(Q,R)\in \mathbb {K} [X]^{2}/A=BQ+R,d^{\circ }R<d^{\circ }B}](https://wikimedia.org/api/rest_v1/media/math/render/svg/947a107acc8389691745afabdb6b5a2b94a1165d)
- décomposition en éléments simples
, montrer que
corps non commutatif
. Calculer 
- ...

Solutions complètes à venir.
- Définition Soient
et
, 
f morphisme de groupes si
- Propriété Dans ce cas :
- Si G' sous groupe de G, f(G') sous groupe de H
- Si H' sous groupe de H,
sous groupe de G
- Démonstration du point 2
par définition, non vide : 
Soient 
- En particulier
SG de H
SG de G
- Remarque f injective si... ?
ie f injective 
- Exemples :
- ln isomorphisme de
sur
; 
avec
(nombre d'inversions)
