Congruences mod primes in Galois extensions - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-21T10:35:35Z http://mathoverflow.net/feeds/question/41103 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/41103/congruences-mod-primes-in-galois-extensions Congruences mod primes in Galois extensions Jill 2010-10-05T03:47:23Z 2010-10-28T11:19:43Z <p>I have the following situation: let $m,n$ be integers such that $m|n$ and let $\zeta_m$, $\zeta_n$ denote primitive $m$ and $n$th roots of unity. Then we have the inclusion of fields</p> <p>$$\mathbb{Q}\subset \mathbb{Q}(\zeta_m) \subset \mathbb{Q}(\zeta_n)$$ Now suppose we also have primes (where $(p,n)=1$) $$(p)\subset \mathbb{Z}$$ and then $$\mathfrak{p}\subset \mathbb{Q}(\zeta_m)$$ lying over $(p)$ and $$\mathfrak{P}\subset \mathbb{Q}(\zeta_n)$$ lying over $\mathfrak{p}$.</p> <p>I have a congruence in $\mathbb{Q}(\zeta_n)$ of the form $a\equiv b \pmod{\mathfrak{P}}$, where $a,b$ are actually elements of $\mathbb{Q}(\zeta_m)$.</p> <p>What can I say about the congruence properties of $a,b$ in $\mathbb{Q}(\zeta_m)$? More importantly, if I take the trace or the norm down to $\mathbb{Q}$, can I say anything about their congruence properties there? Ideally I'd like a congruence of <em>something</em> in the integers.</p> <p>Thanks!</p> <p>Edit: Are there any assumptions that you can make that might give congruences mod a prime power? </p> http://mathoverflow.net/questions/41103/congruences-mod-primes-in-galois-extensions/41104#41104 Answer by Gerry Myerson for Congruences mod primes in Galois extensions Gerry Myerson 2010-10-05T04:03:02Z 2010-10-05T04:03:02Z <p>Let $m=3$, $n=6$, $p=7$. The prime over 7 is $3\pm\zeta_3$. Let $a=1$, $b=4+\zeta_3$, so $a\equiv b\pmod{3+\zeta_3}$. The trace of $a$ is 2, the trace of $b$ is $4+\zeta_3+4+\zeta_3^2=7$, so there's no congruence (mod 7) there. The norm of $a$ is 1, the norm of $b$ is $(4+\zeta_3)(4+\zeta_3^2)=16-4+1=13$, so there's no congruence (mod 7) there, either. I think this shows that, in general, there's no congruence in the integers. </p> http://mathoverflow.net/questions/41103/congruences-mod-primes-in-galois-extensions/41105#41105 Answer by Cam McLeman for Congruences mod primes in Galois extensions Cam McLeman 2010-10-05T04:14:16Z 2010-10-05T16:22:58Z <p>Sure. $a\equiv b\pmod{\mathfrak{P}}$ just means $a-b\in\mathfrak{P}$. Taking norms to any subfield $K$ of $\mathbb{Q}(\zeta_n)$ (e.g., $\mathbb{Q}$ or $\mathbb{Q}(\zeta_m)$) gives you $N_{\mathbb{Q}(\zeta_n)/K}(a-b)\in N_{\mathbb{Q(\zeta_n)}/K}\mathfrak{P}.$ </p> <p>For $K=\mathbb{Q}$, the latter norm is just $p^f$ where $f$ is the order of $p\pmod{n}$.</p> <p>For $K=\mathbb{Q}(\zeta_m)$, the former norm is $(a-b)^{\phi(n)/\phi(m)}$ and the latter is $\mathfrak{p}^{f'}$, where $f'$ is the easily-calculated relative residue degree. </p> <p>This doesn't give you an explicit congruence between $a$ and $b$, but given Gerry's answer, that might have been too much to ask for anyway. On the other hand, if $\phi(n)/\phi(m)$ is small or (as in Alex's answer) if $p$ has few factors in $\mathbb{Q}(\zeta_m)$, you get something at least slightly non-stupid out.</p> http://mathoverflow.net/questions/41103/congruences-mod-primes-in-galois-extensions/41106#41106 Answer by Alex Bartel for Congruences mod primes in Galois extensions Alex Bartel 2010-10-05T04:15:42Z 2010-10-05T04:33:09Z <p>Edit: sometimes you do get the congruence you want for traces. See corrected answer:</p> <p>to say that $a\equiv b \; ({\rm mod}\;{\mathfrak P})$ is equivalent to saying $a-b \in {\mathfrak P}$, so that ${\rm Tr}(a) - {\rm Tr}(b) \in \sum_{\sigma\in G}{\mathfrak P}^\sigma$, where $G$ is the Galois group of $\mathbb{Q}(\zeta_m)/\mathbb{Q}$. If $p$ splits in $\mathbb{Q}(\zeta_m)$, then the sum is just the whole ring of integers, since ${\mathfrak P}$ is prime, hence maximal. So in this case, this doesn't give you any information. If on the other hand ${\mathfrak P}$ is the unique prime above $p$, then you get the desired statement that ${\rm Tr}(a-b)\in {\mathfrak P} \cap \mathbb{Q}$, so ${\rm Tr}(a)\equiv {\rm Tr}(b)\; {\rm mod}\; p$, as required.</p> <p>As for the norm, it is true that ${\rm Norm}(a-b)$ is in $(p)$, but since the norm is not linear, I wouldn't expect this to tell you anything about ${\rm Norm}(a) - {\rm Norm}(b)$.</p>