Internal central product

From Groupprops
Revision as of 20:04, 26 February 2011 by Vipul (talk | contribs) (Created page with "==Definition== Suppose <math>G</math> is a group and <math>H</math> and <math>K</math> are subgroups of <math>G</math>. We say that <math>G</math> is an '''internal cent...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Definition

Suppose G is a group and H and K are subgroups of G. We say that G is an internal central product of H and K if both the following conditions are satisfied:

  1. Every element of H commutes with every element of K, i.e., the subgroups centralize each other.
  2. G = HK, i.e., G is the product of the two subgroups.

Note that in this case, both H and K are central factors of G.

There is a corresponding external notion: external central product.