Le présent article est le cinquième d'une série de leçons sur la théorie de magmas. Dans la première leçon, nous avons présenté les définitions préliminaires, puis traité des composés de séquences, des puissances n-ièmes et du théorème d'associativité. Dans la deuxième leçon, il a été question du théorème de commutativité, de ses corollaires et conséquences. … Lire la suite de Théorie des magmas 5 : Lois non partout définies
Théorème d'associativité
Théorie des magmas 2 : Théorème de commutativité
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é
Théorie des magmas 1 : Composé d’une séquence d’éléments et théorème d’associativité
Cet article est le premier d’une série de leçons sur la théorie des magmas. Dans cette leçon introductive, nous présentons les premières définitions de la théorie, ainsi que des exemples de magmas. Nous étudierons également la composition des séquences d’éléments dans les magmas. Dans le cas des magmas associatifs, l’évaluation du composé d’une séquence d’éléments … Lire la suite de Théorie des magmas 1 : Composé d’une séquence d’éléments et théorème d’associativité
Formalis Mathematica 