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

Travaux de construction à somme directe

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.

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.

Produit direct

La plupart des structures algébriques permettent de construire de façon très simple une structure produit sur le produit cartésien des ensembles sous-jacents. Plus généralement, . C'est le cas de la topologie produit dans la catégorie des espaces topologiques. Soient E un ensemble muni d'une loi de composition interne et F un ensemble muni d'une loi de composition interne . On peut définir une loi de composition interne sur le produit cartésien E×F de la façon suivante : Si et sont associatives, alors la loi est associative.

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.

Afficher plus

Séances de cours associées (45)

Sommes directes dans les groupes abeliens

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

Somme directe des groupes abeliens

Explore la somme directe des groupes abeliens, en mettant l'accent sur les bijections et l'unicité.

Relation entre la somme directe et Hom

Explore l'isomorphisme entre Hom(A, B) et Hom(A, B) pour tout groupe abelien B.

Existence: Preuve du théorème de classification

Couvre la preuve du théorème de classification pour les groupes abeliens finis, démontrant l'existence d'une décomposition en groupes cycliques.

Cas X et notations

Introduit Lemma 1.14 pour les ensembles finis en Ab et discute des notations et des propriétés des sommes directes.

Afficher plus

Concepts associés (29)