Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

enter image description here

So the answer is

enter image description here

Questions

1) How exactly is $<\pi>$ isomorphic to the other integer groups? I mean $\pi$ itself isn't even an integer.

2)What is exactly is the key saying for the single element sets? Are they trying to say they are isomorphic to themselves?

3) How exactly is $\{\mathbb{Z_6}, G \}$ and $\{ \mathbb{Z_2}, S_2\}$ isomorphic?

share|improve this question
add comment

3 Answers

up vote 2 down vote accepted

Hint: Consider the bijection $f:a^n\to n$.

To verify that $G$ and $\mathbb{Z}_6$ are indeed isomorphic let $$a=\begin{pmatrix} 1&2&3&4&5 \\ 3&5&4&1&2 \end{pmatrix}$$

Similarly for $\{S_2,\mathbb{Z}_2\}$ let $$a=\begin{pmatrix} 1&2 \\ 2&1 \end{pmatrix}$$ and isomorphism between the 2 groups should follow.

share|improve this answer
    
Is $\mathbb{Z_6}$ considered to be a group under addition? –  sidht Nov 8 '12 at 5:43
add comment

1) Notice that $\langle \pi \rangle=\{\pi^n \mid n \in \mathbb Z\}$ and we also have $\pi^n\pi^m=\pi^{n+m}$ what group does this remind you of?

2) The single element sets are not isomorphic to any of the other groups. As an aside it's not particularly meaningful to say a group is isomorphic to itself. You generally speak of two groups that are distinct in some meaningful way as being isomorphic.

share|improve this answer
    
So why do they include it in "as are..."? –  sidht Oct 24 '12 at 5:41
add comment

Jacob Schlather has already answered your first question, spelling out, you can consider the homomorphism $\varphi \colon \mathbb Z \to \langle \pi \rangle < \mathbb R^*$ given by $\varphi(n) = \pi^n$ for each $n \in \mathbb Z$.

About your second question, the exercise asks you to divide the given family of groups in isomorphism's class (i.e. it require to describe the equivalence classes for isomorphism relation inside the given family of groups).

Finally, addressing your third question, the group $G$ is generated by an element (it's a cyclic group) which can be written as product cyclic factors $(1\ 3\ 4)(2\ 5)$ so it's a cyclic-group generated by an element of order $6$ (luckily there aren't many groups of this type :) ). Similarly you have that the group $S_2$ is a group of order $2$ and also in this case there aren't many group of this type.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.