Dimensión en álgebra constructiva
- José Luis Viviente Mateu Zuzendaria
Defentsa unibertsitatea: Universidad de Zaragoza
Fecha de defensa: 1978(e)ko apirila-(a)k 01
- José Luis Viviente Mateu Presidentea
- Manuel Castellet Solanas Idazkaria
- Enrique Vidal Abascal Kidea
- Miguel Torres Iglesias Kidea
- Francisco Pérez Monasor Kidea
Mota: Tesia
Laburpena
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.