Proving Hom(Q/Z, Q/Z) is isomorphic to \hat{Z}

  • Thread starter mebassett
  • Start date
In summary, the person is trying to find an endomorphism on the torsion group Q/Z, but has trouble describing even a trivial member of the group. They tried a naive approach and defined a function theta to represent the map. However, theta is not a homomorphism. They then try to prove that Hom(Q/Z, Q/Z) is isomorphic to \hat{Z} by proving that Q/Z and \hat{\mathbb{Z}} are dual to each other. They were able to prove that Q/Z is the product of its cyclic subgroups and that the torsion group is the product of all the p-adic integers.
  • #1
mebassett
5
0
Hi folks, long time reader, first time poster.So I'm trying to prove that $\hat{Z} = \varprojlim Z/nZ$ is isomorphic to Hom(Q/Z, Q/Z).

Problem is, I have a lot of trouble describing even a single endomorphism of that torsion group (except, of course, the trivial one, that sends everything to 0.)

Q/Z can be considered as the set of all roots of unity. and I should be able to find an endomorphism on that group, just by permuting key roots of unity (simple example: {1,-1,i,-1}) But I haven't been able to generalize this for the whole thing.

I also tried a pretty naive thing, taking a \in \hat{Z}, say a=(a_1, a_2, ...) and trying to define some \theta : Q/Z \to Q/Z, with \theta (m/n) = (m * a_n) / n. which I believe defines a map from \hat{Z} into Hom(Q/Z, Q/Z), but I don't have much in the way of an inverse, especially since I can't describe anything but trivial members of Hom(Q/Z, Q/Z)

I'm aware that \hat{Z} is also the product of all the p-adic integers Z_p, but I'm having trouble proving that as well.

In any case, I'm stuck, I don't want to spend much more time on this (Because its just one small bit of a much larger project), so I thought I'd try asking the kind and clever folks here for some help.so, Hom(Q/Z, Q/Z) is isomorphic to \hat{Z}. Any ideas on how to prove it?

Thanks.
 
Last edited:
Physics news on Phys.org
  • #2
Q/Z is an Abelian group, a.k.a. a Z-module. Thus multiplication by an integer is an endomorphism.
 
  • #3
Hurkyl said:
Q/Z is an Abelian group, a.k.a. a Z-module. Thus multiplication by an integer is an endomorphism.

indeed, but that's hardly all endomorphisms!
 
  • #4
Sure; but since you had overlooked it, I thought I'd point it out and see if you got somewhere.


My first instinct on the problem is to write Q/Z as the union of all of its cyclic subgroups. I suppose that's just a convoluted way of saying you can write elements as m/n, though.
 
  • #5
Thanks! actually, I think my naive approach works. if you define a reverse map like so:

given f \in End(Q/Z), define an a=(a_1, a_n, ... ) \in \prod_n Z/nZ by a_n = n f(1/n). if m|n, then we can write n=mr and mr f(1/n) - m f(1/m) is obviously divisible by m, so a meets the appropriate congruence relations to be in \hat{Z}. and its the inverse map of the one I defined above. So unless I'm missing something else, I think I have it...
 
  • #6
The functions theta you defined before aren't homomorphisms -- sorry, I misread and thought you had noticed that already.
 
  • #7
(that plus sign was suppose to be multiplication. I corrected the error in the edit.)

they aren't? I thought I proved that for a \in \hat{Z}, \theta_a by \theta_a ( m/n ) = a_n * m/n was. Like so:

[tex]\theta_a (m_1 / n_1 + m_2 / n_2 ) = \theta_a ( (n_2 m_1 + n_1 m_2) / n_1 n_2) = a_{n_1 n_2} (n_2 m_1 + n_1 m_2) / n_1 n_2[/tex]

[tex]\theta_a (m_1/n_1) + \theta_a(m_2 / n_2) = a_{n_1} m_1 / n_1 + a_{n_2} m_2 / n_2 = (a_{n_1} n_2 m_1 + a_{n_2} n_1 m_2) / n_1 n_2[/tex]

now, by def of [tex]a \in \hat{Z}[/tex], we have [tex]a_{n_1 n_2} = q n_1 + a_{n_1} = r n_2 + a_{n_2}.[/tex] Or in other words,
[tex]a_{n_1} = a_{n_1 n_2} - q n_1[/tex] and [tex]a_{n_2} = a_{n_1 n_2} - r n_2[/tex].

so then [tex]a_{n_1} n_2 m_1 + a_{n_2} n_1 m_2 = a_{n_1 n_2} (n_2 m_1 + n_1 m_2) - n_1 n_2 (m_1 q + m_2 r)[/tex]

