Georges de RhamGeorges de Rham (né le à Roche (Vaud) et mort le à Lausanne) est un mathématicien et alpiniste suisse connu pour ses contributions à la topologie différentielle. Originaire de Giez (Vaud), fils de Léon, ingénieur, et de Marie, née Dupasquier, il obtient son bachot au gymnase classique de Lausanne (1921), est licencié en sciences de l'université de Lausanne (1925) et docteur en mathématiques de la faculté des sciences de Paris, où il a Elie Cartan comme directeur de thèse (1931).
Injective objectIn mathematics, especially in the field of , the concept of injective object is a generalization of the concept of injective module. This concept is important in cohomology, in homotopy theory and in the theory of . The dual notion is that of a projective object. An in a is said to be injective if for every monomorphism and every morphism there exists a morphism extending to , i.e. such that . That is, every morphism factors through every monomorphism . The morphism in the above definition is not required to be uniquely determined by and .
Formal group lawIn mathematics, a formal group law is (roughly speaking) a formal power series behaving as if it were the product of a Lie group. They were introduced by . The term formal group sometimes means the same as formal group law, and sometimes means one of several generalizations. Formal groups are intermediate between Lie groups (or algebraic groups) and Lie algebras. They are used in algebraic number theory and algebraic topology.