0
$\begingroup$

$\{G,*\}$ is a group with identity element $e$, and $\{G',\circ\}$ is a group with identity element $e'$. Let $S=G\times G'$. Define the “product” of pairs of elements $(a,a'),(b,b')\in S$ by $(a,a')(b,b')=(a\circ b,a'*b')$

Prove that $S$ is a group under the “product” operation.

My first thoughts on the problem was that how can we prove that $a\circ b\in G$ and $a'*b'\in G'$ and thus that $S$ is closed under the "product" operation. The problem is, I can't seem to find a way to do so. The fact that $a*b\in G,\forall a,b\in G$ doesn't seem to give any information about whether $a\circ b\in G,\forall a,b\in G$. Any help with regards to closure would be helpful. Hopefully I can use that help to figure out associativity, identity and inverse for myself.

  • 1
    @TimDuff: I think that's what OP is confused about.2012-08-06

2 Answers 2

1

I switch the group operation symbol. I used $(G, \circ)$ and $(G', *)$.

Let $\cdot$ be the product operation on $G \times G'$. That is $(a,b)\cdot (a',b') = (a \circ a', b * b')$. Clearly $G \times G'$ is closed under the $\cdot$ since $a \circ a' \in G$ and $b * b' \in G'$.

$\cdot$ is associative. Suppose $a, a', a'' \in G$ and $b,b', b'' \in G'$. Then

$(a,b) \cdot ((a',b') \cdot (a'', b'')) = (a,b) \cdot (a' \circ a'', b' * b'') = (a \circ (a' \circ a''), b * (b' * b''))$

using the associativity of $\circ$ and $*$, you have

$= ((a \circ a') \circ a'', (b * b') * b'') = (a \circ a', b * b') \cdot (a'', b'') = ((a,b) \cdot (a',b')) \cdot (a'', b'')$

Thus associativity has been shown.

Similarly using individual operations you can show that $(e, e')$ is the identity of the product group. I leave it you to figure out what the inverse would be.

  • 0
    @jmi4 I believe this typo should only affect the second paragraph. It is fixed now.2012-08-06
1

I believe you need only show that for $a,b \in G, \, c,d \in G' \Rightarrow (a*b, c\circ d) \in G \times G'$.

  • 0
    so I was not sure*2012-08-06