Catégorie des groupes

En mathématiques, la catégorie des groupes est une construction qui rend compte abstraitement des propriétés observées en algèbre dans l'étude des groupes. La catégorie des groupes, notée Grp, est définie de la manière suivante : Ses objets sont les groupes ; Les morphismes sont les morphismes de groupes, munis de la composition usuelle de fonctions, l'identité étant l'application identité. En théorie des catégories supérieures il est parfois pratique de voir les groupes comme des groupoïdes possédant un unique objet, les flèches de cet unique objet vers lui-même étant dénotées par les éléments du groupe lui-même. On dispose alors d'une nouvelle définition : la 2-catégorie des groupes Grp est la sous-2-catégorie pleine de la catégorie des groupoïdes formée ainsi : Les objets sont les groupoïdes à un objet ; Les 1-morphismes sont les foncteurs entre de tels objets. Ils correspondent exactement aux morphismes de groupes au sens usuel. Les 2-morphismes sont les transformations naturelles entre ces foncteurs. Ils sont définis par les automorphismes intérieurs. Si f et g sont deux foncteurs (morphismes de groupes) d'un groupe G vers un groupe H, il existe a élément de H tel que, pour tout x élément de G, . Si K est une catégorie quelconque, on définit la catégorie Grp des groupes sur K ainsi : Les objets sont les dans K, c'est-à-dire les objets G tels que, pour tout objet X, il existe une structure de groupe sur telle que est un foncteur contravariant ; Les morphismes sont les homomorphismes entre objets groupes. Dans ce cadre, la catégorie des groupes topologiques s'identifie à la catégorie des groupes sur Top, la catégorie des groupes de Lie à la catégorie des groupes sur la catégorie des variétés lisses et la catégorie des faisceaux de groupes sur un espace X s'identifie à la catégorie des groupes sur la catégorie des faisceaux d'ensembles sur X. Tout groupe est en particulier un monoïde, on dispose donc naturellement d'un foncteur d'oubli : Ce foncteur apparaît dans un triplet d'adjonction où : K est le foncteur qui envoie un monoïde sur son groupe de Grothendieck ; I est le foncteur qui envoie un monoïde sur le sous-monoïde de ses éléments inversibles.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Concepts associés (67)

Subobject

In , a branch of mathematics, a subobject is, roughly speaking, an that sits inside another object in the same . The notion is a generalization of concepts such as subsets from set theory, subgroups from group theory, and subspaces from topology. Since the detailed structure of objects is immaterial in category theory, the definition of subobject relies on a morphism that describes how one object sits inside another, rather than relying on the use of elements. The concept to a subobject is a .

Conoyau

En mathématiques, le conoyau d'un morphisme f : X → Y (par exemple un homomorphisme entre groupes ou bien un opérateur borné entre espaces de Hilbert) est la donnée d'un objet Q et d'un morphisme q : Y → Q tel que le morphisme composé soit le morphisme nul, et de plus Q est, en un certain sens, le plus "gros" objet possédant cette propriété. Souvent l'application q est sous-entendue, et Q est lui-même appelé conoyau de f. Les conoyaux sont les duaux des noyaux des catégories, d'où le nom.

Forgetful functor

In mathematics, in the area of , a forgetful functor (also known as a stripping functor) 'forgets' or drops some or all of the input's structure or properties 'before' mapping to the output. For an algebraic structure of a given signature, this may be expressed by curtailing the signature: the new signature is an edited form of the old one. If the signature is left as an empty list, the functor is simply to take the underlying set of a structure.

Afficher plus

Cours associés (4)

Séances de cours associées (13)

MATH-211: Group Theory

Après une introduction à la théorie des catégories, nous appliquerons la théorie générale au cas particulier des groupes, ce qui nous permettra de bien mettre en perspective des notions telles que quo

MATH-688: Reading group in applied topology I

The focus of this reading group is to delve into the concept of the "Magnitude of Metric Spaces". This approach offers an alternative approach to persistent homology to describe a metric space across

MATH-310: Algebra

This is an introduction to modern algebra: groups, rings and fields.

Homomorphismes de groupe : Amandes, images et sous-groupes normaux MATH-310: Algebra

Explore les homomorphismes de groupe, les noyaux, les images et les sous-groupes normaux, en utilisant le groupe dièdre D_n comme exemple.

Modèles schématiques: Quasi-catégories et Groupes

Couvre les modèles schématiques, en mettant l'accent sur les quasi-catégories et les groupes dans les catégories de modélisation.

Cohomologie de groupe MATH-506: Topology IV.b - cohomology rings

Couvre le concept de cohomologie de groupe, se concentrant sur les complexes de chaîne, les complexes de cochain, les produits de tasse et les anneaux de groupe.