Encyclopedia > Product of groups

  Article Content

Product of groups

In mathematics, given a group G and two subgroups H and K of G, one can define the product of H and K, denoted by HK as the set of all elements of the form hk, for all h in H and k in K. In general HK is not a subgroup (hkh'k' is not of the form hk); it is a subgroup if and only if one among H and K is a normal subgroup of G. Indeed, if this is the case (assume K is normal), hkh'k' = hh' h' -1kh'k' , and h' -1kh is an element of K, so that hh' is in H and h' -1kh'k' is in K, as required. An analogous argument shows that (hk)-1 is of the form h'k' .

Of particular interest are products enjoying further properties, the semidirect product and the direct product. They allow also to construct a product of two groups not given as subgroups of a fixed group.



All Wikipedia text is available under the terms of the GNU Free Documentation License

 
  Search Encyclopedia

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
Islandia, New York

... As of the census of 2000, there are 3,057 people, 1,007 households, and 753 families residing in the village. The population density is 529.3/km² ...

 
 
 
This page was created in 49.9 ms