7 votos

Los anillos que hay finito muchos módulos de una longitud dada

Estoy interesado en los anillos de $R$ (conmutativa o no-conmutativa) tal que para cualquier $n\in \Bbb N$, sólo existe un número finito de clases de isomorfismo de $R$-módulos de longitud $n$. Por Krull-Schmidt es suficiente para comprobar esto indecomposable módulos.

Fácil ejemplos que he encontrado son PIDs con un número finito de elementos irreductibles y álgebras de división. La clase de anillos con esta propiedad es cerrado bajo finito de productos y de equivalencia de Morita. Por lo tanto, contiene todos los semisimple anillos de Artin-Wedderburn (gracias @rschwieb), que incluye el grupo de álgebras de $k[G]$ para grupos finitos $G$ en el caso de que $\operatorname{char}(k) \not \mid |G|$. $k[G]$ también tiene esta propiedad si $\operatorname{char}(k) = p$ e las $p$-subgrupo de Sylow es cíclico. No sé si $k[G]$ tiene esta propiedad en el otro caso.

Yo estaría encantado de ver nada en esa dirección, si se trata de ejemplos concretos, las generalizaciones de los ejemplos que me dio o clases enteras de los anillos o condiciones necesarias para que los anillos tengan esa propiedad.

4voto

Keith Kearnes Puntos 246

Esta no es una respuesta, pero un comentario largo que se aborda la cuestión de Qué crees que se extiende a Artinian anillos? (Respuesta: No.)

Si $k$ es un infinito campo, a continuación, $R=k[x,y]/(x,y)^2$ $3$- dimensional, conmutativa, local $k$-álgebra con infinidad de isotipos de la longitud de los dos módulos. Esto hace que sea un conmutativa Artinian anillo con una infinidad de isotipos de módulos de longitud dos. (Exactamente un isotipo de simple módulo, es decir, un $1$-dimensional $k$-espacio con tanto $x$ $y$ actuando como cero.)

Para mostrar cómo producir una gran cantidad de módulos de longitud dos, vamos a $V=k^2$ y deje $x, y$ actuar en $V$ a través de la multiplicación por matrices $$ X = \left[\begin{matrix}0&1\\0&0\end{de la matriz}\right],\quad Y= \left[\begin{matrix}0&\lambda\\0&0\end{de la matriz}\right], \quad(\lambda\in k, \;\textrm{$\lambda$ fijo}). $$ Esto hace que $V$ $R$- módulo aniquilado por $y-\lambda x$, pero $V$ no es aniquilada por $y-\mu x$$\mu\neq \lambda$. Por lo tanto, distintas $\lambda$'s de rendimiento diferentes módulos de longitud dos.

4voto

Matt Dawdy Puntos 5479

La respuesta puede depender bastante delicadeza de cómo las grandes $R$ es. Como se ve en Keith Kearnes respuesta, incluso si $R$ es finito-dimensional de álgebra sobre un campo $k$ puede suceder que $R$ tiene longitud finita módulos que varían los parámetros de los que viven en $k$, por lo que el número de tales módulos depende delicadamente en cómo es grande $k$ es.

Aquí es un básico de la discusión, inducción sobre la longitud. En primer lugar, una condición necesaria es que hay un número finito de longitud $1$ módulos, o, equivalentemente, módulos sencillos. Esto es cierto si $R$ es artinian, o más generalmente, si $R/J(R)$ es artinian; en realidad creo que es verdad iff $R/J(R)$ es artinian.

A continuación, vamos a considerar la longitud de la $2$ módulos. Estas son las extensiones $S_1 \to M \to S_2$ cuando la $S_i$ son módulos sencillos, y por lo tanto son más o menos clasificadas por $\text{Ext}^1(S_2, S_1)$ (no se trata exactamente de la clasificación hasta el isomorfismo pero creo que conseguir la clasificación hasta el isomorfismo dividiendo a cabo por las acciones de $\text{Aut}(S_1)$$\text{Aut}(S_2)$). Si $R$ es un álgebra sobre un campo $k$ estas $k$-espacios vectoriales, que es el fenómeno básico responsable de isomorfismo de las clases de los módulos de diferentes parámetros de los que viven en $k$. Si todos estos Ext grupos de desaparecer, a continuación, por la inducción de cada longitud finita módulo es semisimple; esto sucede si $R$ es semisimple y quiero decir que sucede iff $R$ es semisimple, pero no estoy seguro de cómo lo muestran.

En cualquier caso, esto no suele ocurrir y Exts son normalmente distinto de cero; se puede armar con ejemplos como muchos módulos sencillos y como muchos Exts entre ellos como desee mediante la toma de $R$ a ser un carcaj de álgebra, en cuyo caso la simple módulos pueden ser identificados con los vértices de la aljaba y Exts entre ellos han dimensión el número de aristas.

A partir de aquí voy a asumir, por simplicidad, que los $R$ es finito-dimensional de álgebra sobre un campo $k$. Entonces se puede calcular $\text{Ext}^n(M, N)$ utilizando una resolución de $M$, en la que cada término es un número finito de libre $R$-módulo, por tanto, finito-dimensional $k$-espacio vectorial; de ello se sigue que si $M, N$ son finito-dimensional (lo que es equivalente, de longitud finita) de los módulos, a continuación, $\text{Ext}^n(M, N)$ es también finito-dimensional. A partir de este casi deducir que esperamos de longitud finita módulos varían en un número finito de parámetros que viven en $k$, y por lo tanto no es de esperar que haya un número finito de estos módulos, a menos $k$ es finito.

En este caso es claro que, sin ningún tipo de álgebra homológica que hay un número finito de módulos de una determinada longitud finita, debido a que hay un número finito de homomorphisms $R \to M_n(k)$. Algo más generalmente, $R$ puede ser cualquier finito anillo.

4voto

Xetius Puntos 10445

La Segunda Brauer-Thrall Conjetura es que un número finito de dimensiones álgebra de infinito representación de tipo más de un infinito campo tiene para infinidad de $d\in\mathbb N$ infinitamente muchos indencomposables de longitud $d$.

Esto ha sido demostrado por Raimundo Bautista para álgebras de más de un algebraicamente cerrado de campo muy difícil resultado. Ver

  • R. Bautista, En álgebras de fuertemente acotada representación de tipo de Comentarios. De matemáticas. Helv. 60 (1985), no. 3, 392-399.

Nazarova y Roijter más tarde resultó esta perfecto campos, y Ringel anunciado el caso general, pero que parece que no ha sido publicado. Hay un buen encuesta por Ringel aquí


Esto significa que más de algebraicamente cerrado campos de la única álgebra de operadores que satisfacen su condición de hecho son aquellos que tienen un número finito de indecomposable módulos (hasta iso, por supuesto)

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