Séance de cours

Travaux de construction à somme directe

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Description

Cette séance de cours couvre l'existence et l'unicité des sommes directes dans le contexte des groupes abeliens. Il explique comment abuser de la notation pour indiquer la somme directe d'une collection de groupes. La séance de cours examine également les conséquences de la propriété unique et fournit une preuve illustrant la construction de sommes directes.

Source officielle

Proximité ontologique

Mathématiques

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

Concepts associés (29)

Direct sum

The direct sum is an operation between structures in abstract algebra, a branch of mathematics. It is defined differently, but analogously, for different kinds of structures. To see how the direct sum is used in abstract algebra, consider a more elementary kind of structure, the abelian group. The direct sum of two abelian groups and is another abelian group consisting of the ordered pairs where and . To add ordered pairs, we define the sum to be ; in other words addition is defined coordinate-wise.

Somme directe

En mathématiques, et plus précisément en algèbre, le terme de somme directe désigne des ensembles munis de certaines structures, souvent construits à partir du produit cartésien d'autres ensembles du même type, et vérifiant la propriété universelle de la somme (ou « coproduit ») au sens des catégories. Produit direct (groupes)#Somme directe interne d'une famille de sous-groupes abéliensSomme directe interne de sous-groupes abéliens Soient F et F deux sous-espaces vectoriels d'un espace vectoriel E.

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.

Direct sum of groups

In mathematics, a group G is called the direct sum of two normal subgroups with trivial intersection if it is generated by the subgroups. In abstract algebra, this method of construction of groups can be generalized to direct sums of vector spaces, modules, and other structures; see the article direct sum of modules for more information. A group which can be expressed as a direct sum of non-trivial subgroups is called decomposable, and if a group cannot be expressed as such a direct sum then it is called indecomposable.

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.

Afficher plus

Séances de cours associées (41)

Catégorie : Abelian Groups

Explore les groupes abéliens d'un point de vue catégorique, en discutant de la construction de coproduits.

Groupes abéliens libres : théorie des groupes

Explore le concept de groupes abéliens libres en tant que foncteur adjoint gauche important.

Existence de Sommes Directes : Groupes Abéliens

Démontre l'existence de sommes directes de groupes abéliens et couvre les propositions et les preuves liées à leur unicité.

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.

Sommes directes dans les groupes abeliens

Explore les sommes directes dans les groupes abeliens, en mettant l'accent sur l'existence et l'unicité.

Afficher plus

Concepts associés (29)

Groupe abélien de type fini

Afficher plus