- Thread starter
- #1

- Jun 22, 2012

- 2,918

----------------------------------------------------------------------------------------------------------------------

17. Compute the factor group [TEX] ( \mathbb{Z}_6 \times \mathbb{Z}_4 ) / (2,2) [/TEX]

----------------------------------------------------------------------------------------------------------------------

Since I did not know the meaning of "Compute the factor group" I proceeded to try to list them members of [TEX] ( \mathbb{Z}_6 \times \mathbb{Z}_4 ) / (2,2) [/TEX] but had some difficulties, when I realised that I was unsure of whether the group [TEX] ( \mathbb{Z}_6 \times \mathbb{Z}_4 ) [/TEX] was a group under multiplication or addition. SO essentially I did not know how to carry out group operations in [TEX] ( \mathbb{Z}_6 \times \mathbb{Z}_4 ) / (2,2) [/TEX].

Reading Beachy and Blair, Chapter 3 Groups, page 118 (see attachment) we find the following definition:

-------------------------------------------------------------------------------------------------------------

**3,3,3 Definition.**Let [TEX] G_1 [/TEX] and [TEX] G_2 [/TEX] be groups. The set of all ordered pairs [TEX] (x_1, x_2) [/TEX] such that [TEX] x_1 \in G_1 [/TEX] and [TEX] x_2 \in G_2 [/TEX] is called the direct product of [TEX] G_1 [/TEX] and [TEX] G_2 [/TEX], denoted by [TEX] G_1 \times G_2 [/TEX].

----------------------------------------------------------------------------------------------------------------

Then Proposition 3,3,4 reads as follows:

-----------------------------------------------------------------------------------------------------------------

**3,3,4 Proposition.**Let [TEX] G_1 [/TEX] and [TEX] G_2 [/TEX] be groups.

(a) The direct product [TEX] G_1 \times G_2 [/TEX] is a group under the operation defined for all [TEX] (a_1, a_2) , (b_1, b_2) \in G_1 \times G_2 [/TEX] by

[TEX] (a_1, a_2) (b_1, b_2) = (a_1b_1, a_2b_2 ) [/TEX].

(b) etc etc

------------------------------------------------------------------------------------------------------------------

However in Example 3.3.3 on page 119 we find the group [TEX] ( \mathbb{Z}_2 \times \mathbb{Z}_2 ) [/TEX] dealt with as having addition as its operation.

My question is - what is the convention on direct products of [TEX] ( \mathbb{Z}_n \times \mathbb{Z}_m ) [/TEX] - does one use addition or multiplication?

Presumably, since the operations involve integers the matter is more than one of notation?

Can someone please clarify this matter?

Would appreciate some help.

Peter