Teorema de Krull–Schmidt

Resultado de unicidad para descomposiciones en suma directa: bajo hipótesis de finitud adecuadas (por ejemplo módulos de longitud finita o módulos sobre un anillo semiperfecto), cualquier descomposición de un módulo en sumandos indecomponibles es única salvo reordenamiento e isomorfismo de los sumandos.