−

Soustraction

La soustraction est l'une des opérations basiques de l'arithmétique. La soustraction combine deux ou plusieurs grandeurs du même type, appelées opérandes, pour donner un seul nombre, appelé la différence.

Soustraire signifie diminuer en comptant.

Soustraire b de a (calculer a − b) c'est trouver le nombre qui complèterait b pour donner a, c'est-à-dire le nombre d tel que b + d = a

Le signe de soustraction est le symbole « − ». Par exemple : on lit 3 − 2 = 1 comme « trois moins deux font un ».

Définition générale

Soit (G, +) un groupe additif. On définit une nouvelle loi de composition interne dans G, appelée « soustraction » et notée « − » par :

$x - y = x + (-y)~$

La soustraction est anticommutative.

Cas particulier des nombres

Ici nous travaillons dans ( $\mathbb Z$ , + )~ , le groupe additif des nombres entiers relatifs .

Formellement, la soustraction est une loi de composition interne sur un ensemble, notée - à condition toutefois que la soustraction soit toujours définie ( ce qui n'est, par exemple, pas le cas dans l'ensemble des entiers naturels $\mathbb N$ ). Cette loi de composition interne (quand elle existe) n'est cependant pas très intéressante car

elle n'est pas commutative. En effet a − b et b − a sont en général différents
elle n'est pas associative. En effet (a − b) − c et a − (b − c) sont en général différents
elle ne possède pas d'élément neutre. En effet, le seul élément neutre possible serait 0 et on a bien

a − 0 = a, mais en général

0 − a est différent de a.

C'est la raison pour laquelle on préfère considérer une soustraction comme l'ajout (somme) de l'opposé à condition évidemment que cet opposé existe ( ce n'est pas toujours le cas dans $\mathbb N$ ).

L'opposé de a est le nombre noté (−a) qui, ajouté à a, donne 0 : a + (−a) = 0

a − b peut alors s'écrire a + (−b)

Lorsqu’elle est appliquée sur une série comme en algorithmique c’est un décrément.

Voir aussi

Opérations binaires

Numériques	En ensemble ordonné	Structurelles	Autres

Élémentaires $+$ Addition $-$ Soustraction $\times$ Multiplication $\div$ Division $\hat{}$ Puissance Arithmétiques $div$ Quotient euclidien $\mod$ Reste euclidien $pgcd$ PGCD $ppcm$ PPCM Combinatoires $()$ Coefficient binomial $A$ Arrangement	Ensembles de parties $\cup$ Union $\backslash$ Complémentation $\cap$ Intersection $Δ$ Différence symétrique Ordre total $min$ Minimum $max$ Maximum Treillis $\wedge$ Borne inférieure $\vee$ Borne supérieure	Ensembles $\times$ Produit cartésien $\dot{\cup}$ Somme disjointe $\hat{}$ Puissance ensembliste Groupes $\oplus$ Somme directe $\ast$ Produit libre $\wr$ Produit en couronne Modules $\otimes$ Produit tensoriel $Hom$ Homomorphisme $Tor$ Torsion $Ext$ Extension Arbres $\vee$ Enracinement Variétés connexes $\#$ Somme connexe Espaces pointés $\vee$ Bouquet $\wedge$ Smash produit $\ast$ Joint	Fonctionnelles $\circ$ Composition de fonctions $\ast$ Produit de convolution Vectorielles $\cdot$ Produit scalaire $\wedge$ Produit vectoriel Algébriques $[,]$ Crochet de Lie ${,}$ Crochet de Poisson $\wedge$ Produit extérieur Homologiques $\smile$ Cup produit $\cdot$ Produit d'intersection Séquentielles $+$ Concaténation