Sur un espace vectoriel réel E, une forme quadratique est une application polynomiale
Le noyau de q est le sous-espace vectoriel
La contraction de B par v désigne l'application linéaire
L'image est un sous-espace vectoriel de l'espace dual E * qui est l'annulateur du noyau N.
Le noyau d'un morphisme de corps (c'est-à-dire un morphisme d'anneau où les anneaux considérés sont des corps) est toujours réduit à l'élément neutre 0, de sorte que tout morphisme de corps est injectif.
Toutes ces notions de noyaux se généralisent dans le cadre de la théorie des catégories abéliennes.