Direct product groups

  • Thread starter foobar
  • Start date
  • #1
17
0

Main Question or Discussion Point

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?
 

Answers and Replies

  • #2
Hurkyl
Staff Emeritus
Science Advisor
Gold Member
14,916
19
"Given any two groups G={g1,..} H= {h1,h2,...}
if the g's commute with the h's
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.


I dont see how an element of SU(3) commutes with
another SU(3) element?
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]
and
[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:
  • #3
17
0
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]
 

Related Threads on Direct product groups

  • Last Post
Replies
5
Views
2K
  • Last Post
Replies
6
Views
3K
  • Last Post
Replies
6
Views
3K
  • Last Post
Replies
3
Views
4K
  • Last Post
Replies
7
Views
1K
Replies
15
Views
8K
Replies
6
Views
4K
Replies
13
Views
5K
Replies
1
Views
2K
Replies
1
Views
1K
Top