- 1,456
- 44
Let ##A## and ##B## be groups. Prove that ##A \times B \cong B \times A##. I want to show this by giving an explicit isomorphism. Let ##\phi : A \times B \to B \times A##, where ##\phi (a,b) = (b,a)##. First, it's clear that ##\phi## is a homomorphism because ##\phi((a,b)(a',b')) = \phi (aa', bb') = (bb', aa') = (b,a)(b',a') = \phi(a,b) \phi (a',b')##.
The next step is what I have a question about. In this case would it be better to show that ##\gamma (b,a) = (a,b)## is the inverse of ##\phi##, or show explicitly that ##\phi## is injective and surjective?
The next step is what I have a question about. In this case would it be better to show that ##\gamma (b,a) = (a,b)## is the inverse of ##\phi##, or show explicitly that ##\phi## is injective and surjective?