Module semi-simplethumb|Camille Jordan, auteur du théorème clé de la théorie En mathématiques et plus précisément en algèbre non commutative, un module sur un anneau est dit semi-simple ou complètement réductible s'il est somme directe de sous-modules simples ou, ce qui est équivalent, si chacun de ses sous-modules possède un supplémentaire. Les propriétés des modules semi-simples sont utilisées en algèbre linéaire pour l'analyse des endomorphismes, dans le cadre des anneaux semi-simples et pour la théorie des représentations des groupes.
Théorie des catégoriesLa théorie des catégories est l'étude des structures mathématiques et de leurs relations. Ce domaine est né du constat de l'abondance de caractéristiques partagées par diverses classes liées à des structures mathématiques. Les catégories sont utilisées dans la plupart des branches mathématiques et dans certains secteurs de l'informatique théorique et en mathématiques de la physique. Elles forment une notion unificatrice.
Foncteur ExtLes foncteurs Ext sont les foncteurs dérivés du foncteur Hom. Ils sont d'abord apparus en algèbre homologique, où ils jouent un rôle central par exemple dans le théorème des coefficients universels, mais interviennent aujourd'hui dans de nombreuses branches différentes des mathématiques. Ce foncteur apparaît originellement dans l'étude des extensions de modules, d'où il tire son nom. Soit A une catégorie abélienne. D'après le théorème de plongement de Mitchell, on peut toujours imaginer travailler avec une catégorie de modules.
Espace projectifEn mathématiques, un espace projectif est le résultat d'une construction fondamentale qui consiste à rendre homogène un espace vectoriel, autrement dit à raisonner indépendamment des proportionnalités pour ne plus considérer que des directions. Par exemple, l'espace projectif réel de dimension n, P(R),ou RPn, est l'ensemble des droites vectorielles ou des directions de R ; formellement, c'est le quotient de R{0} par la relation d'équivalence de colinéarité. On peut munir ces espaces projectifs de structures additionnelles pour en faire des variétés.
Completely distributive latticeIn the mathematical area of order theory, a completely distributive lattice is a complete lattice in which arbitrary joins distribute over arbitrary meets. Formally, a complete lattice L is said to be completely distributive if, for any doubly indexed family {xj,k | j in J, k in Kj} of L, we have where F is the set of choice functions f choosing for each index j of J some index f(j) in Kj. Complete distributivity is a self-dual property, i.e. dualizing the above statement yields the same class of complete lattices.
Inverse image functorIn mathematics, specifically in algebraic topology and algebraic geometry, an inverse image functor is a contravariant construction of sheaves; here “contravariant” in the sense given a map , the inverse image functor is a functor from the of sheaves on Y to the category of sheaves on X. The is the primary operation on sheaves, with the simplest definition. The inverse image exhibits some relatively subtle features. Suppose we are given a sheaf on and that we want to transport to using a continuous map .
Duality theory for distributive latticesIn mathematics, duality theory for distributive lattices provides three different (but closely related) representations of bounded distributive lattices via Priestley spaces, spectral spaces, and pairwise Stone spaces. This duality, which is originally also due to Marshall H. Stone, generalizes the well-known Stone duality between Stone spaces and Boolean algebras. Let L be a bounded distributive lattice, and let X denote the set of prime filters of L. For each a ∈ L, let φ+(a) = {x∈ X : a ∈ x.
Birkhoff's representation theoremThis is about lattice theory. For other similarly named results, see Birkhoff's theorem (disambiguation). In mathematics, Birkhoff's representation theorem for distributive lattices states that the elements of any finite distributive lattice can be represented as finite sets, in such a way that the lattice operations correspond to unions and intersections of sets. The theorem can be interpreted as providing a one-to-one correspondence between distributive lattices and partial orders, between quasi-ordinal knowledge spaces and preorders, or between finite topological spaces and preorders.
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...
DistributivitéEn mathématiques, plus précisément en arithmétique et en algèbre générale, la distributivité d'une opération par rapport à une autre est une généralisation de la propriété élémentaire : « le produit d'une somme est égal à la somme des produits ». Par exemple, dans l'expression 2 × (5 + 3) = (2×5) + (2×3), le facteur 2 est distribué à chacun des deux termes de la somme 5 + 3. L'égalité est alors bien vérifiée : à gauche 2 × 8 = 16, à droite 10 + 6 = 16.
