Concept
Monoïde
Concepts associés (35)
History monoid
In mathematics and computer science, a history monoid is a way of representing the histories of concurrently running computer processes as a collection of strings, each string representing the individual history of a process. The history monoid provides a set of synchronization primitives (such as locks, mutexes or thread joins) for providing rendezvous points between a set of independently executing processes or threads.
Relations de Green
En mathématiques, les relations de Green sont cinq relations d'équivalence qui décrivent les éléments d'un demi-groupe par les idéaux principaux qu’ils engendrent. Les relations sont nommées d'après James Alexander Green, qui les a introduites dans un article paru en 1951. Les relations sont fondamentales pour comprendre la structure d'un demi-groupe : ainsi, pour John M. Howie, un théoricien bien connu des demi-groupes, ces relations sont .
Demi-groupe bicyclique
En mathématiques, et en informatique théorique, le demi-groupe bicyclique est un demi-groupe particulier. Cet objet est important dans la théorie structurelle des demi-groupes et un important exemple de monoïde syntaxique. Même s'il est appelé demi-groupe bicyclique, c'est en fait un monoïde. La première description dans la littérature en a été donnée par Evgenii Sergeevich Lyapin en 1953. Alfred H. Clifford et Gordon Preston, dans leur livre, disent que l'un d'entre eux avait découvert ce monoïde avant 1943, en collaboration avec David Rees, mais n'avait pas publié le résultat.
Algèbre de Kleene
En mathématiques, une algèbre de Kleene (du nom du logicien américain Stephen Cole Kleene) correspond à l'un des deux concepts suivants : Un treillis ordonné et distributif avec une involution satisfaisant les lois de De Morgan et l'inégalité x ∧ −x ≤ y ∨ −y. Ce qui fait que chaque algèbre booléenne est une algèbre de Kleene, la réciproque étant complément. À l'instar des algèbres de Boole qui sont basées sur les propositions logiques classiques, les algèbres de Kleene sont basées sur la logique ternaire de Kleene.
Groupe ordonné
Un groupe ordonné est un groupe muni d'une relation d'ordre respectée par les translations. Soit (G,.) un groupe (la loi du groupe étant notée multiplicativement) et ≤ une relation d'ordre sur G. On dit que celle-ci est compatible avec la loi du groupe lorsque pour tous éléments x, y et z du groupe, la relation x ≤ y entraîne les deux relations zx ≤ zy et xz ≤ yz. Un groupe ordonné est un ensemble muni simultanément d'une loi de groupe et d'une relation d'ordre compatible.