| Line 3: | Line 3: | ||
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 | 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..... | So G=Z/16Z or Z/2Z x Z/8/Z or..... | ||
| Line 13: | Line 14: | ||
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. | 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. | ||
| + | |||
| + | ---- | ||
| + | Oh wow... I should have thought about that much earlier... I think I actually know the details that you don't remember. Thanks a lot. | ||
Revision as of 18:34, 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.
Oh wow... I should have thought about that much earlier... I think I actually know the details that you don't remember. Thanks a lot.
