Algèbre extérieureEn mathématiques, et plus précisément en algèbre et en analyse vectorielle, l'algèbre extérieure d'un espace vectoriel E est une algèbre associative graduée, notée . La multiplication entre deux éléments a et b est appelée le produit extérieur et est notée . Le carré de tout élément de E est zéro (), on dit que la multiplication est alternée, ce qui entraîne que pour deux éléments de E : (la loi est « anti-commutative »). L'algèbre extérieure est aussi appelée algèbre de Grassmann nommée ainsi en l'honneur de Hermann Grassmann.
CoalgèbreEn mathématiques, la notion de coalgèbre est une notion duale de celle d'algèbre sur un anneau ou sur un corps. Informellement, une algèbre A est un espace vectoriel (ou un -module) qui est muni en plus d'une multiplication, c'est-à-dire d'une application qui compose deux éléments de A pour en construire un troisième. Une coalgèbre C est donc un espace vectoriel (ou un -module) muni d'une comultiplication, c'est-à-dire-d'une application qui prend un élément de C et qui en retourne deux. Soit K un corps.
Algèbre symétriqueEn mathématiques, l'algèbre symétrique est une algèbre sur un corps associative, commutative et unifère utilisée pour définir des polynômes sur un espace vectoriel. L'algèbre symétrique est un outil important dans la théorie des algèbres de Lie et en topologie algébrique dans la théorie des classes caractéristiques. Soit E un espace vectoriel, l'algèbre symétrique de E, notée, S (E) ou Sym (E) est l'algèbre quotient de l'algèbre tensorielle T (E) par l'idéal bilatère I (E) engendré par les éléments où u et v sont des éléments de E.
BialgèbreEn mathématiques, une bialgèbre ou bigèbre est un ensemble qui possède à la fois une structure d'algèbre et une structure de coalgèbre, et tel que ces deux structures soient compatibles entre elles. Les algèbres de Hopf sont en particulier des bigèbres. Si est un corps, une bialgèbre est un -espace vectoriel muni de quatre applications linéaires : un produit , une unité , un coproduit , une counité . telles que soit une algèbre et une coalgèbre, et qui vérifie l'une des propriétés équivalentes suivantes : et sont des morphismes d'algèbres.
Monade (théorie des catégories)Une monade est une construction catégorique qui mime formellement le comportement que les monoïdes ont en algèbre. Introduite par Roger Godement sous le nom de « construction standard », la notion est d'abord diffusée sous le nom de triple avant d'être baptisée monade par Jean Bénabou. Elles permettent notamment de formuler des adjonctions et ont (au travers des comonades) un rôle important en géométrie algébrique, notamment en théorie des topos. Elles permettent également de définir les , dont les .
Algèbre de HopfEn mathématiques, une algèbre de Hopf, du nom du mathématicien Heinz Hopf, est une bialgèbre qui possède en plus une opération (l'antipode) qui généralise la notion de passage à l'inverse dans un groupe. Ces algèbres ont été introduites à l'origine pour étudier la cohomologie des groupes de Lie. Les algèbres de Hopf interviennent également en topologie algébrique, en théorie des groupes et dans bien d'autres domaines. Enfin, ce qu'on appelle les groupes quantiques sont souvent des algèbres de Hopf « déformées » et qui ne sont en général ni commutatives, ni cocommutatives.
Objet libreEn mathématiques, la notion d'objet libre est l'un des concepts de base de l'algèbre générale. Elle appartient à l'algèbre universelle, car elle s'applique à tous les types de structures algébriques (avec des opérations finitaires). Elle se formule plus généralement dans le langage de la théorie des catégories : le foncteur « objet libre » est l'adjoint à gauche du foncteur d'oubli. Des exemples d'objets libres sont les groupes libres, les groupes abéliens libres, les algèbres tensorielles...
Algèbre de WeylEn mathématiques, et plus précisément en algèbre générale, lalgèbre de Weyl est un anneau d'opérateurs différentiels dont les coefficients sont des polynômes à une variable. Cette algèbre (et d'autres la généralisant, appelées elles aussi algèbres de Weyl) a été introduite par Hermann Weyl en 1928 comme outil d'étude du principe d'incertitude en mécanique quantique. Les éléments de l'algèbre de Weyl sont de la forme où les fi sont des éléments de F[X], l'anneau des polynômes à une variable sur un corps F, et où ∂X est la dérivée par rapport à X.
Théorie des représentationsLa théorie des représentations est une branche des mathématiques qui étudie les structures algébriques abstraites en représentant leurs éléments comme des transformations linéaires d'espaces vectoriels, et qui étudie les modules sur ces structures algébriques abstraites. Essentiellement, une représentation concrétise un objet algébrique abstrait en décrivant ses éléments par des matrices et les opérations sur ces éléments en termes d'addition matricielle et de produit matriciel.
Algèbre enveloppanteEn mathématiques, on peut construire l'algèbre enveloppante d'une algèbre de Lie . Il s'agit d'une algèbre associative unitaire qui permet de rendre compte de la plupart des propriétés de . Algèbre de Lie Soit K un corps commutatif de caractéristique différente de 2. Une algèbre de Lie sur K est un espace vectoriel muni d'une application bilinéaire de dans qui vérifie les propriétés suivantes : Tout espace vectoriel peut être muni d'une structure d'algèbre de Lie, en posant .
AlgèbreL'algèbre (de l’arabe الجبر, al-jabr) est une branche des mathématiques qui permet d'exprimer les propriétés des opérations et le traitement des équations et aboutit à l'étude des structures algébriques. Selon l’époque et le niveau d’études considérés, elle peut être décrite comme : une arithmétique généralisée, étendant à différents objets ou grandeurs les opérations usuelles sur les nombres ; la théorie des équations et des polynômes ; depuis le début du , l’étude des structures algébriques (on parle d'algèbre générale ou abstraite).
Catégorie des anneauxEn mathématiques, la catégorie des anneaux est une construction qui rend compte abstraitement des propriétés des anneaux en algèbre. Dans ce contexte, « anneau » signifie toujours anneau unitaire. La catégorie des anneaux, notée Ring, est la catégorie définie ainsi : Les objets sont les anneaux ; Les morphismes sont les morphismes d'anneaux, avec la composition usuelle, et l'identité est la fonction identité sur un anneau donné. La sous-catégorie pleine de Ring, dont les objets sont les anneaux commutatifs, forme la catégorie des anneaux commutatifs, notée CRing.
Produit tensorielEn mathématiques, le produit tensoriel est un moyen commode de coder les objets multilinéaires. Il est utilisé en algèbre, en géométrie différentielle, en géométrie riemannienne, en analyse fonctionnelle et en physique (mécanique des solides, relativité générale et mécanique quantique). Théorème et définition. Soient et deux espaces vectoriels sur un corps commutatif .
Catégorie monoïdaleEn mathématiques, une catégorie monoïdale est une catégorie munie d'un bifoncteur qui généralise la notion de produit tensoriel de deux structures algébriques. Intuitivement, il s'agit de l'analogue, au niveau des catégories, de la notion de monoïde, c'est-à-dire que le bifoncteur joue le rôle d'une sorte de multiplication pour les objets de la catégorie. Une catégorie monoïdale est une catégorie munie : D'un bifoncteur appelé produit tensoriel. D'un objet I appartenant à appelé « objet unité ».
Produit tensoriel de deux modulesLe produit tensoriel de deux modules est une construction en théorie des modules qui, à deux modules sur un même anneau commutatif unifère A, assigne un module. Le produit tensoriel est très important dans les domaines de l'analyse fonctionnelle, de la topologie algébrique et de la géométrie algébrique. Le produit tensoriel permet en outre de ramener l'étude d'applications bilinéaires ou multilinéaires à des applications linéaires.
Polynôme non commutatifIn mathematics, especially in the area of abstract algebra known as ring theory, a free algebra is the noncommutative analogue of a polynomial ring since its elements may be described as "polynomials" with non-commuting variables. Likewise, the polynomial ring may be regarded as a free commutative algebra. For R a commutative ring, the free (associative, unital) algebra on n indeterminates {X1,...,Xn} is the free R-module with a basis consisting of all words over the alphabet {X1,...
Algèbre multilinéaireEn mathématiques, l’algèbre multilinéaire étend les méthodes de l’algèbre linéaire. Tout comme l’algèbre linéaire est bâtie sur le concept de vecteur et développe la théorie des espaces vectoriels, l’algèbre multilinéaire est bâtie sur le concept de tenseur et développe la théorie des espaces tensoriels. Dans les applications, de nombreux types de tenseurs surviennent. La théorie se veut exhaustive et comprend l'étude d'un certain nombre d'espaces et l'exposé de leurs relations.
Catégorie des modulesEn mathématiques, la catégorie des modules sur un monoïde R est une construction qui rend compte abstraitement des propriétés observées dans l'étude des modules sur un anneau, en les généralisant. L'étude de catégories de modules apparaît naturellement en théorie des représentations et en géométrie algébrique. Puisqu'un R-module est un espace vectoriel lorsque R est un corps commutatif, on peut dans un tel cas identifier la catégorie des modules sur R à la sur le corps R.
Outer productIn linear algebra, the outer product of two coordinate vectors is the matrix whose entries are all products of an element in the first vector with an element in the second vector. If the two coordinate vectors have dimensions n and m, then their outer product is an n × m matrix. More generally, given two tensors (multidimensional arrays of numbers), their outer product is a tensor. The outer product of tensors is also referred to as their tensor product, and can be used to define the tensor algebra.
Algèbre associativevignette|Relations entre certaines structures algébriques. En mathématiques, une algèbre associative (sur un anneau commutatif A) est une des structures algébriques utilisées en algèbre générale. C'est un anneau (ou simplement un pseudo-anneau) B muni d'une structure supplémentaire de module sur A et tel que la loi de multiplication de l'anneau B soit A-bilinéaire. C'est donc un cas particulier d'algèbre sur un anneau. Soit A un anneau commutatif. On dit que (B , + , . , × ) est une A-algèbre associative lorsque : (B , + , .
