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

Groupes abeliens: Théorie des catégories

Description

Cette séance de cours introduit le concept de groupes abeliens et explore le lemma indiquant qu'un groupe est abelien si et seulement si sa multiplication de groupe est un homomorphisme de groupe. La preuve consiste à démontrer la structure d'un groupe dont le composant est défini par multiplication. Différents exemples et implications de ce lemma sont discutés.

Source officielle

Proximité ontologique

Mathématiques

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

Concepts associés (17)

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).

Groupe abélien

En mathématiques, plus précisément en algèbre, un groupe abélien (du nom de Niels Abel), ou groupe commutatif, est un groupe dont la loi de composition interne est commutative. Vu autrement, un groupe commutatif peut aussi être défini comme un module sur l'anneau commutatif des entiers relatifs ; l'étude des groupes abéliens apparaît alors comme un cas particulier de la théorie des modules. On sait classifier de façon simple et explicite les groupes abéliens de type fini à isomorphisme près, et en particulier décrire les groupes abéliens finis.

Groupe abélien de type fini

En mathématiques, un groupe abélien de type fini est un groupe abélien qui possède une partie génératrice finie. Autrement dit : c'est un module de type fini sur l'anneau Z des entiers relatifs. Par conséquent, les produits finis, les quotients, mais aussi les sous-groupes des groupes abéliens de type fini sont eux-mêmes de type fini. Un théorème de structure des groupes abéliens de type fini permet d'expliciter la liste complète de ces groupes à isomorphisme près ; il montre notamment que tout groupe abélien de type fini est un produit fini de groupes monogènes.

Théorème de factorisation

En mathématiques, le théorème de factorisation est un principe général qui permet de construire un morphisme d'une structure quotient dans un autre espace à partir d'un morphisme de vers , de façon à factoriser ce dernier par la surjection canonique de passage au quotient. Soit un ensemble muni d'une relation d'équivalence et la surjection canonique. L'unicité de g est immédiate et guide la preuve de son existence, dont voici plusieurs variantes : Preuve « naïve » : pour tout élément , on pose .

Afficher plus

Séances de cours associées (51)

Séquences exactes: Torsion et divisibilité

Explore les séquences exactes des homomorphismes de groupe abelien et fournit des exemples.

Théorie de groupe: Partie 2

Explore les tables de Cayley, les opérations de groupe, les homomorphismes, les groupes Lie et les groupes différenciables.

Catégories de béton

Couvre les catégories de béton avec des ensembles et des structures, y compris Ens, Gr, Ab et Vectk.

Endomorphismes et automorphismes des groupes compacts locaux totalement déconnectés V

Explore les endomorphismes et les automorphismes de groupes compacts locaux totalement déconnectés, mettant l'accent sur les homomorphismes surjectifs et les groupes abeliens libres.

Functor Hom: Groupes abeliens

Explore le functeur Hom dans les groupes abeliens, en se concentrant sur sa construction et ses propriétés.

Afficher plus

Concepts associés (17)

Morphisme de groupes

Homomorphism

Groupe abélien

Groupe abélien de type fini

Théorème de factorisation

Afficher plus