Thread: external direct products

1. external direct products

Definition: External Direct Products

Let G and K be two groups. Define GxK by

GxK= { (g,k) I gEG, kEK }

with the operation * defined on GxK by

(g1,k1) * (g2,k2) = (g1g2,k1k2) for g1,g2 EG, k1,k2EK.

where the operation in the first coordinate is the operation of G and the operation in the second coordinate is the operation of K.

We say that GxK is the external direct product of G and K.

Questions:

1. Prove that this algebraic structure (Gxk,*) gives us a group.

2. Suppose G = K = Z2 ,

a) List all the elements of GxK ,
b) Is GxK cyclic?
c) Show that GxK is isomorphic to the Klein four-group, V.

3. For each pair G and K specified below:
i) G = Ζ3 and K = Ζ2
ii) G = Ζ4 and K = Ζ4
iii) G = Ζ3 and K = Ζ4
iv) G = Ζ6 and K = Ζ2

a) Write out all the elements of GxK .

b) Make a conjecture about the order of GxK when G and K are finite groups. Prove your conjecture.

4. Refer to question 3,

a) From a)(i) and a)(ii) in question no.3, determine the order of each element (g,k)EGxK and also determine and the order of gEG and kEK.

b) What is the relationship between the order of element (g,k)EGxK and the order of gEG and kEK. Make a conjecture about it if G and K are finite. Justify your answer.

c) From each of the direct product in question 3, is GxK cyclic? Make a conjecture about the structure of cyclic groups of GxK if G and K are finite. Justify your answer.

i need that answers by this week........help me please.............

2. Show what you did. These questions are straighforward.

3. to check if your product space satisfies the group axioms (closure, associativity, existence of identity and inverse) just take arbitrary elements of the product space and see if they are closed under the multiplication you defined (hint, break it up so that closure follows from closure of the separate groups). assoc can be tested by forming two products (between 3 elements of products space) using your definition of *....

Sometimes this stuff looks scary until you've fiddled with it a bit, have faith and keep going!

4. Good job