Notoirement, un magma est un groupe s'il est associatif, unifère et si chacun de ses éléments possède un inverse. Dans cette note, nous présentons deux alternatives à cette définition de la notion de groupe. Tout d'abord, nous montrons que, pour qu’un magma soit un groupe, il suffit qu'il soit associatif, unifère à gauche et que chacun … Lire la suite de Deux définitions alternatives de la notion de groupe
Translation à droite
Magmas unifères, actions déduites à gauche et idempotence
Dans cette note, nous présentons une condition suffisante pour que deux lois de composition internes sur un même ensemble, ayant chacune un élément neutre, soient idempotentes. Cette condition est la distributivité mutuelle des actions à gauches déduites de ces lois. Précisément, étant donné deux lois de sur un même ensemble, ayant chacune un élément neutre, … Lire la suite de Magmas unifères, actions déduites à gauche et idempotence
La structure des semi-groupes à gauche
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
Formalis Mathematica 