Teorema de stickelberger
En matemáticas , el teorema Stickelberger es el resultado de la teoría algebraica de números , que proporciona cierta información sobre la estructura del módulo de Galois de grupos de clases de campos ciclotómicos . Lo ha demostrado Ludwig Stickelberger (en) en 1890.
Estados
Sea una extensión ciclotómica del grupo de Galois y considere el álgebra de grupos ℚ [ G ] . Defina el elemento Stickelberger por
Q(ζmetro){\ Displaystyle \ mathbb {Q} (\ zeta _ {m})}
GRAMO={σa|a∈(Z/metroZ)∗}{\ Displaystyle G = \ {\ sigma _ {a} | a \ in (\ mathbb {Z} / m \ mathbb {Z}) ^ {*} \}}
θ∈Q[GRAMO]{\ Displaystyle \ theta \ in \ mathbb {Q} [G]}![{\ Displaystyle \ theta \ in \ mathbb {Q} [G]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/144300f71af25c9d9537d24c1b44e60e66c5d0c0)
θ=1metro∑1≤a≤metro,(a,metro)=1aσa-1{\ Displaystyle \ theta = {\ frac {1} {m}} \ sum _ {1 \ leq a \ leq m, (a, m) = 1} a \ sigma _ {a} ^ {- 1}}
y tomar como . Entonces es un cancelador para el grupo de clases ideales de , como módulo de Galois .
β∈Z[GRAMO]{\ Displaystyle \ beta \ in \ mathbb {Z} [G]}
βθ∈Z[GRAMO]{\ Displaystyle \ beta \ theta \ in \ mathbb {Z} [G]}
βθ{\ Displaystyle \ beta \ theta \,}
Q(ζmetro){\ Displaystyle \ mathbb {Q} (\ zeta _ {m})}
Nota: θ en sí mismo no es necesariamente un cancelador, puede ser que solo sus múltiplos en ℤ [ G ] lo sean.
Referencias
(es) Este artículo está tomado parcial o totalmente del artículo de Wikipedia en
inglés titulado
" Teorema de Stickelberger " ( ver la lista de autores )
, transcrito a sí mismo de (en) " Teorema de Stickelberger " , en PlanetMath .
Artículos relacionados
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">