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
Théorie des magmas
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
Un exercice sur la structure des semi-groupes à gauche
Un semi-groupe à gauche est un ensemble muni d'une loi de composition associative telle que tout élément soit simplifiable à gauche. Nous proposons ici un exercice qui invite à une étude structurelle des semi-groupes à gauche. L'exercice, divisé en deux parties, est en fait une compilation reformulée d'exercices du volume d'Algèbre des Éléments de Mathématiques … Lire la suite de Un exercice sur la structure des semi-groupes à gauche
Théorie des magmas 5 : Lois non partout définies
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éorie des magmas 4 : Théorèmes d’isomorphisme
Cet article est le quatrième d'une série de leçons sur la théorie des 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. La troisième leçon était … Lire la suite de Théorie des magmas 4 : Théorèmes d’isomorphisme
Théorie des magmas 3 : Lois et magmas quotients
Cet article est le troisième d'une série de leçons sur la théorie des 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. La troisième leçon présente est … Lire la suite de Théorie des magmas 3 : Lois et magmas quotients
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é
Les centres de deux magmas connus
Un élément d’un magma est dit central s’il commute avec tout élément dudit magma. Par exemple, si un élément est neutre, alors il est forcément central. L’ensemble des éléments centraux d’un magma est appelé son centre. Fondamentalement, une relation binaire sur un ensemble E est une partie du produit cartésien de E par lui-même. Une … Lire la suite de Les centres de deux magmas connus
Demi-treillis versus magmas associatifs et commutatifs de loi idempotente
Un demi-treillis est un ensemble partiellement ordonné tel que toute paire d'éléments de cet ensemble admette une borne supérieure. Une loi de composition interne est dite idempotente si tout élément de l’ensemble sous-jacent est égal à son carré. Dans cet article, nous allons montrer que tout demi-treillis peut être regardé comme étant un magma dont … Lire la suite de Demi-treillis versus magmas associatifs et commutatifs de loi idempotente
Formalis Mathematica 