Perfilado de sección

  • Martes 24: todo módulo f.g. sobre un dip y sin torsión es libre. Todo módulo f. g. sobre un dip se descompone (de manera única) en una parte de torsión y una parte libre. La parte libre es D^r y D es indescomponible como D-módulo. La parte de torsión se descompone (de manera esencialmente única) en suma directa de p_i-módulos para ciertos p_1, p_2, \cdots, p_k no asociados dos a dos.

    Jueves 26:     todo p-módulo f-g. sobre un dip se descompone como \bigoplus_i \frac{D}{(p^{n_i})} para ciertos naturales $n_i$ no nulos. La semana que viene demostraremos que tal descomposición es esencialmente única.