Signature (algebre)
- Signature (algebre)
-
Signature (algèbre)
En mathématiques, une signature pour une structure algébrique A sur un ensemble sous-jacent S est une liste d'opérations (avec leurs arités) qui caractérise A. Les signatures sont un concept important en algèbre universelle, et sont également employées en théorie des modèles, théorie des catégories et théorie des types.
Algèbre générale
Une signature est constituée de deux listes, encadrées par
et
, dont les éléments sont séparés par des virgules.
- Une liste commence par S suivi par les symboles des opérations qui caractérisent A. Une opération f d'arité n, où n est un entier naturel, est une fonction f: Sn→S. Des éléments distingués de S, comme un élement neutre ou un élement unité, sont considérés comme des opérations d'arité 0.
- La seconde liste, composée des arités des opérations, est appelée le type de A. Les arités sont listées dans le même ordre que les opérations correspondantes.
Exemple
un groupe additif sur G possède la signature
de type
.
Algèbre linéaire
La signature d'une forme quadratique indique les signes devant les éléments de sa décomposition en carrés de formes linéaires indépendantes.
Cela se comprend mieux sur un exemple :
Exemple
Soit q(x,y,z) = 2yz + 3xz + xy.
On a
, avec
,
et z2 linéairement indépendants.
Dès lors, la signature de q est
, notée aussi 
Voir aussi
References
Monographie en ligne :
- Burris, Stanley N., and H.P. Sankappanavar, H. P., 1981. A Course in Universal Algebra. Springer-Verlag. ISBN 3540905782. Voir en particulier pp. 22-24.
Catégorie : Algèbre générale
Wikimedia Foundation.
2010.
Contenu soumis à la licence CC-BY-SA. Source : Article Signature (algebre) de Wikipédia en français (auteurs)
Regardez d'autres dictionnaires:
Signature (algèbre) — Pour les articles homonymes, voir Signature (homonymie). En calcul des prédicats et en algèbre universelle, une signature est une liste de symboles de constante, fonction et de relation, chacun ayant une arité, qui est un entier naturel indiquant … Wikipédia en Français
Signature algébrique — Signature (algèbre) Pour les articles homonymes, voir Signature. En mathématiques, une signature pour une structure algébrique A sur un ensemble sous jacent S est une liste d opérations (avec leurs arités) qui caractérise A. Les signatures sont… … 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 de Clifford — Algèbre de Clifford En mathématiques, les algèbres de Clifford sont des algèbres associatives importantes au sein des théories des formes quadratiques, des groupes orthogonaux et en physique. Elles peuvent être vues comme l une des… … Wikipédia en Français
Algèbre De Clifford — En mathématiques, les algèbres de Clifford sont des algèbres associatives importantes au sein des théories des formes quadratiques, des groupes orthogonaux et en physique. Elles peuvent être vues comme l une des généralisations possibles des… … Wikipédia en Français
Algèbre de Clifford du plan euclidien) — Algèbre de Clifford En mathématiques, les algèbres de Clifford sont des algèbres associatives importantes au sein des théories des formes quadratiques, des groupes orthogonaux et en physique. Elles peuvent être vues comme l une des… … Wikipédia en Français
Algèbre de clifford — En mathématiques, les algèbres de Clifford sont des algèbres associatives importantes au sein des théories des formes quadratiques, des groupes orthogonaux et en physique. Elles peuvent être vues comme l une des généralisations possibles des… … Wikipédia en Français
Algebre de Lie — Algèbre de Lie En mathématiques, une algèbre de Lie, nommée en l honneur du mathématicien Sophus Lie, est un espace vectoriel (parfois même une algèbre) qui est munie d un crochet de Lie. Sommaire 1 Définitions, exemples et premières propriétés 1 … Wikipédia en Français
Algèbre De Lie — En mathématiques, une algèbre de Lie, nommée en l honneur du mathématicien Sophus Lie, est un espace vectoriel (parfois même une algèbre) qui est munie d un crochet de Lie. Sommaire 1 Définitions, exemples et premières propriétés 1.1 Définition … Wikipédia en Français