Free Abelian Group Homomorphisms into S_3 - Count & Answer

tgt
Messages
519
Reaction score
2

Homework Statement


How many different homomorphisms are there of a free abelian group of rank 2 into S_{3}?

Where S_{3} is the symmetric group of 3 elements.

The Attempt at a Solution


I think 12 but the answers suggest 18. ?
 
Physics news on Phys.org
We can assume the free abelian group of rank 2 is \mathbb{Z}\times\mathbb{Z}.
The homomorphisms from \mathbb{Z}\times\mathbb{Z} to S_3, correspond to pairs (a,b)\in S_3\times S_3 with ab=ba via
f:\mathbb{Z}\times\mathbb{Z}\to S_3 corresponds to (f(1,0),f(0,1)).
(Show this!) So you just need to find all such pairs.

Tip for enumerating these pairs: There are only three types of elements in S_3: the identity, the transpositions and the cyclic permutations.
 
Last edited:
yyat said:
We can assume the free abelian group of rank 2 is \mathbb{Z}\times\mathbb{Z}.
The homomorphisms from \mathbb{Z}\times\mathbb{Z} to S_3, correspond to pairs (a,b)\in S_3\times S_3 with ab=ba via
f:\mathbb{Z}\times\mathbb{Z}\to S_3 corresponds to (f(1,0),f(0,1)).
(Show this!) So you just need to find all such pairs.

Tip for enumerating these pairs: There are only three types of elements in S_3: the identity, the transpositions and the cyclic permutations.

I understand your explanation. But there seem only to be 12 such pairs.
 
I found 18 pairs. Did you count the pairs (a,b), (b,a) as the same? They give different homomorphisms.
 
yyat said:
I found 18 pairs. Did you count the pairs (a,b), (b,a) as the same? They give different homomorphisms.

I see now. thank you.
 
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
Back
Top