En matemáticas, un tipo K mínimo es una representación de un subgrupo compacto máximo K de un grupo de Lie semisimple G que es , en cierto sentido, la representación más pequeña de K que ocurre en un módulo Harish-Chandra de G. Los tipos K mínimos fueron introducidos por Vogan ( 1979 ) como parte de una descripción algebraica de la clasificación de Langlands .