Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Direct product groups

  1. Mar 8, 2008 #1
    From Gauge Theory of particle physics, Cheng and Li I dont understand the flollowing:

    "Given any two groups G={g1,..} H= {h1,h2,...}
    if the g's commute with the h's we can define a direct product group G x H={[tex]g_ih_j[/tex]} with the multplication law:
    [tex]g_kh_l . g_mh_n = g_kh_m . h_lh_n[/tex]

    Examples of direct product groups are SU(2) x U(1) ( the group consists of elements which are direct products of SU(2) matrices and the U(1) phase factor) and
    SU(3) x SU(3) (the group consists of elements which are direct products of matrices of two different SU(3)'s."

    My question is: You need the g's and h's to commute. I can see how SU(2) and U(1) elements can commute. I dont see how an element of SU(3) commutes with
    another SU(3) element?
  2. jcsd
  3. Mar 8, 2008 #2


    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    What he means is if they commute in the group we're about to form.

    This statement, as written, doesn't make sense: if all we have is a group G and a group H, then we don't have a way to multiply an element of G with an element of H. But in the process of building a new group, we have lots of freedom to choose how such a multiplication might make sense.

    In particular, the issue here is that the elements of the different 'copies' of SU(3) commute, simply by the definition of the product group. If I paint one copy red and another copy blue, then we can have both
    [tex]{\color{red} x y} \neq {\color{red} y x}[/tex]
    [tex]{\color{red} x} {\color{blue} y} = {\color{blue} y} {\color{red} x} [/tex]
    because the product is defined differently for elements of the same color and of opposite colors.

    An isomorphic way to define GxH is as the group whose elements are ordered pairs (g, h) where g is in G and h is in H, and whose multiplication is performed pointwise.

    i.e. (g,h)(g',h') = (gg',hh')

    We can then identify each element g of G with its image (g,1) in GxH. Similarly, we can identify h with (1,h). If we do this, note that the g's commute with the h's under this convention:

    (g, 1) (1, h) = (1, h) (g, 1)
    Last edited: Mar 8, 2008
  4. Mar 10, 2008 #3
    thanks for that.

    But still was a bit confused.But found this in a set of lecture notes on group theory( which I quit):

    elements of A x B were written (a,b)
    can write this as (a,b) = [itex](a,e_B)(e_A,b)=(e_A,b)(a,e_B)=(ae,eb)=(a,b)[/itex]

    shorthand notation for elements of A x B
    ab=ba letting [tex](a,e_B) \rightarrow "a" [/itex]
    [itex]and (e_A,b) \rightarrow "b"[/tex]
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook