Faisceau injectifEn mathématiques, un faisceau injectif est un d'une catégorie abélienne de faisceaux. Typiquement, dans la catégorie des faisceaux de groupes abéliens sur un espace topologique fixé, un faisceau est dit injectif lorsque, pour tout sous-faisceau d'un faisceau , tout morphisme injectif de dans se prolonge en un morphisme de dans . Autrement dit, le foncteur (contravariant) exact à gauche est exact. On en déduit immédiatement : Pour tout point de , il existe un plongement de la fibre dans un groupe abélien injectif .
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.
Cohomologie des faisceauxLes groupes de cohomologie d'un faisceau de groupes abéliens sont les groupes de cohomologie du complexe de cochaines. Les groupes de cohomologie d'un faisceau de groupes abéliens sont les groupes de cohomologie du complexe de cochaines : où est une résolution injective du faisceau , et désigne le groupe abélien des sections globales de . A unique isomorphisme canonique près, ces groupes ne dépendent pas de la résolution injective choisie. Le zéroième groupe est canoniquement isomorphe à .
Test de primalité de Fermatvignette|Si le test de Fermat échoue, alors le nombre est composé. Si le test réussit, il y a de fortes chances que le nombre soit premier (illustration inspirée de , p. 30). En algorithmique, le test de primalité de Fermat est un test de primalité probabiliste basé sur le petit théorème de Fermat. Il est de type Monte-Carlo : s'il détecte qu'un nombre est composé alors il a raison ; en revanche, il peut se tromper s'il prétend que le nombre est premier.
Image functors for sheavesIn mathematics, especially in sheaf theory—a domain applied in areas such as topology, logic and algebraic geometry—there are four image functors for sheaves that belong together in various senses. Given a continuous mapping f: X → Y of topological spaces, and the Sh(–) of sheaves of abelian groups on a topological space. The functors in question are f∗ : Sh(X) → Sh(Y) f∗ : Sh(Y) → Sh(X) f! : Sh(X) → Sh(Y) Rf! : D(Sh(Y)) → D(Sh(X)).
Coherent sheafIn mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaves are a class of sheaves closely linked to the geometric properties of the underlying space. The definition of coherent sheaves is made with reference to a sheaf of rings that codifies this geometric information. Coherent sheaves can be seen as a generalization of vector bundles. Unlike vector bundles, they form an , and so they are closed under operations such as taking , , and cokernels.
Faisceau (de modules)En mathématique, un faisceau de modules est un faisceau sur un espace localement annelé qui possède une structure de module sur le faisceau structural . Sur un espace localement annelé , un faisceau de -modules (ou un -Module) est un faisceau sur tel que soit un -module pour tout ouvert , et que pour tout ouvert contenu dans , l'application restriction soit compatible avec les structures de modules: pour tous , on a Les notions de sous--modules et de morphismes de -modules sont claires.
Perverse sheafThe mathematical term perverse sheaves refers to a certain associated to a topological space X, which may be a real or complex manifold, or a more general topologically stratified space, usually singular. This concept was introduced in the thesis of Zoghman Mebkhout, gaining more popularity after the (independent) work of Joseph Bernstein, Alexander Beilinson, and Pierre Deligne (1982) as a formalisation of the Riemann-Hilbert correspondence, which related the topology of singular spaces (intersection homology of Mark Goresky and Robert MacPherson) and the algebraic theory of differential equations (microlocal calculus and holonomic D-modules of Joseph Bernstein, Masaki Kashiwara and Takahiro Kawai).
Invertible sheafIn mathematics, an invertible sheaf is a sheaf on a ringed space which has an inverse with respect to tensor product of sheaves of modules. It is the equivalent in algebraic geometry of the topological notion of a line bundle. Due to their interactions with Cartier divisors, they play a central role in the study of algebraic varieties. Let (X, OX) be a ringed space. Isomorphism classes of sheaves of OX-modules form a monoid under the operation of tensor product of OX-modules. The identity element for this operation is OX itself.
Réduction de la dimensionnalitévignette|320x320px|Animation présentant la projection de points en deux dimensions sur les axes obtenus par analyse en composantes principales, une méthode populaire de réduction de la dimensionnalité La réduction de la dimensionnalité (ou réduction de (la) dimension) est un processus étudié en mathématiques et en informatique, qui consiste à prendre des données dans un espace de grande dimension, et à les remplacer par des données dans un espace de plus petite dimension.
Écriture bicaméraleUne écriture bicamérale est une écriture comprenant des lettres minuscules et des lettres capitales. Plus précisément, elle oppose deux œils de format (ou « casse ») — et parfois de tracé — différents pour chaque caractère. Par opposition, une écriture dans laquelle il n’existe pas une telle opposition est dite monocamérale ou unicamérale. On appelle les lettres des minuscules, tandis que les lettres d’un format plus grand, utilisées dans certains cas régis par la grammaire et l’orthotypographie, sont les majuscules (à ne pas confondre avec capitales).
Camel casevignette|CamelCase illustré avec un chameau. vignette|camelCase illustré avec un dromadaire. vignette|Camel case sur un panneau de direction (les mots champions et gate sont mis bout-à-bout et le second commence par une majuscule pour marquer la séparation). Le camel case (de l'anglais, littéralement « casse de chameau ») est une notation consistant à écrire un ensemble de mots en les liant sans espace ni ponctuation, et en mettant en capitale la première lettre de chaque mot.
