Pour une loi de composition interne, un triplet d’éléments de l’ensemble sous-jacent est dit opérable si les deux composés suivants sont égaux :

1.  le composé de la séquence constituée du composé des deux premières composantes du triplet d’une part, et de la troisième composante d’autre part ;
2. le composé formé de la première composante d’une part, et du composé de la séquence des deux dernières composantes du triplet d’autre part.

Une loi de composition est dite associative lorsque tous les triplets d’éléments de l’ensemble sous-jacent sont opérables.

Pour certaines lois non-associatives, il peut s’avérer intéressant de d’énumérer tous les triplets opérables. Dans cet article, nous nous y attelons notamment pour la loi d’exponentiation sur l’ensemble des entiers naturels.

Article au format PDF