Problem:
There is an isomorphism of with in which . Find the element in to which must correspond for .
------------------------
After arriving at an answer, I noticed that I said there was no answer for all of the even m values, so I'm not sure if I am correct.
To figure out the isomorphism, I used the example in the problem,
.
I reasoned that , in which that 1 corresponds to the exponent of zeta.
I used this to look for the other values asked in the problem.
For m=0, , but , so I said that for m=0, there is no corresponding zeta function.
For m=3 (skipping ahead), , , so .
I think I'm doing something incorrectly. Because since this is an isomorphism, and therefore a one-to-one correspondence, shouldn't all m=0,1,2,3,4,5,6 in map to a member of ? My method is producing answers for only the odd numbers.
Any help is extremely appreciated.
well the isomorphism in question isn't the "usual" (or "obvious") isomorphism. but just looking at Z7 as a group, it should be clear that 4 is a generator.
so should correspond to 4+4, which as you pointed out, is 1 (in Z7).
what drexel28 is getting at, is that "powers" (repeated group operations) in the 7th roots of unity (which inherits its group operation from complex multiplication) correspond to "multiples" in Z7 (which has a group operation of addtion modulo 7).
it's not what we are used to, but in the group <Z7,+> " " means 4+4, or as is sometimes written (2)4 (this turns out to work out to be the same as multiplication modulo 7, but a word of caution: (2)4 doesn't really mean "two times 4" it means "4+4" (4 added to itself).). the reason for this caveat, is that you can actually write something like (8)4, meaning "4+4+4+4+4+4+4+4" (mod 7), which makes sense in Z7, but 8 is not an element of Z7.