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 à gauche
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
Formalis Mathematica 