Cet article est le deuxième d’une série de leçons sur la théorie des magmas. À la suite de la première leçon dédiée aux définitions préliminaires, aux composés de séquences, aux puissances n-ièmes et au théorème d’associativité, cette deuxième leçon est consacrée au théorème de commutativité, à ses corollaires et conséquences. Nous y démontrons le théorème … Lire la suite de Théorie des magmas 2 : Théorème de commutativité
Puissance entière
Triplets d’entiers naturels opérables pour l’exponentiation
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 : 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 ; le composé formé de la première composante d’une … Lire la suite de Triplets d’entiers naturels opérables pour l’exponentiation
Formalis Mathematica 