| Line 2: | Line 2: | ||
Anyone have an idea on how to do this problem? | Anyone have an idea on how to do this problem? | ||
| + | |||
| + | I got the idea from Uli in office hours, but I am struggling with the details. Here is the idea: U(25) has order 20. Start this problem VERY similarly to the example in the notes from 2/19/09 where Uli has a group G with order 16 and he uses a theorem from those notes to come up G= U(65)= order 16 | ||
| + | So G=Z/16Z or Z/2Z x Z/8/Z or..... | ||
| + | |||
| + | Okay, follow that, but in this case, U(25)= Z/20Z or Z/2Z X Z/10Z or Z/4Z x Z/5Z or Z/2Z x Z/2Z x Z/5Z. Then we realize that <2> is a cyclic generator of U(25) because <2> has 20 elements. Okay, here is where I get lost in the details, but we want to find out which Z modulars do work for U(25). We find that it is Z/20Z which is also equal to Z/4Z X Z/5Z. The other Z modular choices we had listed do not work. Okay, now we can say (somehow) that | ||
| + | Aut(U(25))=Aut(Z/20Z). And From Thm 6.5 we know Aut(Z/20Z) = U(20). | ||
| + | Good, now we can say U(20)=U(4x5) because 4 and 5 are relatively prime to each other(Thm.8.3). | ||
| + | So U(20) = U(4)x U(5). We can rewrite U(5) as Zsubscript4 and U(4) as Zsubscript2. | ||
| + | Thus, Aut(U(25)) is now in the form Zsubscript4 x Zsubscript2. | ||
| + | |||
| + | That is the rough idea. I didn't follow along well enough to what he said to have all of the details, but I hope that that helps. | ||
Revision as of 18:04, 25 February 2009
Anyone have an idea on how to do this problem?
I got the idea from Uli in office hours, but I am struggling with the details. Here is the idea: U(25) has order 20. Start this problem VERY similarly to the example in the notes from 2/19/09 where Uli has a group G with order 16 and he uses a theorem from those notes to come up G= U(65)= order 16 So G=Z/16Z or Z/2Z x Z/8/Z or.....
Okay, follow that, but in this case, U(25)= Z/20Z or Z/2Z X Z/10Z or Z/4Z x Z/5Z or Z/2Z x Z/2Z x Z/5Z. Then we realize that <2> is a cyclic generator of U(25) because <2> has 20 elements. Okay, here is where I get lost in the details, but we want to find out which Z modulars do work for U(25). We find that it is Z/20Z which is also equal to Z/4Z X Z/5Z. The other Z modular choices we had listed do not work. Okay, now we can say (somehow) that Aut(U(25))=Aut(Z/20Z). And From Thm 6.5 we know Aut(Z/20Z) = U(20). Good, now we can say U(20)=U(4x5) because 4 and 5 are relatively prime to each other(Thm.8.3). So U(20) = U(4)x U(5). We can rewrite U(5) as Zsubscript4 and U(4) as Zsubscript2. Thus, Aut(U(25)) is now in the form Zsubscript4 x Zsubscript2.
That is the rough idea. I didn't follow along well enough to what he said to have all of the details, but I hope that that helps.
