My Math Forum  

Go Back   My Math Forum > College Math Forum > Number Theory

Number Theory Number Theory Math Forum


Thanks Tree1Thanks
  • 1 Post By cjem
Reply
 
LinkBack Thread Tools Display Modes
September 12th, 2018, 12:17 PM   #1
Newbie
 
Joined: Jul 2018
From: morocco

Posts: 7
Thanks: 0

Math Focus: algebraic number theory
Help please. Hilbert symbol

HELLO
1)
Let K be a number field, p a rational prime and P a ramified prime ideal of K laying over p.

Is it true that:

(x,p)_P=(x/P)

where (.,.)_P is the quadratic Hilbert symbol and (./P) is the second power residue symbol and x is an element of K (or a unit of K) ??

2) Can you please guide me to a reference in which I can find such kind of properties of Hilbert symbol (except Gras)?

Thank you very much.

Last edited by skipjack; September 12th, 2018 at 10:06 PM.
Chems is offline  
 
September 12th, 2018, 07:16 PM   #2
Senior Member
 
Joined: Aug 2017
From: United Kingdom

Posts: 226
Thanks: 77

Math Focus: Algebraic Number Theory, Arithmetic Geometry
This isn't true in general. For example, if $K = \mathbb{Q}(\sqrt{p})$ and $P = (\sqrt{p})$, then $p$ is a square in $K$ and so $(x,p)_P = 1$ always (while $(x/P)$ will often be $-1$).

Unfortunately, the texts I know on this topic seem either too basic or too advanced for your needs, but I'll mention a couple just in case they prove helpful. Serre's "A Course in Arithmetic" deals nicely with the case $K = \mathbb{Q}$. Your result is true here, and is proven as case 2) of the proof of theorem 1 in chapter 3.

For a much more thorough account of the Hilbert symbol, Neukirch's "Class Field Theory" is a great reference. However, rather than giving an elementary formulation of the quadratic Hilbert symbol (in terms of solutions to a quadratic equation) as you are probably used to, it goes straight to defining the n-th power Hilbert symbol using local class field theory. Here you'll in fact see that $(x,\pi)_P = (x/P)$ whenever $\pi \in K_P$ is a uniformizer and $x \in U_P$, where $K_P$ is a completion of $K$ at $P$ and $U_P$ is its group of units. (Actually, this is how the n-th power residue symbol is defined in this book, but then it's immediately proven that this coincides with the usual definition.)
Thanks from Chems
cjem is offline  
September 13th, 2018, 02:11 AM   #3
Newbie
 
Joined: Jul 2018
From: morocco

Posts: 7
Thanks: 0

Math Focus: algebraic number theory
So much interesting !
thank you very much
Chems is offline  
Reply

  My Math Forum > College Math Forum > Number Theory

Tags
helps, hilbert, symbol



Thread Tools
Display Modes


Similar Threads
Thread Thread Starter Forum Replies Last Post
hilbert mona123 Real Analysis 0 April 26th, 2015 12:40 PM
10th Hilbert complicatemodulus Number Theory 4 October 15th, 2014 09:44 PM
L^p isn't hilbert Tensor Field Real Analysis 2 December 17th, 2010 11:34 AM
Hilbert Space problem Real Analysis 3 November 21st, 2009 05:51 AM
Hilbert Space problem Real Analysis 3 November 10th, 2009 08:42 AM





Copyright © 2018 My Math Forum. All rights reserved.