Difference between revisions of "Direct product"
From Online Dictionary of Crystallography
BrianMcMahon (talk | contribs) m (Tidied translations.) |
|||
| (One intermediate revision by the same user not shown) | |||
| Line 1: | Line 1: | ||
| − | <font color="blue">Produit direct</font> (''Fr''). <font color="red"> Direktes Produkt</font> (''Ge''). <font color=" | + | <font color="blue">Produit direct</font> (''Fr''). <font color="red">Direktes Produkt</font> (''Ge''). <font color="brown">Прямое произведение групп</font> (''Ru''). <font color="black">Prodotto diretto</font> (''It''). <font color="purple">直積</font> (''Ja''). <font color="green">Producto directo</font> (''Sp''). |
| − | In group theory, '''direct product''' of two groups (''G'', *) and (''H'', o), denoted by ''G'' × ''H'' is the | + | In group theory, the '''direct product''' of two groups (''G'', *) and (''H'', o), denoted by ''G'' × ''H'', is the set of the elements obtained by taking the [[Cartesian product]] of the sets of elements of ''G'' and ''H'': {(''g'', ''h''): ''g'' ∈ ''G'', ''h'' ∈ ''H''}; |
For [[abelian group]]s which are written additively, it may also be called the ''direct sum'' of two groups, denoted by <math>G \oplus H</math>. | For [[abelian group]]s which are written additively, it may also be called the ''direct sum'' of two groups, denoted by <math>G \oplus H</math>. | ||
| − | The group obtained in this way has a [[normal subgroup]] isomorphic to ''G'' | + | The group obtained in this way has a [[normal subgroup]] isomorphic to ''G'' [given by the elements of the form (''g'', 1)], and one isomorphic to ''H'' [comprising the elements (1, ''h'')]. |
| − | The reverse also holds: if a group ''K'' contains two normal subgroups ''G'' and ''H'', such that ''K''= ''GH'' and the intersection of ''G'' and ''H'' contains only the identity, then ''K'' = ''G'' | + | The reverse also holds: if a group ''K'' contains two normal subgroups ''G'' and ''H'', such that ''K''= ''GH'' and the intersection of ''G'' and ''H'' contains only the identity, then ''K'' = ''G'' × ''H''. A relaxation of these conditions gives the [[semidirect product]]. |
[[Category:Fundamental crystallography]] | [[Category:Fundamental crystallography]] | ||
Latest revision as of 13:45, 10 November 2017
Produit direct (Fr). Direktes Produkt (Ge). Прямое произведение групп (Ru). Prodotto diretto (It). 直積 (Ja). Producto directo (Sp).
In group theory, the direct product of two groups (G, *) and (H, o), denoted by G × H, is the set of the elements obtained by taking the Cartesian product of the sets of elements of G and H: {(g, h): g ∈ G, h ∈ H};
For abelian groups which are written additively, it may also be called the direct sum of two groups, denoted by [math]G \oplus H[/math].
The group obtained in this way has a normal subgroup isomorphic to G [given by the elements of the form (g, 1)], and one isomorphic to H [comprising the elements (1, h)].
The reverse also holds: if a group K contains two normal subgroups G and H, such that K= GH and the intersection of G and H contains only the identity, then K = G × H. A relaxation of these conditions gives the semidirect product.