Ideal primitivo
En matemáticas, específicamente en teoría de anillos, un ideal primitivo izquierdo es el aniquilador de un módulo izquierdo simple (distinto de cero). Un ideal primitivo de derecha se define de manera similar. Los ideales primitivos de izquierda y derecha son siempre ideales bilaterales.
Los ideales primitivos son primos. El cociente de un anillo por un ideal primitivo izquierdo es un anillo primitivo izquierdo. Para los anillos conmutativos los ideales primitivos son máximos, por lo que los anillos primitivos conmutativos son todos campos.
Espectro primitivo editar
El espectro primitivo de un anillo es un análogo no conmutativo [note 1] del espectro primo de un anillo conmutativo.
Sea A un anillo y el conjunto de todos los ideales primitivos de A. Entonces hay una topología en , llamada topología de Jacobson, definida de modo que la clausura de un subconjunto T es el conjunto de ideales primitivos de A que contienen la intersección de elementos de T.
Ahora supongamos que A es un álgebra asociativa sobre un cuerpo. Entonces, por definición, un ideal primitivo es el núcleo de una representación irreductible de A y por lo tanto hay una sobreyección
Ejemplo: el espectro de un álgebra C* unital.
Notas editar
- ↑ A primitive ideal tends to be more of interest than a prime ideal in non-commutative ring theory.
Referencias editar
- Dixmier, Jacques (1996) [1974], Enveloping algebras, Graduate Studies in Mathematics 11, Providence, R.I.: American Mathematical Society, ISBN 978-0-8218-0560-2.
- Isaacs, I. Martin (1994), Algebra, Brooks/Cole Publishing Company, ISBN 0-534-19002-2.
Enlaces externos editar
- «The primitive spectrum of a unital ring». Stack Exchange. 7 de enero de 2011.