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.

I have two questions about the proof of the following

Proposition: Let $A$ be a ring, integrally closed in its quotient field $K$. Let $L$ be a finite Galois extension of $K$ with group $G$. Let $P$ be a maximal ideal of $A$, and let $I$, $J$ be prime ideals of the integral closure $B$ of $A$ in $L$ lying above $p$. Then there exists $\sigma\in G$ such that $I=\sigma J$.

Proof: Suppose that $I\neq\sigma J$ for any $\sigma\in G$. There exists an element $x\in B$ such that $x\equiv 0\pmod I$, $x\equiv 1\pmod{\sigma J}$, all $\sigma\in G$ (use the Chinese remainder theorem). The norm $\prod_{\sigma\in G}\sigma x$ lies in $B\cap K = A$...

Question 1: Why can we use the Chinese remainder theorem here?

Question 2: Why does the norm lies in $K$ on the last line?

share|improve this question
1  
The norm is a map $L\to K$. (The expression is $G$-invariant) –  Hagen von Eitzen Jan 15 at 10:56
    
Thank you for the second question. –  user105886 Jan 15 at 12:59

1 Answer 1

up vote 1 down vote accepted

Since $I$ and $J$ are prime ideals of $B$ lying over the maximal ideal $P$ of $A$ and $B$ is integral over $A$, $I$ and $J$ are also maximal, and for any $\sigma\in G$, $\sigma(J)$ is maximal as well. So, if $I\neq\sigma(J)$, $I$ and $\sigma(J)$ are distinct maximal ideals, hence comaximal, and the Chinese remainder theorem can be applied to the collection of ideals $\{I\}\cup\{\sigma(J):\sigma\in G\}$, assuming these sets are disjoint (as Lang does in his proof).

Applying any $g\in G$ to the norm $\prod_{\sigma\in G}\sigma(x)$ just gives the same product in a possibly different order. So each $g\in G$ fixes the norm of $x$, and since $L/K$ is Galois with group $G$, this norm must lie in $K$. It is also integral over $A$, so it lies in $A$.

share|improve this answer
    
Thanks a lot for help. –  user105886 Jan 15 at 14:04

Your Answer

 
discard

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

Not the answer you're looking for? Browse other questions tagged or ask your own question.