Sous-espace vectoriel engendré par une famille finie Famille libre, Dimension d'un espace vectoriel, Obtention de base en dimension finie, Sous-espace vectoriel de dimension finie, Hyperplan, Supplémentarité, Rang d'une famille de vecteurs, Applications linéaires en dimension finie, Rang d'une application linéaire, Théorème du rang, Forme linéaire en dimension finie

Structure d'espace vectoriel, Sous-espace vectoriel, Opérations sur les sous-espaces vectoriels, Sous-espace vectoriel engendré par une partie, Sous-espaces vectoriels supplémentaires, Applications linéaires, Image et noyau d'un endomorphisme, Transformations vectorielles, Notions affines

Divisibilité, Calcul en congruence, PGCD et PPCM, Nombres premiers entre eux, Systèmes chinois, Nombres premiers et décomposition primaire

Loi de composition interne, Groupes, Sous-groupe, Morphisme de groupes, Etude du groupe symétrique, Anneaux, Sous-anneau, Corps

Eléments de logique, Quantificateurs Ensembles, Injectivité, surjectivité et bijectivité, Image directe et image réciproque d'une partie, Ensembles ordonnés, Les ensembles finis, Dénombrement

Nombres entiers, Principe de récurrence, Sommes Sommes géométriques, Sommes doubles, Produits Nombres factoriels, Coefficients binomiaux