In matematica , e più precisamente in algebra generale , una legge di composizione interna su un insieme S si dice che sia commutativo quando, per tutti x ed y in S ,
.Gli esempi più semplici di leggi commutative sono senza dubbio l' aggiunta e la moltiplicazione dei numeri naturali . Anche l'addizione e la moltiplicazione di numeri reali e complessi , l'aggiunta di vettori , l' intersezione e l' unione di insiemi sono leggi commutative.
Al contrario, sottrazione , divisione , moltiplicazione di matrici , composizione di mappe e moltiplicazione di quaternioni sono leggi non commutative.
Alcuni scritti antichi usano implicitamente le proprietà della commutatività. Gli egiziani usavano la commutatività della moltiplicazione per semplificare i calcoli dei prodotti. Euclide , nei suoi Elementi , aveva anche assunto la commutatività della moltiplicazione. La definizione formale di commutativa emerso alla fine del XVIII ° e l'inizio del XIX ° secolo, quando i matematici hanno cominciato a costruire una teoria delle funzioni. Oggi, la proprietà della commutatività è considerata una proprietà di base, utilizzata nella maggior parte dei rami della matematica.
La prima apparizione del termine “commutativo” risale a un articolo degli Annales de Gergonne scritto da François-Joseph Servois nel 1814, dove studiava le proprietà delle funzioni che si spostano tra loro (per composizione ). Il termine legge commutativa (in inglese) apparve poi nel 1838 dalla penna di Duncan Farquharson Gregory , in un articolo intitolato “On the real nature of simbolical algebra” pubblicato nel 1840 sulle Transactions of the Royal Society of Edinburgh .
Le seguenti strutture hanno il punto comune di essere descritte dai dati di una o più leggi interne la cui commutatività è richiesta:
Sia S un insieme dotato di una legge di composizione interna . Due elementi x e y di S si dice che siano permutable quando:
.Diciamo anche che x e y pendolari .
Pertanto, è commutativo se e solo se due elementi qualsiasi di S sono sempre permutabili.