¿qué significa que un lugar de dividir un primer en una expresión algebraica campo de número?
Respuesta
¿Demasiados anuncios?
Un lugar es una valoración (o una clase de equivalencia) $v:K^\times\rightarrow{\Bbb Z}$. El lugar $v$ divide el racional prime $p$ al $v(p)>0$, o lo que es equivalente al $v$ extiende la $p$-ádico de valoración en $\Bbb Q$.
Ya que (no de arquímedes) se sitúa en un campo de número de $K$ corresponden al primer no-cero ideales en el anillo de enteros ${\cal O}_K$, otra formulación es que la valoración $v$ correspondiente al primer ideal ${\cal P}_v\subset{\cal O}_K$ divide $p$ al ${\cal P}_v$ aparece en la primaria de la descomposición del ideal de la $p{\cal O}_K$.
