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.

In the following one is referred to the book.
At this page, the author defines Krell topology on a Galois group(not necessarily finite); at the 22-th page of the same book, the quthor defines then the product topology on a profinite group.
Since a Galois group is also a profinite group, and as these two topologies are actually the same, which fact the author chooses to leave as an exercise, one asks thus why the two topologies coincide. More precisely,

Let $G=Gal(\Omega/k)$ be a Galois group, which is also a profinite group $lim (Gal(\Omega/L))$, where $\Omega$ is a Galois extension, and L is a finite Galois extension, of $k$. Then why are the Krull topology on $G$, and the product topology on $G$, viewed as a profinite group, homeomorphic?

I have pondered upon the relations between these two topologies for some time, but cannot explicitly formulate an isomorphism, or rather, the reason why the map is an isomorphism. So please help in clarifying their relations.
Thanks in advance.

share|improve this question
    
I believe this page, under "Inverse limit structure", describes the homeomorphism: planetmath.org/InfiniteGaloisTheory.html –  Adeel Nov 4 '12 at 11:06
    
Thanks for the link: I know this map in advance, and the question is: why is that map bicontinuous? I think this is the essence of the construction, but failed to prove it. Thanks again. –  awllower Nov 4 '12 at 11:24
add comment

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.