Discussion:Demi-groupe

message: J'ai sous les yeux les bonnes vieilles "Leçons d'algèbre moderne" de Paul Dubreil et Marie-Louise Dubreil-Jacotin. J'y lis, à la page 35: Un ensemble possédant une opération associative est appelé "demi-groupe (ou semi-groupe[note] ou monoïde)", et la note est la suivante : "On a également employé le terme de semi-groupe pour désigner un demi-groupe vérifiant la règle de simplification, mais nous n'adopterons pas ici cette terminologie". Le "on" réfère probablement à J. A. De Séguier qui a écrit en 1904 un livre "Éléments de la théorie des groupes abstraits" où la simplification fait partie des axiomes. Plus personne ne fait maintenant cette distinction, me semble-t-il.--ManiacParisien (d) 16 juillet 2012 à 07:56 (CEST)
thread_title:  Demi-groupe et semi-groupe 

message: Discussion transférée depuis Wikipédia:Pages à fusionner
Les semi-groupes, tels que définis dans l'article semi-groupe, sont des demi-groupes simplifiables. Les terminologies « semi-groupe » et « demi-groupe » s'emploient actuellement de manière indifférenciées, à cause de l'influence de l'anglais.
L'existence même de l'article semi-groupe est contestable : mise à part des indications bibliographiques du reste assez imprécises du début du siècle précédent, rien ne justifie la réservation du terme « semi-groupe » aux seuls demi-groupes simplifiables. Les motivation informatiques sont soit incomplètement sourcées (Kleene ,Rabin, Scott) soit elles s'appliquent aux demi-groupes, et pas seulement aux semi-groupes.
Je propose de fusionner les deux articles, par incorporation de ce qui est intéressant de l'article semi-groupe comme commentaires dans l'article demi-groupes, et de mentionner que les deux termes « semi-groupe » et « demi-groupe » s'emploient actuellement de manière indifférenciées en français.--ManiacParisien (d) 10 juillet 2012 à 11:21 (CEST)
replies: text: Fusion des contenus faite. --ManiacParisien (d) 24 juillet 2012 à 14:41 (CEST)
thread_title:  [[demi-groupe]] et [[semi-groupe]] 

message: Sur la page quasigroupe, il est marqué que tout quasigroupe associatif est un groupe, ce qui me semble être plus fort que ce qui est décrit dans le diagramme des structures plus faibles que le groupe présent sur cette page. D'autre part, sur la page demi-groupe inversif, un demi-groupe inversif est présenté avec des hypothèses qui me semblent plus faibles que celles d'être à la fois un quasigroupe et un demi-groupe. Phaelor (discuter) 5 octobre 2022 à 10:22 (CEST)
thread_title:  Cohérence avec les pages quasigroupes et demi-groupe inversif 

message: Il y a une erreur dans le schéma sur cette page : un demi-groupe inversif muni d'une identité n'est pas un groupe, mais un monoïde inversif car la notion d'inversibilité pour les demi-groupes et pour les groupes ne coïncide pas. J'ai l'impression que ce schéma ne tient pas compte de cette nuance, et pourrait induire en erreur les personnes le lisant. P141592653 (discuter) 10 octobre 2022 à 11:41 (CEST)
replies: text: Je suis vraiment néophyte sur wikipédia mais que vaut-il mieux faire dans ce cas ? Supprimer le schéma en attendant qu'il soit remplacé ou le laisser en prenant le risque qu'il conduise à penser des résultats faux ? Phaelor (discuter) 11 octobre 2022 à 10:11 (CEST)
thread_title:  Erreur dans le schéma hiérarchique des structures algébriques