Module homomorphismIn algebra, a module homomorphism is a function between modules that preserves the module structures. Explicitly, if M and N are left modules over a ring R, then a function is called an R-module homomorphism or an R-linear map if for any x, y in M and r in R, In other words, f is a group homomorphism (for the underlying additive groups) that commutes with scalar multiplication. If M, N are right R-modules, then the second condition is replaced with The of the zero element under f is called the kernel of f.
Algèbre de JordanEn algèbre générale, une algèbre de Jordan est une algèbre sur un corps commutatif, dans laquelle l'opération de multiplication interne, a deux propriétés : elle est commutative, c’est-à-dire que elle vérifie l'identité suivante, dite identité de Jordan : . Une algèbre de Jordan n'est donc pas associative en général ; elle vérifie toutefois une propriété d’associativité faible, car elle est à puissances associatives et satisfait d’office à une généralisation de l'identité de Jordan : en notant simplement le produit de m termes , on a, pour tous les entiers positifs m et n, .
Algèbre involutiveEn mathématiques, une algèbre involutive ou une algèbre à involution est une algèbre munie d'un isomorphisme sur son algèbre opposée qui est involutif, c'est-à-dire de carré égal à l'identité. Dans cet article, K désigne un anneau commutatif, et les algèbres sur un anneau commutatif sont supposées être associatives et unitaires, et les homomorphismes entre algèbres sont supposés être unitaires, c'est-à-dire envoyer 1 sur 1. Soient A une algèbre sur K et μ la multiplication de A.
Algèbre d'un monoïdeEn algèbre, plus précisément en théorie des anneaux, l'algèbre d'un monoïde M sur un anneau commutatif A est la A-algèbre formée des combinaisons linéaires d'éléments de M, à coefficients dans A. Cette construction généralise celle des anneaux de polynômes et intervient, lorsque M est un groupe, dans la théorie de ses représentations et dans la définition de son homologie. Lorsque A est un anneau non commutatif, la même construction ne fournit pas une A-algèbre mais seulement un anneau.
Foncteur dérivéEn mathématiques, certains foncteurs peuvent être dérivés pour obtenir de nouveaux foncteurs liés de manière naturelle par des morphismes à ceux de départs. Cette notion abstraite permet d'unifier des constructions concrètes intervenant dans de nombreux domaines des mathématiques. Elle n'est pas liée à la notion de dérivation en analyse. La notion de foncteur dérivé est conçue pour donner un cadre général aux situations où une suite exacte courte donne naissance à une suite exacte longue.
Tribu (mathématiques)En mathématiques, une tribu ou σ-algèbre (lire sigma-algèbre) ou plus rarement corps de Borel sur un ensemble X est un ensemble non vide de parties de X, stable par passage au complémentaire et par union dénombrable (donc aussi par intersection dénombrable). Les tribus permettent de définir rigoureusement la notion d'ensemble mesurable. Progressivement formalisées pendant le premier tiers du , les tribus constituent le cadre dans lequel s'est développée la théorie de la mesure.
Méthode d'EulerEn mathématiques, la méthode d'Euler, nommée ainsi en l'honneur du mathématicien Leonhard Euler (1707 — 1783), est une procédure numérique pour résoudre par approximation des équations différentielles du premier ordre avec une condition initiale. C'est la plus simple des méthodes de résolution numérique des équations différentielles. thumb|Illustration de la méthode d'Euler explicite : l'avancée se fait par approximation sur la tangente au point initial.
Free monoidIn abstract algebra, the free monoid on a set is the monoid whose elements are all the finite sequences (or strings) of zero or more elements from that set, with string concatenation as the monoid operation and with the unique sequence of zero elements, often called the empty string and denoted by ε or λ, as the identity element. The free monoid on a set A is usually denoted A∗. The free semigroup on A is the subsemigroup of A∗ containing all elements except the empty string. It is usually denoted A+.
Monoïde des tracesEn mathématiques et en informatique, une trace est un ensemble de mots, où certaines lettres peuvent commuter, et d'autres non. Le monoïde des traces ou monoïde partiellement commutatif libre est le monoïde quotient du monoïde libre par une relation de commutation de lettres. Le monoïde des traces est donc une structure qui se situe entre le monoïde libre et le monoïde commutatif libre. L'intérêt mathématique du monoïde des traces a été mis en évidence dans l'ouvrage fondateur .
Lemme de YonedaEn théorie des catégories, le lemme de Yoneda, attribué au mathématicien japonais Nobuo Yoneda, est un théorème de plongement d'une catégorie localement petite dans une catégorie de foncteurs : les objets de sont identifiés aux foncteurs représentables, et les morphismes de à toutes les transformations naturelles entre ces foncteurs. C'est une vaste généralisation du théorème de Cayley pour les groupes (vus comme des petites catégories à un seul objet).
