Está en la página 1de 2

Actividad 2.

Teorema de Krull-Schmidt

Objetivo

En esta actividad se trabajar con el Teorema de Krull-Schmidt

Instrucciones

Demuestre el teorema de Krull-Schmidt siguiendo las indicaciones

Introduccin

El teorema de Krull-Schmidt es un teorema de unicidad para la descomposicin en productos


directos que fue probado en su forma ms general por Schmidt en 1928. Existen varias formas
de enunciarlo, se pueden utilizar, como en contenidos, cadenas ascendentes o descendentes,
lo cual nos lleva a una formulacin en trminos de morfismos o de forma equivalente
utilizando productos directos con lo cual la formulacin ser como sigue:

Teorema 1 (Krull-Schmidt) Si un grupo finito G se puede escribir como suma directa de la


forma:

= 1 2 . . . = 1 2 . . .

Demostracin.

Vamos a probar el resultado por induccin sobre m. Supongamos que m = 1. En este caso,

= 1 = 1 2 . . . . Como 1 es indescomponible, n = 1 y hemos terminado.

Supongamos el resultado cierto para descomposiciones de m1 sumandos y probmoslo para


m. Definamos

: 1 . . . : 1 . . .

1 + . . . + 1 + +

y consideremos las composiciones siguientes:

1
1

1
1

Sean:

= 1 , = 1

Tenemos que:

= 1 1 = 1 ( ) 1 = 1 ( ) 1 = 1 1 1 = 12 = 1

En las lneas que siguen usaremos la notacin 1, para denotar la restriccin de la aplicacin e1
a M1; en general, la prima denotar la restriccin de la aplicacin sobre la que se haya escrito
al dominio que corresponda. As;
,
,
11 = 1, = ( ) = ( )

Como 1 es fuertemente indescomponible, su anillo de endomorfismos es local, por lo que el


conjunto de los no inversibles es un ideal, y de la identidad anterior se deduce que alguno de
los sumandos ha de ser biyectivo (de no serlo ninguno, la suma, que es la identidad de 1 , no
sera inversible, algo que es absurdo). Podemos suponer sin prdida de generalidad que el
elemento no inversible es el que corresponde a j = 1.

Esta sera la situacin:


, 1 1 1 1
( ) : 1 1

es inversible y 1 es fuertemente indescomponible. Por el Lema 3.9 las aplicaciones ( 1 1 ), y


(1 1 ), son ambas biyectivas, es decir, 1 y 1 son isomorfos.

Volviendo a la hiptesis de induccin en la que estbamos, y usando lo que acabamos de decir,


afirmamos que:

= 1 2

As:

1 2 = 1 2

Implica:

2 = 2

Donde ahora tenemos m 1 sumandos fuertemente indescomponibles. Por la hiptesis de


induccin m = n y existe una permutacin del conjunto {2, . . . , m} tal que:

2 () {2, . . . , }

Esto concluye la demostracin.