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
Ensemble infini
Nombres entiers naturels puissants consécutifs
Un entier naturel $latex n$ est appelé nombre puissant lorsque, pour tout diviseur premier $latex p$ de $latex n$, le carré $latex p^{2}$ divise $latex n$. Par exemple, étant donné un nombre premier $latex p$ et un entier $latex m\geq 2$, l'entier $latex n=p^{m}$ est un nombre puissant. En effet, $latex p$ est l'unique diviseur … Lire la suite de Nombres entiers naturels puissants consécutifs
Formalis Mathematica 