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. A group G is called the direct sum of two subgroups H1 and H2 if each H1 and H2 are normal subgroups of G, the subgroups H1 and H2 have trivial intersection (i.e., having only the identity element of G in common), G = ⟨H1, H2⟩; in other words, G is generated by the subgroups H1 and H2. More generally, G is called the direct sum of a finite set of subgroups {Hi} if each Hi is a normal subgroup of G, each Hi has trivial intersection with the subgroup ⟨{Hj : j ≠ i}⟩, G = ⟨{Hi}⟩; in other words, G is generated by the subgroups {Hi}. If G is the direct sum of subgroups H and K then we write G = H + K, and if G is the direct sum of a set of subgroups {Hi} then we often write G = ΣHi. Loosely speaking, a direct sum is isomorphic to a weak direct product of subgroups. If G = H + K, then it can be proven that: for all h in H, k in K, we have that h ∗ k = k ∗ h for all g in G, there exists unique h in H, k in K such that g = h ∗ k There is a cancellation of the sum in a quotient; so that (H + K)/K is isomorphic to H The above assertions can be generalized to the case of G = ΣHi, where {Hi} is a finite set of subgroups: if i ≠ j, then for all hi in Hi, hj in Hj, we have that hi ∗ hj = hj ∗ hi for each g in G, there exists a unique set of elements hi in Hi such that g = h1 ∗ h2 ∗ ... ∗ hi ∗ ... ∗ hn There is a cancellation of the sum in a quotient; so that ((ΣHi) + K)/K is isomorphic to ΣHi. Note the similarity with the direct product, where each g can be expressed uniquely as g = (h1,h2, ..., hi, ..., hn).

À 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.
Cours associés (8)
MATH-334: Representation theory
Study the basics of representation theory of groups and associative algebras.
MATH-110(b): Advanced linear algebra I
L'objectif du cours est d'introduire les notions de base de l'algèbre linéaire et de démontrer rigoureusement les résultats principaux de ce sujet.
MATH-110(a): Advanced linear algebra I - vector spaces
L'objectif du cours est d'introduire les notions de base de l'algèbre linéaire (pour les futurs mathématiciens) et de démontrer rigoureusement les résultats principaux de ce sujet.
Afficher plus
Séances de cours associées (43)
Algèbre de groupe : le théorème de Maschke
Explore le théorème de Wedderburn, les algèbres de groupe et le théorème de Maschke dans le contexte des algèbres simples de dimension finie et de leurs endomorphismes.
Théorème algébrique de la Kunneth
Couvre le théorème algébrique de la Kunneth, expliquant les complexes de chaîne et les calculs de cohomologie.
Hom Functor: Groupes Abeliens
Explore le foncteur Hom pour les groupes abéliens et sa relation avec les sommes directes.
Afficher plus
Publications associées (31)
Personnes associées (3)
Concepts associés (7)
Produit direct (groupes)
En mathématiques, et plus particulièrement en théorie des groupes, le produit direct d'une famille de groupes est une structure de groupe qui se définit naturellement sur le produit cartésien des ensembles sous-jacents à ces groupes. Soient et deux groupes. Désignons par leur produit cartésien (ou, plus exactement, le produit cartésien de leurs ensembles sous-jacents). Il est naturel de définir sur une loi de composition composante par composante : le produit apparaissant dans le second membre étant calculé dans et le produit dans .
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.
Module sur un anneau
En mathématiques, et plus précisément en algèbre générale, au sein des structures algébriques, : pour un espace vectoriel, l'ensemble des scalaires forme un corps tandis que pour un module, cet ensemble est seulement muni d'une structure d'anneau (unitaire, mais non nécessairement commutatif). Une partie des travaux en théorie des modules consiste à retrouver les résultats de la théorie des espaces vectoriels, quitte pour cela à travailler avec des anneaux plus maniables, comme les anneaux principaux.
Afficher plus

Graph Chatbot

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.