Sei sulla pagina 1di 347
ÁlgebraConmutativa GeometríaAlgebraica Colección manuales uex - 90 Carlos Sancho de Salas Pedro Sancho de Salas

ÁlgebraConmutativa

GeometríaAlgebraica

ÁlgebraConmutativa GeometríaAlgebraica Colección manuales uex - 90 Carlos Sancho de Salas Pedro Sancho de Salas 90
ÁlgebraConmutativa GeometríaAlgebraica Colección manuales uex - 90 Carlos Sancho de Salas Pedro Sancho de Salas 90

Colección manuales uex - 90

Carlos Sancho de Salas

Pedro Sancho de Salas

ÁlgebraConmutativa GeometríaAlgebraica Colección manuales uex - 90 Carlos Sancho de Salas Pedro Sancho de Salas 90

90

ÁLGEBRACONMUTATIVA

GEOMETRÍAALGEBRAICA

MANUALESUEX

90

CARLOS SANCHO DE SALAS PEDRO SANCHO DE SALAS

ÁLGEBRACONMUTATIVA

GEOMETRÍAALGEBRAICA

CARLOS SANCHO DE SALAS PEDRO SANCHO DE SALAS ÁLGEBRACONMUTATIVA GEOMETRÍAALGEBRAICA 2013

2013

Edita Universidad de Extremadura. Servicio de Publicaciones C./ Caldereros, 2 - Planta 2ª - 10071

Edita

Universidad de Extremadura. Servicio de Publicaciones C./ Caldereros, 2 - Planta 2ª - 10071 Cáceres (España) Telf. 927 257 041 - Fax 927 257 046 publicac@unex.es www.unex.es/ publicaciones

ISSN 1135-870-X ISBN de méritos 978-84-695-7906-0

MANUALESUEX

Índice general

Introducción

9

0. Grupos, anillos y módulos

 

11

Grupos

0.1. .

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

11

0.1.1. Grupos cíclicos

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

15

0.1.2. Grupo simétrico

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

16

0.1.3. Producto directo y semidirecto de grupos

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

18

   

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

19

0.1.4. G-conjuntos. Teoremas de Sylow .

0.2.1. Anillos. Dominios de ideales principales

.

0.2. Anillos

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

23

25

0.2.2. Cociente por un ideal

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

29

0.2.3. Operador de Euler. Polinomios ciclotómicos

 

30

0.2.4. Ideales primos. Ideales maximales

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

33

0.2.5. Espectro primo de un anillo

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

34

0.2.6. Localización. Dominios de factorización única

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

39

0.2.7. Localización y espectro primo. Fórmula de la fibra

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

42

0.3. Módulos

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

46

0.3.1. Módulos, submódulos y cocientes. Sistema de generadores

 

46

0.3.2. Localización de módulos

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

49

0.3.3. Anillos y módulos noetherianos

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

52

0.3.4. Módulos y anillos de longitud finita

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

55

0.3.5. Clasificación de los módulos sobre dominios de ideales principales

 

59

0.4. Categorías. Funtor de homomorfismos

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

65

0.5. Producto tensorial de módulos y álgebras

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

69

0.5.1.

Álgebra tensorial, simétrica y exterior de un módulo

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

73

0.6. Módulos planos y proyectivos

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

77

0.7. Ideales de Fitting. Estratos de S pec A en los que un A-módulo M es libre .

.

.

.

.

.

.

.

.

81

0.8. Límites proyectivos e inductivos

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

85

0.9. Teorema de representabilidad

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

90

0.10.Problemas

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

92

1. Raíces de un polinomio

 

101

1.1. Extensiones de cuerpos

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

101

1.1.1. Teorema de Kronecker. Cierre algebraico

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

101

1.1.2. Grado de trascendencia de una extensión de cuerpos

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

104

1.1.3. Espectro primo y soluciones de un sistema de ecuaciones algebraicas

 

105

1.2. Teorema de las funciones simétricas

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

105

1.3. Teorema fundamental del Álgebra

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

107

1.4. Fórmulas de Newton y Girard

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

107

1.5. El discriminante de un polinomio

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

108

1.6. Teoría de la eliminación: Resultante de dos polinomios

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

110

1.6.1. Métodos de cómputo de la resultante

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

113

1.6.2. Aplicaciones de la resultante

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

115

. . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . .

ÍNDICE GENERAL

MANUALESUEX

ÍNDICE GENERAL MANUALES UEX   1.6.3. Ejercicios y ejemplos   . . . . . .
ÍNDICE GENERAL MANUALES UEX   1.6.3. Ejercicios y ejemplos   . . . . . .
 

1.6.3.

Ejercicios y ejemplos

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

117

1.7.

Exceso. Polinomios de Sturm. Separación de raíces

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

118

1.7.1. Acotación de las raíces

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

118

1.7.2. Exceso de una función racional real

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

118

1.7.3. Vueltas de una curva alrededor del origen. Teorema de D’Alambert

 

119

1.7.4. Polinomios de Sturm

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

121

1.7.5. Teorema de Budan-Fourier. Teorema de Descartes

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

123

1.8.

Problemas

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

124

2. Teoría de Galois

 

129

2.1. Introducción

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

129

2.2. k-álgebras finitas triviales y racionales

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

131

2.3. k-álgebras finitas separables. Trivialización.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

135

 

2.3.1. Cuerpos perfectos

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

137

2.3.2. Subálgebra separable maximal

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

137

2.3.3. Métrica de la traza

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

139

2.4. Extensiones de Galois

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

140

 

2.4.1.

Cuerpos finitos

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

141

2.5. Teorema de Galois categorial

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

142

2.6. Resolubilidad de las ecuaciones polinómicas por radicales

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

145

2.7. Resolución de ecuaciones polinómicas por radicales

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

150

 

2.7.1.

Grupo de Galois de las cúbicas y las cuárticas

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

154

2.8. Extensiones por radicales cuadráticos

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

155

 

2.8.1.

Construcciones con regla y compás

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

156

2.9. Apéndice: Grupos resolubles

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

159

2.10.Problemas

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

164

3. Variedades algebraicas

 

167

3.1. Introducción

 

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

167

3.2. Descomposición primaria

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.

.