Cup-produitEn topologie algébrique (une branche des mathématiques), le cup-produit est une opération binaire définie sur les groupes de cohomologie qui permet d'assembler des cocycles. Cette opération est graduée, associative et distributive, ce qui permet de définir l'. Introduite à l'origine en cohomologie singulière, des constructions analogues existent pour différentes théories cohomologiques. Le cup-produit se généralise sous la forme du .
Engineer's degreeAn engineer's degree is an advanced academic degree in engineering which is conferred in Europe, some countries of Latin America, North Africa and a few institutions in the United States. The degree may require a thesis but always requires a non-abstract project. Through the Canadian Engineering Accreditation Board (CEAB), Engineers Canada accredits Canadian undergraduate engineering programs that meet the standards of the profession.
Finitely generated moduleIn mathematics, a finitely generated module is a module that has a finite generating set. A finitely generated module over a ring R may also be called a finite R-module, finite over R, or a module of finite type. Related concepts include finitely cogenerated modules, finitely presented modules, finitely related modules and coherent modules all of which are defined below. Over a Noetherian ring the concepts of finitely generated, finitely presented and coherent modules coincide.
Product (business)In marketing, a product is an object, or system, or service made available for consumer use as of the consumer demand; it is anything that can be offered to a market to satisfy the desire or need of a customer. In retailing, products are often referred to as merchandise, and in manufacturing, products are bought as raw materials and then sold as finished goods. A service is also regarded as a type of product. In project management, products are the formal definition of the project deliverables that make up or contribute to delivering the objectives of the project.
Lie algebra cohomologyIn mathematics, Lie algebra cohomology is a cohomology theory for Lie algebras. It was first introduced in 1929 by Élie Cartan to study the topology of Lie groups and homogeneous spaces by relating cohomological methods of Georges de Rham to properties of the Lie algebra. It was later extended by to coefficients in an arbitrary Lie module. If is a compact simply connected Lie group, then it is determined by its Lie algebra, so it should be possible to calculate its cohomology from the Lie algebra.
Cap-produitEn mathématiques, et plus particulièrement en topologie algébrique, le cap-produit est une opération binaire qui permet d'assembler des chaînes et des cochaînes. Elle a été introduite par Eduard Čech en 1936 et indépendamment par Hassler Whitney en 1938. Soit X un espace topologique et A un anneau. Le cap-produit est une application bilinéaire définie sur les chaines et les cochaines singulières en posant avec et et où est la restriction de l'application simpliciale à la face engendrée par les vecteurs .
Classe suivant un sous-groupeEn théorie des groupes, les classes à gauche d'un groupe G suivant un sous-groupe H sont les parties de G de la forme gH avec g élément de G, où gH désigne l'ensemble des éléments gh quand h parcourt H. Elles constituent les classes d'une relation d'équivalence sur G, donc forment une partition de G. On peut les voir aussi comme les orbites de l'action à droite de H sur G, par translations par les symétriques des éléments de H. L'ensemble des classes à gauche d'un groupe G suivant un sous-groupe H est noté G/H.
Focal subgroup theoremIn abstract algebra, the focal subgroup theorem describes the fusion of elements in a Sylow subgroup of a finite group. The focal subgroup theorem was introduced in and is the "first major application of the transfer" according to . The focal subgroup theorem relates the ideas of transfer and fusion such as described in . Various applications of these ideas include local criteria for p-nilpotence and various non-simplicity criteria focussing on showing that a finite group has a normal subgroup of index p.
Cohomologie étaleLa cohomologie étale est la théorie cohomologique des faisceaux associée à la topologie étale. Elle mime le comportement habituel de la cohomologie classique sur des objets mathématiques où celle-ci n'est pas envisageable, en particulier les schémas et les espaces analytiques. La cohomologie étale a été introduite pour les schémas par Alexander Grothendieck et Michael Artin dans SGA 4 et 41⁄2, avec l'objectif de réaliser une cohomologie de Weil et ainsi résoudre les conjectures de Weil, objectif partiellement rempli, plus tard complété par Pierre Deligne avec l'introduction de la cohomologie l-adique.
G-moduleIn mathematics, given a group G, a G-module is an abelian group M on which G acts compatibly with the abelian group structure on M. This widely applicable notion generalizes that of a representation of G. Group (co)homology provides an important set of tools for studying general G-modules. The term G-module is also used for the more general notion of an R-module on which G acts linearly (i.e. as a group of R-module automorphisms). Let be a group.
Resolution (algebra)In mathematics, and more specifically in homological algebra, a resolution (or left resolution; dually a coresolution or right resolution) is an exact sequence of modules (or, more generally, of s of an ), which is used to define invariants characterizing the structure of a specific module or object of this category. When, as usually, arrows are oriented to the right, the sequence is supposed to be infinite to the left for (left) resolutions, and to the right for right resolutions.
Foncteur adjointL'adjonction est une situation omniprésente en mathématiques, et formalisée en théorie des catégories par la notion de foncteurs adjoints. Une adjonction entre deux catégories et est une paire de deux foncteurs et vérifiant que, pour tout objet X dans C et Y dans D, il existe une bijection entre les ensembles de morphismes correspondants et la famille de bijections est naturelle en X et Y. On dit que F et G sont des foncteurs adjoints et plus précisément, que F est « adjoint à gauche de G » ou que G est « adjoint à droite de F ».
