Dimensión en álgebra constructiva

La memoria inicia una teoría constructiva de la dimensión de Krull de anillos. Al prescindir del tercio excluso y del axioma de elección hay que reformular la noción de espectro primo de un anillo y de espectro constructible. Siguiendo los trabajos de Joyal se estudian las nociones de cero (caracter...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Español González, Luis
Otros Autores: Viviente Mateu, José Luis (Universidad de Zaragoza)
Formato: text (thesis)
Lenguaje:spa
Publicado: Universidad de Zaragoza (España) 1978
Acceso en línea:https://dialnet.unirioja.es/servlet/oaites?codigo=1402
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
Descripción
Sumario:La memoria inicia una teoría constructiva de la dimensión de Krull de anillos. Al prescindir del tercio excluso y del axioma de elección hay que reformular la noción de espectro primo de un anillo y de espectro constructible. Siguiendo los trabajos de Joyal se estudian las nociones de cero (características de ideale primos) el espectro primo (retículo con noción de cero universal) y espectronooleano (Álgebra de Boole libre sobre el espectro primo). Se define y caracteriza la dimensión de un retículo a través de la dualidad (presentación finita) y de argumentos de limites inductivos filtrantes caso general). Tomando el retículo espectro primo se caracterizan los anillos de dimensión cero y se prueba que DIMK(X)=1 si K es un cuerpo.