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
Idempotent
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
Le problème d’adhérence-complémentaire de Kuratowski
L'objectif ultime de cet article, divisé en deux sections, est de démontrer un théorème introduit en 1922 par le mathématicien polonais Kazimierz Kuratowski. Cet objectif sera réalisé dans la deuxième section de l'article, après que le sous-bassement algébrique de notre argumentation ait été exposé dans la première section. Le théorème d'adhérence-complémentaire de Kuratowski affirme que, partant … Lire la suite de Le problème d’adhérence-complémentaire de Kuratowski
The Kuratowski Closure-Complement Problem
The main goal of this paper, divided into two sections, is to prove a theorem introduced in 1922 by the polish mathematician Kazimierz Kuratowski. This goal shall be accomplished in the second section of the paper with an argumentation, whose algebraic background has been prior exposed in the first section. The Kuratowski Closure-Complement Theorem asserts … Lire la suite de The Kuratowski Closure-Complement Problem
Une famille d’anneaux de Boole
Un anneau unitaire est dit de Boole lorsque chacun de ses éléments est idempotent pour la multiplication (la seconde loi), c’est-à-dire égal à son carré. Tel est le cas de l’ensemble des parties d’un ensemble, muni de la différence symétrique et de l’intersection. La famille des anneaux de Boole ainsi définis est l’objet du présent … Lire la suite de Une famille d’anneaux de Boole
Formalis Mathematica 