Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Séance de cours

Théorie de groupe: Functor Restriction

Description

Cette séance de cours introduit le concept du functeur de restriction dans le contexte de la théorie de groupe. L'instructeur définit le functeur de restriction dans une catégorie C pour un homomorphisme de groupe G à G', mettant en évidence son comportement sur les objets et les morphismes. La séance de cours explore divers exemples et propriétés du functeur de restriction, en mettant l'accent sur son rôle dans la préservation des compositions et des identités.

Source officielle

Proximité ontologique

Mathématiques

Algèbre: Algèbre générale

Concepts associés (32)

Morphisme de groupes

Un morphisme de groupes ou homomorphisme de groupes est une application entre deux groupes qui respecte la structure de groupe. Plus précisément, c'est un morphisme de magmas d'un groupe dans un groupe , c'est-à-dire une application telle que et l'on en déduit alors que f(e) = e (où e et e désignent les neutres respectifs de G et G) et ∀x ∈ G f(x) = [f(x)]. donc ; en composant par l'inverse de , on obtient (autrement dit, un morphisme de groupes conserve l'idempotence, et l'élément neutre d'un groupe est son unique élément idempotent).

Homomorphism

In algebra, a homomorphism is a structure-preserving map between two algebraic structures of the same type (such as two groups, two rings, or two vector spaces). The word homomorphism comes from the Ancient Greek language: ὁμός () meaning "same" and μορφή () meaning "form" or "shape". However, the word was apparently introduced to mathematics due to a (mis)translation of German ähnlich meaning "similar" to ὁμός meaning "same". The term "homomorphism" appeared as early as 1892, when it was attributed to the German mathematician Felix Klein (1849–1925).

Théorie des catégories

La théorie des catégories est l'étude des structures mathématiques et de leurs relations. Ce domaine est né du constat de l'abondance de caractéristiques partagées par diverses classes liées à des structures mathématiques. Les catégories sont utilisées dans la plupart des branches mathématiques et dans certains secteurs de l'informatique théorique et en mathématiques de la physique. Elles forment une notion unificatrice.

Category (mathematics)

In mathematics, a category (sometimes called an abstract category to distinguish it from a ) is a collection of "objects" that are linked by "arrows". A category has two basic properties: the ability to compose the arrows associatively and the existence of an identity arrow for each object. A simple example is the , whose objects are sets and whose arrows are functions. is a branch of mathematics that seeks to generalize all of mathematics in terms of categories, independent of what their objects and arrows represent.

Section (théorie des catégories)

vignette|Ici, g est une section de f, et f est une rétraction de g. Dans le domaine mathématique de la théorie des catégories, si on a un couple de morphismes , tel que (le morphisme identité de Y, souvent réalisé par l'application identité sur Y), on dit que g est une section de f, et que f est une rétraction de g. En d'autres termes, une section est un inverse à droite, et une rétraction est un inverse à gauche (ce sont deux notions duales).

Afficher plus

Séances de cours associées (37)

Functors: Définition

Introduit des functeurs dans la théorie de catégorie et explique leur composition.

Introduction à la théorie des catégories : exemples

Présente la théorie des catégories au moyen d'exemples et discute du produit des catégories.

Topologie : les groupes libres et leurs propriétés

Discute de la théorie des groupes libres, de leurs propriétés et de leurs relations avec d'autres structures algébriques.

Objets simples et cosimpliciels : exemples et applications

Couvre les objets simpliciaux et cosimpliciaux en théorie des catégories avec des exemples pratiques.

Les poussoirs dans la théorie des groupes : Universal Properties Explained

Couvre la construction et les propriétés universelles des poussoirs en théorie des groupes.

Afficher plus

Concepts associés (32)

Morphisme de groupes

Homomorphism

Théorie des catégories

Category (mathematics)

Section (théorie des catégories)

Afficher plus