Géométrie projectiveEn mathématiques, la géométrie projective est le domaine de la géométrie qui modélise les notions intuitives de perspective et d'horizon. Elle étudie les propriétés inchangées des figures par projection centrale. Le mathématicien et architecte Girard Desargues fonde la géométrie projective dans son Brouillon project d’une Atteinte aux evenemens des rencontres du cone avec un plan publié en 1639, où il l'utilise pour une théorie unifiée des coniques.
Complexe différentielEn mathématiques, un complexe différentiel est un groupe abélien (voire un module), ou plus généralement un objet d'une catégorie abélienne, muni d'un endomorphisme de carré nul (appelé différentielle ou bord), c'est-à-dire dont l' est contenue dans le noyau. Cette condition permet de définir son homologie, qui constitue un invariant essentiel en topologie algébrique. Un complexe différentiel peut être gradué pour constituer un complexe de chaines ou de cochaines).
Plan projectifEn mathématiques, la notion de plan projectif a deux sens distincts, suivant que l'approche est algébrique ou par les axiomes d'incidence entre pointe et droites, l'approche axiomatique donnant une notion qui s'avère un peu plus générale que l'approche algébrique. Un plan projectif en géométrie algébrique est une variété particulière : l'espace projectif de dimension 2. On peut associer un plan projectif à tout corps commutatif (corps des réels, corps des complexes, corps finis) ou non commutatif (quaternions.
Kinetic resolutionIn organic chemistry, kinetic resolution is a means of differentiating two enantiomers in a racemic mixture. In kinetic resolution, two enantiomers react with different reaction rates in a chemical reaction with a chiral catalyst or reagent, resulting in an enantioenriched sample of the less reactive enantiomer. As opposed to chiral resolution, kinetic resolution does not rely on different physical properties of diastereomeric products, but rather on the different chemical properties of the racemic starting materials.
Tensor-hom adjunctionIn mathematics, the tensor-hom adjunction is that the tensor product and hom-functor form an adjoint pair: This is made more precise below. The order of terms in the phrase "tensor-hom adjunction" reflects their relationship: tensor is the left adjoint, while hom is the right adjoint. Say R and S are (possibly noncommutative) rings, and consider the right module categories (an analogous statement holds for left modules): Fix an -bimodule and define functors and as follows: Then is left adjoint to .
Free presentationIn algebra, a free presentation of a module M over a commutative ring R is an exact sequence of R-modules: Note the image under g of the standard basis generates M. In particular, if J is finite, then M is a finitely generated module. If I and J are finite sets, then the presentation is called a finite presentation; a module is called finitely presented if it admits a finite presentation. Since f is a module homomorphism between free modules, it can be visualized as an (infinite) matrix with entries in R and M as its cokernel.
Projective linear groupIn mathematics, especially in the group theoretic area of algebra, the projective linear group (also known as the projective general linear group or PGL) is the induced action of the general linear group of a vector space V on the associated projective space P(V). Explicitly, the projective linear group is the quotient group PGL(V) = GL(V)/Z(V) where GL(V) is the general linear group of V and Z(V) is the subgroup of all nonzero scalar transformations of V; these are quotiented out because they act trivially on the projective space and they form the kernel of the action, and the notation "Z" reflects that the scalar transformations form the center of the general linear group.
Quaternionic projective spaceIn mathematics, quaternionic projective space is an extension of the ideas of real projective space and complex projective space, to the case where coordinates lie in the ring of quaternions Quaternionic projective space of dimension n is usually denoted by and is a closed manifold of (real) dimension 4n. It is a homogeneous space for a Lie group action, in more than one way. The quaternionic projective line is homeomorphic to the 4-sphere. Its direct construction is as a special case of the projective space over a division algebra.
Résolution chiraleEn stéréochimie, la résolution chirale est la séparation des énantiomères d'une molécule chirale, c'est-à-dire le procédé de séparation d'un composé racémique en ses énantiomères. Un désavantage de la résolution chirale, comparativement à la synthèse asymétrique directe d'un des énantiomères, est qu'elle ne fournit que 50 % du même énantiomère.
Chain (algebraic topology)In algebraic topology, a -chain is a formal linear combination of the -cells in a cell complex. In simplicial complexes (respectively, cubical complexes), -chains are combinations of -simplices (respectively, -cubes), but not necessarily connected. Chains are used in homology; the elements of a homology group are equivalence classes of chains. For a simplicial complex , the group of -chains of is given by: where are singular -simplices of . Note that any element in not necessary to be a connected simplicial complex.
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.
Suite (mathématiques)vignette|Exemple de suite : les points bleus représentent ses termes. En mathématiques, une suite est une famille d'éléments — appelés ses « termes » — indexée par les entiers naturels. Une suite finie est une famille indexée par les entiers strictement positifs inférieurs ou égaux à un certain entier, ce dernier étant appelé « longueur » de la suite. Lorsque tous les éléments d'une suite (infinie) appartiennent à un même ensemble , cette suite peut être assimilée à une application de dans .