5 votos

Afinidades artinianas $K$ -Álgebra

Dejemos que $K$ sea un campo y $A$ un afín $K$ -Álgebra. Demuestre que $A$ tiene dimensión (Krull) cero (es artiniano) si y sólo si es de dimensión finita sobre $K$ .

5voto

Jeff Puntos 804

Las álgebras de dimensión finita (como espacio vectorial) son de dimensión cero: Utilizando los cocientes, basta con demostrar que todo dominio de dimensión finita es un campo. Pero esto es estándar: El mapa de multiplicación por un elemento no nulo es inyectivo, y por tanto también suryectivo.

Si $A$ es una dimensión cero generada finitamente $k$ -entonces es artiniana, e incluso podemos suponer que $A$ es local, digamos que con ideal máximo $\mathfrak{m}$ . Ahora trata de demostrar que cada $\mathfrak{m}^n/\mathfrak{m}^{n+1}$ es de dimensión finita. Como $\mathfrak{m}$ es nilpotente, esto demuestra que $A$ es de dimensión finita (como $k$ -espacio vectorial).

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X