Demigroupe
- Demigroupe
-
Demi-groupe
Un demi-groupe est un ensemble muni d'une loi de composition interne binaire associative.
S'il possède un élément neutre, on aura affaire à un monoïde. Si la loi est commutative, ce sera un demi-groupe commutatif et un semi-groupe si l'opération est régulière.
Malheureusement une certaine confusion règne dans la terminologie et provient, en partie du moins, du fait que l'équivalent anglais de demi-groupe est semigroup et cancellation semigroup pour semi-groupe. De plus, les analystes parlent de semi-groupes d'opérateurs même s'il s'agit plutôt de demi-groupes du point de vue algébrique alors que Bourbaki (Algèbre, chapitre 1, § 1, n° 3) utilise le terme monoïde pour demi-groupe et certains celui de magma associatif.
Exemples
- Tout idéal propre d'un anneau (c'est-à-dire sans l'élément neutre de l'anneau), pour la partie multiplicative, est un demi-groupe et non un monoïde.
- Tout ensemble ordonné dans lequel toute paire d'éléments possède une borne inférieure interprétée comme le produit de ces deux éléments, on obtient ainsi un demi-groupe commutatif dont tout élément est idempotent. La réciproque est vraie: soit S un tel demi-groupe et posons aRb si a.b = a, alors S est partiellement ordonné par R et toute paire d'éléments possède une borne inférieure.
- Évidemment, tout exemple de monoïde et semi-groupe.
Sous-demi-groupe
Un sous-demi-groupe d'un demi-groupe S est un sous-ensemble de S fermé sous l'opération de S.
Ainsi l'ensemble 2N des nombres pairs, ou multiples de 2, est un sous-demi-groupe du demi-groupe commutatif N des nombres naturels avec opération la multiplication: à noter que N est un monoïde avec neutre 1 alors que 2N n'est qu'un demi-groupe.
- Portail des mathématiques
Catégorie : Structure algébrique
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Demigroupe de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Algebre generale — Algèbre générale L algèbre générale, ou algèbre abstraite, est la branche des mathématiques qui porte principalement sur l étude des structures algébriques et de leurs relations. L appellation algèbre générale s oppose à celle d algèbre… … Wikipédia en Français
Algèbre Générale — L algèbre générale, ou algèbre abstraite, est la branche des mathématiques qui porte principalement sur l étude des structures algébriques et de leurs relations. L appellation algèbre générale s oppose à celle d algèbre élémentaire; cette… … Wikipédia en Français
Algèbre abstraite — Algèbre générale L algèbre générale, ou algèbre abstraite, est la branche des mathématiques qui porte principalement sur l étude des structures algébriques et de leurs relations. L appellation algèbre générale s oppose à celle d algèbre… … Wikipédia en Français
Algèbre générale — Pour les articles homonymes, voir Algèbre (homonymie). L algèbre générale, ou algèbre abstraite, est la branche des mathématiques qui porte principalement sur l étude des structures algébriques et de leurs relations. L appellation algèbre… … Wikipédia en Français
Catégorie des monoïdes — Monoïde En mathématiques, un monoïde est une structure algébrique consistant en un ensemble muni d une loi de composition interne associative et d un élément neutre. Un monoïde est donc un magma associatif, c.à.d. un demigroupe, et unifère.… … Wikipédia en Français
Monoide — Monoïde En mathématiques, un monoïde est une structure algébrique consistant en un ensemble muni d une loi de composition interne associative et d un élément neutre. Un monoïde est donc un magma associatif, c.à.d. un demigroupe, et unifère.… … Wikipédia en Français
Monoïde — En mathématiques, un monoïde est une structure algébrique consistant en un ensemble muni d une loi de composition interne associative et d un élément neutre. Par définitions il s agit donc d un magma associatif et unifère, soit un demigroupe… … Wikipédia en Français
Structure algebrique — Structure algébrique En mathématiques, plus particulièrement en algèbre, une structure algébrique est un type particulier de structure. Sa spécificité par rapport aux autres types de structure est d être formée d’un ensemble combiné à une ou… … Wikipédia en Français
Structure algébrique — En mathématiques, plus particulièrement en algèbre, une structure algébrique est un type particulier de structure. Sa spécificité par rapport aux autres types de structure est d être formée d’un ensemble combiné à une ou plusieurs lois de… … Wikipédia en Français