Un semi-groupe à gauche est un ensemble, muni d'une loi associative, telle que tout élément soit simplifiable à gauche. L'objectif principal de cet article, divisé en deux sections, est l'étude de la structure des semi-groupes à gauche. Cette étude est réalisée dans la seconde section de l'article. Au préalable, dans la première section, nous examinons … Lire la suite de La structure des semi-groupes à gauche
Morphisme
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 