Campo en álgebra
En matemáticas , el teorema de Golod-Shafarevich fue demostrado en 1964 por Evgeny Golod e Igor Shafarevich . Es un resultado del álgebra homológica no conmutativa que resuelve el problema de las torres de campos de clases , al mostrar que las torres de campos de clases pueden ser infinitas.
La desigualdad
Sea A = K ⟨ x 1 , ..., x n ⟩ el álgebra libre sobre un campo K en n = d + 1 variables no conmutantes x i .
Sea J el ideal bilateral de A generado por elementos homogéneos f j de A de grado d j con
- 2 ≤ re 1 ≤ re 2 ≤ ...
donde d j tiende al infinito. Sea r i el número de d j igual a i .
Sea B = A / J , un álgebra graduada . Sea b j = tenue B j .
La desigualdad fundamental de Golod y Shafarevich establece que
Como consecuencia:
- B es de dimensión infinita si r i ≤ d 2/4 para todo i
Aplicaciones
Este resultado tiene aplicaciones importantes en la teoría combinatoria de grupos :
- Si G es un grupo p finito no trivial , entonces r > d 2 /4 donde d = dim H 1 ( G , Z / p Z ) y r = dim H 2 ( G , Z / p Z ) (la cohomología mod p grupos de G ). En particular, si G es un grupo p finito con un número mínimo de generadores d y tiene r reladores en una presentación dada, entonces r > d 2/4 .
- Para cada primo p , hay un grupo infinito G generado por tres elementos en el que cada elemento tiene orden una potencia de p . El grupo G proporciona un contraejemplo a la conjetura generalizada de Burnside : es un grupo de torsión infinita generado finitamente , aunque no existe un límite uniforme en el orden de sus elementos.
En la teoría de campos de clases , la torre de campos de clases de un campo numérico K se crea iterando la construcción del campo de clases de Hilbert . El problema de la torre de campo de clases pregunta si esta torre es siempre finita; Hasse (1926) atribuyó esta pregunta a Furtwangler, aunque Furtwangler dijo que se la había oído a Schreier. Otra consecuencia del teorema de Golod-Shafarevich es que tales torres pueden ser infinitas (en otras palabras, no siempre terminan en un campo igual a su campo de clase de Hilbert ). Específicamente,
- Sea K un campo cuadrático imaginario cuyo discriminante tiene al menos 6 factores primos. Entonces la extensión 2 máxima no ramificada de K tiene un grado infinito.
De manera más general, un campo numérico con suficientes factores primos en el discriminante tiene una torre de campo de clase infinita.
Referencias
- Orod, ES ; Shafarevich, IR (1964), "En la torre del campo de clases", Izv. Akád. Nauk SSSR , 28 : 261–272(en ruso ) SEÑOR 0161852
- Hasse, Helmut (1926), "Bericht über neuere Unterschungen und Probleme aus der Theorie der algebraischen Zahlkörper.", Jahresbericht der Deutschen Mathematiker-Vereinigung , 35 , Göttingen: Teubner
- Golod, ES (1964), "Sobre álgebras nulas y grupos p finitamente aproximables", Izv. Akád. Nauk SSSR , 28 : 273–276(en ruso ) SEÑOR 0161878
- Herstein, IN (1968). Anillos no conmutativos . Monografías matemáticas de Carus. MAA. ISBN 0-88385-039-7.Consulte el Capítulo 8.
- Johnson, DL (1980). "Temas de la Teoría de las Presentaciones Grupales" (1ª ed.). Prensa de la Universidad de Cambridge . ISBN 0-521-23108-6 . Véase el capítulo VI.
- Koch, Helmut (1997). Teoría algebraica de números . Encíclica. Matemáticas. Ciencia. vol. 62 (segunda impresión de la 1ª ed.). Springer-Verlag . pag. 180.ISBN 3-540-63003-1. Zbl 0819.11044.
- Narkiewicz, Ladislao (2004). Teoría elemental y analítica de los números algebraicos . Monografías de Springer en Matemáticas (3ª ed.). Berlín: Springer-Verlag . pag. 194.ISBN 3-540-21902-1. Zbl 1159.11039.
- Roquette, Peter (1986) [1967]. "En torres de campo de clase". En Cassels, JWS ; Fröhlich, A. (eds.). Teoría algebraica de números, Actas de la conferencia de instrucción celebrada en la Universidad de Sussex, Brighton, del 1 al 17 de septiembre de 1965 (reimpresión de la edición original de 1967). Londres: Academic Press . págs. 231-249. ISBN 0-12-163251-2.
- Serre, J.-P. (2002), "Cohomología de Galois", Springer-Verlag . ISBN 3-540-42192-0 . Véase el Apéndice 2. (Traducción de Cohomologie Galoisienne , Lecture Notes in Mathematics 5 , 1973.)
