直既約加群
体上の加群はベクトル空間である。ベクトル空間が直既約であることと次元が 1 であることは同値である。なのですべてのベクトル空間は完全直可約(実際半単純)であり、無限次元なら無限に多くの直和成分をもつ。