divide that by [tex]n_1 n_2[/tex] and the negative term is 0 (since we're in Q/Z, the n_1*n_2 turns it into an integer and integers are modded out). And that proves its a homomorphism.

Or am I confused and/or making mistakes?
 
Last edited:
  • #8
Changing the + to * changes things. :wink:
 
  • #9
Ok. First, it shouldn't be hard to prove that hom(Q/Z, Q/Z) is isomorphic to hom(Q/Z, R/Z), which is the Pontryagin dual of the discrete group Q/Z. So it suffices to prove that Q/Z and [tex]\hat{\mathbb{Z}}[/tex] are dual to each other.

(In case you're unfamiliar with this duality: If G is a locally compact abelian topological group, let Ch(G) = hom(G, R/Z). Then Ch is a contravariant functor, and Ch2 is naturally isomorphic to the identity functor on the category of locally compact abelian topological groups; hence Ch is a duality of categories and thus interchanges limits and colimits.)

Now note:
[tex]\mathbb{Q}/\mathbb{Z} = \lim_{\longrightarrow} N^{-1}\mathbb{Z}/\mathbb{Z}.[/tex]
and
[tex]\hat{\mathbb{Z}} = \lim_{\longleftarrow} \mathbb{Z}/N\mathbb{Z}.[/tex]
(The direct and inverse limits are taken over N and divisibility.) It is elementary to show that Ch(N-1Z/Z) is naturally (in N) isomorphic to Z/NZ. Since Ch interchanges limits and colimits, we get the desired result.Also, you can prove that [tex]\hat{\mathbb{Z}}[/tex] is the product of the Zp, purely by using the universal properties of limits and products, and the Chinese remainder theorem. (Show that the former satisfies the universal property of the latter.) The key is that if N = p1n1...pknk is a factorization of N into powers of distinct primes, then Z/NZ is isomorphic to Z/p1n1Z × ... × Z/pknkZ.

Let me know if anything needs clarification. I don't mind writing this stuff up in more detail. (Although I guess you need to know some terminology from category theory.)
 
Last edited:
  • #10
adriank said:
Ok. First, it shouldn't be hard to prove that hom(Q/Z, Q/Z) is isomorphic to hom(Q/Z, R/Z), which is the Pontryagin dual of the discrete group Q/Z. So it suffices to prove that Q/Z and [tex]\hat{\mathbb{Z}}[/tex] are dual to each other.

(In case you're unfamiliar with this duality: If G is a locally compact abelian topological group, let Ch(G) = hom(G, R/Z). Then Ch is a contravariant functor, and Ch2 is naturally isomorphic to the identity functor on the category of locally compact abelian topological groups; hence Ch is a duality of categories and thus interchanges limits and colimits.)

Now note:
[tex]\mathbb{Q}/\mathbb{Z} = \lim_{\longrightarrow} N^{-1}\mathbb{Z}/\mathbb{Z}.[/tex]
and
[tex]\hat{\mathbb{Z}} = \lim_{\longleftarrow} \mathbb{Z}/N\mathbb{Z}.[/tex]
(The direct and inverse limits are taken over N and divisibility.) It is elementary to show that Ch(N-1Z/Z) is naturally (in N) isomorphic to Z/NZ. Since Ch interchanges limits and colimits, we get the desired result.


Also, you can prove that [tex]\hat{\mathbb{Z}}[/tex] is the product of the Zp, purely by using the universal properties of limits and products, and the Chinese remainder theorem. (Show that the former satisfies the universal property of the latter.) The key is that if N = p1n1...pknk is a factorization of N into powers of distinct primes, then Z/NZ is isomorphic to Z/p1n1Z × ... × Z/pknkZ.

Let me know if anything needs clarification. I don't mind writing this stuff up in more detail. (Although I guess you need to know some terminology from category theory.)

I've barely seen any category theory before, but its on my list of things to do. Thanks for that, you've given me another example to try to understand. :)
 
  • #11
This article has fewer prerequisites, but it describes Ch(Q). Then Ch(Q/Z) is isomorphic to the subgroup of Ch(Q) consisting of elements with kernel containing Z, which presumably you can show is isomorphic to [tex]\hat{\mathbb{Z}}[/tex].

www.math.uconn.edu/~kconrad/blurbs/gradnumthy/characterQ.pdf
 

1. How do you prove that Hom(Q/Z, Q/Z) is isomorphic to ĤZ?

The most common way to prove this is by constructing an explicit isomorphism between the two groups. This can be done by defining a map from Hom(Q/Z, Q/Z) to ĤZ that is bijective, homomorphic, and preserves the group structure.

2. What is the significance of proving this isomorphism?

This isomorphism is significant because it shows that the group of homomorphisms between the quotient group Q/Z and itself is isomorphic to the group of all continuous characters on the profinite completion of Z, which is denoted by ĤZ. This has important applications in algebraic number theory and representation theory.

3. Can you explain the concept of a profinite completion?

A profinite completion is a way of constructing a compact topological group from a given group. In this case, the profinite completion of Z is the group ĤZ, which consists of all continuous characters on Z. This group has a natural topology, making it a compact topological group.

4. How does the group structure of Hom(Q/Z, Q/Z) compare to the group structure of ĤZ?

The group structure of Hom(Q/Z, Q/Z) is isomorphic to the group structure of ĤZ, which means that they have the same algebraic properties. This means that operations such as addition and multiplication are preserved under the isomorphism, allowing us to identify the two groups as essentially the same.

5. Are there any other ways to prove this isomorphism?

Yes, there are other methods that can be used to prove this isomorphism, such as using the universal property of the profinite completion or using the concept of Pontryagin duality. However, the most common and straightforward method is by constructing an explicit isomorphism between the two groups.

Similar threads

  • Linear and Abstract Algebra
Replies
11
Views
1K
  • Linear and Abstract Algebra
Replies
5
Views
1K
  • Advanced Physics Homework Help
Replies
3
Views
2K
  • Linear and Abstract Algebra
Replies
1
Views
1K
  • Calculus and Beyond Homework Help
Replies
12
Views
2K
  • Linear and Abstract Algebra
Replies
2
Views
1K
  • Linear and Abstract Algebra
Replies
4
Views
2K
  • Linear and Abstract Algebra
Replies
3
Views
2K
Replies
1
Views
571
  • Linear and Abstract Algebra
Replies
9
Views
3K
Back
Top