Magma (algebre)
- Magma (algebre)
-
Magma (algèbre)
Pour les articles homonymes, voir
Magma.
Un magma (ou groupoïde) est une structure algébrique constituée d'un ensemble muni d'une loi de composition interne.
Aucun axiome n'est imposé sur cette loi de composition interne, souvent notée comme une multiplication. Le manque de richesse de cette structure algébrique fait qu'elle est rarement étudiée en tant que telle ; des magmas particuliers tel que les groupes, les monoïdes etc. sont bien plus souvent utiles.
Exemples de magmas
est un magma associatif, commutatif et unifère. De plus, tout élément y est régulier. Il s'agit donc d'un monoïde commutatif et régulier, donc un semigroupe commutatif.
est également un monoïde commutatif, mais 0 n'étant pas régulier, ce n'est pas un semigroupe.
est un magma non-associatif et non-commutatif. Il n'est même pas unifère car, s'il admet un élément neutre à droite (0), il n'en admet pas à gauche. Par contre, ce magma est permutatif et régulier.- Murskii a montré en 1965 que le monoïde à trois éléments {0,1,2} muni de la loi interne *
| * |
0 |
1 |
2 |
| 0 |
0 |
0 |
0 |
| 1 |
0 |
0 |
1 |
| 2 |
0 |
2 |
2 |
ne possède pas d'axiomatisation équationnelle (ou base équationnelle) finie.
Voir aussi
Portail des mathématiques
Catégorie : Structure algébrique
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Magma (algebre) de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Magma (algèbre) — Pour les articles homonymes, voir Magma. En mathématiques, un magma (ou monade ou groupoïde de Ore[1]) est une structure algébrique constituée d un ensemble muni d une loi de composition interne. Ainsi si l on note E, un ensemble, et … Wikipédia en Français
Magma (mathématiques) — Magma (algèbre) Pour les articles homonymes, voir Magma. Un magma (ou groupoïde) est une structure algébrique constituée d un ensemble muni d une loi de composition interne. Aucun axiome n est imposé sur cette loi de composition interne, souvent… … Wikipédia en Français
Algebre universelle — Algèbre universelle L algèbre universelle est la branche de l algèbre qui a pour but de traiter de manière générale et simultanée les différentes structures algébriques : groupes, monoïdes, anneaux, espaces vectoriels, etc. Elle permet de… … Wikipédia en Français
Algèbre Universelle — L algèbre universelle est la branche de l algèbre qui a pour but de traiter de manière générale et simultanée les différentes structures algébriques : groupes, monoïdes, anneaux, espaces vectoriels, etc. Elle permet de définir de manière… … Wikipédia en Français
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 universelle — Pour les articles homonymes, voir Algèbre (homonymie). L algèbre universelle est la branche de l algèbre qui a pour but de traiter de manière générale et simultanée les différentes structures algébriques : groupes, monoïdes, anneaux, espaces … 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
Magma (calcul formel) — Pour les articles homonymes, voir Magma. Magma (calcul formel) … Wikipédia en Français
