V, bir K cismi üzerine sonlu boyutlu bir vektör uzayı olsun. F:V→V bir lineer dönüşüm olsun. B⊂V bir baz olsun. Eğer F'nin B'ye göre dönüşüm matrisi bir köşegen matris ise B, F'yi köşegenleştiriyor diyelim.
Eğer V'nin, F'yi köşegenleştiren herhangi bir bazı varsa, F'ye köşegenleştirilebilir lineer dönüşüm diyelim.
Şimdi, L:Kn→Kn tanımlı tüm köşegenleştirilebilen lineer dönüşümler kümesi bileşke işlemi altında bir grup olur(Neden?). Bu grubun tüm altgruplarını sınıflandırabilir misiniz?