1
$\begingroup$

I asked the following question in MSE, but I've got no answer so far.

Let $K$ be an algebraic number field. Let $A$ be the ring of integers in $K$. Let $\mathfrak{p}$ be a prime ideal of $K$. Let $A_\mathfrak{p}$ be the localization of $A$ at $\mathfrak{p}$. Let $A_\mathfrak{p}^\times$ be the group of invertible elements of $A_\mathfrak{p}$. Elements of $A_\mathfrak{p}^\times$ are called $\mathfrak{p}$-units.

Let $I$ be a non-zero ideal of $A$. An element $\alpha$ of $A$ is called an $I$-unit if $\alpha$ is a $\mathfrak{p}$-unit for every prime divisor $\mathfrak{p}$ of $I$.

Let $L$ be a finite etension of $K$. Let $B$ be the ring of integers in $L$. Let $\mathfrak{p}$ be a prime ideal of $K$. Let $\lambda > 0$ be an integer. Let $\alpha \in A_\mathfrak{p}^\times$. If there exists a $\mathfrak{p}B$-unit $\Gamma \in L$ such that $\frac{\alpha}{N_{L/K}(\Gamma)} \equiv 1$ (mod $\mathfrak{p}^\lambda A_\mathfrak{p})$, $\alpha$ is called a norm residue of $\mathfrak{p}^\lambda$ with respect to $L/K$. Such $\alpha$ form a subgroup of $A_\mathfrak{p}^\times$. This group is called the norm residue group of $\mathfrak{p}^\lambda$ with respect to $L/K$. We denote this group by $\mathfrak{N}(\mathfrak{p}^\lambda)$.

The following proposition is crucial in the classical proof of the global class field theory. The usual proof uses $\mathfrak{p}$-adic completion.

Proposition Let $L$ be a finite cyclic extension of $K$. Let $\mathfrak{p}$ be a prime ideal of $K$. Let $e$ be the ramification index of $\mathfrak{p}$ in $L$. Then there exists an integer $\lambda_0 > 0$ such that $[A_\mathfrak{p}^\times \colon \mathfrak{N}(\mathfrak{p}^\lambda)] = e$ for all integer $\lambda \ge \lambda_0$.

My question How do we prove this without using the $\mathfrak{p}$-adic completion?

Remark I think Hasse's "Bericht" proves this without using the $\mathfrak{p}$-adic completion. However, my German is not good.

$\endgroup$
6
  • 4
    $\begingroup$ Whoever has left votes to close, please leave a comment explaining them --- being silent is very rude! Ditto for whoever has voted this down. $\endgroup$ Sep 14, 2012 at 6:05
  • $\begingroup$ Why do you want a global proof? In general, local proofs are easier, and the statement you write is purely local. Have you tried using the very same proof working in the local case also in the global one? By the way, you speak about "usual proof": do you have a reference? $\endgroup$ Sep 14, 2012 at 16:33
  • $\begingroup$ @FilippoAlbertoEdoardo I'm interested in a global proof without local methods. This is the classical approach. As for your last question, e.g. E.Artin's lecture on class field theoy(1932). The English translation by R.Friedman is in the appendix of H.Cohn's A classical invitation to algebraic numbers and class fields. $\endgroup$ Sep 14, 2012 at 21:57
  • 1
    $\begingroup$ Hi Makoto: There are various ways that this question could be improved. I think a primary one is purely social: I bet many of us would be interested to hear a bit about why you are interested in this question. (I'm much more interested if I understand why you are!) Remember that MO is narrowly focused on research mathematics, and so the best answer to my "social" question would be that you are interested in a generalizing some result to a context in which certain techniques fail, etc. As it stands, it seems that you are simply asking to avoid a standard and useful tool for no good reason. $\endgroup$ Sep 15, 2012 at 4:59
  • $\begingroup$ @TheoJohnson-Freyd My question is motivated by the following question. I'm interested in proving the main theorems of global class field theory using only classical ideal theory. mathoverflow.net/questions/95225/… $\endgroup$ Sep 15, 2012 at 6:35

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.